Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/programm/programm1982.bht:"
@inproceedings{DBLP:conf/programm/BelliaDDLM82, author = {Marco Bellia and Enrico Dameri and Pierpaolo Degano and Giorgio Levi and Maurizio Martelli}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Applicative communicating processes in first order logic}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {1--14}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_1}, doi = {10.1007/3-540-11494-7\_1}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/programm/BelliaDDLM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Benson82, author = {David B. Benson}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {A machine level semantics for nondeterministic, parallel programs}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {15--25}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_2}, doi = {10.1007/3-540-11494-7\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Benson82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/BergstraK82, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {A formalized proof system for total correctness of while programs}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {26--36}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_3}, doi = {10.1007/3-540-11494-7\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/BergstraK82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Costa82, author = {Ernesto Costa}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Automatic program transformation viewed as theorem proving}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {37--46}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_4}, doi = {10.1007/3-540-11494-7\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Costa82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Darondeau82, author = {Philippe Darondeau}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {An enlarged definition and complete axiomatization of observational congruence of finite processes}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {47--62}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_5}, doi = {10.1007/3-540-11494-7\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Darondeau82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Deschamp82, author = {Ph. Deschamp}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Perluette: {A} compilers producing system using abstract data types}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {63--77}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_6}, doi = {10.1007/3-540-11494-7\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Deschamp82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Emanuelson82, author = {P{\"{a}}r Emanuelson}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {From abstract model to efficient compilation of patterns}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {91--104}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_8}, doi = {10.1007/3-540-11494-7\_8}, timestamp = {Fri, 15 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Emanuelson82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Eriksson82, author = {Agneta Eriksson}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Computer-based synthesis of logic programs}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {105--115}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_9}, doi = {10.1007/3-540-11494-7\_9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Eriksson82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/FleR82, author = {Marie{-}Paule Fl{\'{e}} and G{\'{e}}rard Roucairol}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {On some syntactic equivalence of program schemas and related transformations}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {116--131}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_10}, doi = {10.1007/3-540-11494-7\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/FleR82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/GerthRR82, author = {Rob Gerth and Willem P. de Roever and Marly Roncken}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Procedures and concurrency: {A} study in proof}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {132--163}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_11}, doi = {10.1007/3-540-11494-7\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/GerthRR82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Guerreiro82, author = {Pedro Guerreiro}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Another characterization of weakest preconditions}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {164--177}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_12}, doi = {10.1007/3-540-11494-7\_12}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Guerreiro82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Hennessy82, author = {Matthew Hennessy}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Powerdomains and nondeterministic recursive definitions}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {178--193}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_13}, doi = {10.1007/3-540-11494-7\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Hennessy82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/HibbardR82, author = {Peter G. Hibbard and Thomas L. Rodeheffer}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Optimizing for a multiprocessor: Balancing synchronization costs against parallelism in straight-line code}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {194--211}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_14}, doi = {10.1007/3-540-11494-7\_14}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/HibbardR82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Hindley82, author = {J. Roger Hindley}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {The simple semantics for Coppe-Dezani-Sall{\'{e}} types}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {212--226}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_15}, doi = {10.1007/3-540-11494-7\_15}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Hindley82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Kozma82, author = {L{\'{a}}szl{\'{o}} Kozma}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Proving the correctness of implementations of shared data abstractions}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {227--241}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_16}, doi = {10.1007/3-540-11494-7\_16}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/programm/Kozma82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/LautP82, author = {Alfred Laut and Helmuth Partsch}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Tuning algebraic specifications by type merging}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {283--304}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_19}, doi = {10.1007/3-540-11494-7\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/LautP82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/LeszczylowskiW82, author = {Jacek Leszczylowski and Martin Wirsing}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {A system for reasoning within and about algebraic specifications}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {257--282}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_18}, doi = {10.1007/3-540-11494-7\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/LeszczylowskiW82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/PettorossiS82, author = {Alberto Pettorossi and Andrzej Skowron}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Communicating agents for applicative concurrent programming}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {305--322}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_20}, doi = {10.1007/3-540-11494-7\_20}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/programm/PettorossiS82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Poigne82, author = {Axel Poign{\'{e}}}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {On effective computations of nondeterministic schemes}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {323--336}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_21}, doi = {10.1007/3-540-11494-7\_21}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Poigne82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/QueilleS82, author = {Jean{-}Pierre Queille and Joseph Sifakis}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Specification and verification of concurrent systems in {CESAR}}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {337--351}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_22}, doi = {10.1007/3-540-11494-7\_22}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/programm/QueilleS82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Rushby82, author = {John M. Rushby}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {Proof of separability: {A} verification technique for a class of a security kernels}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {352--367}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_23}, doi = {10.1007/3-540-11494-7\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Rushby82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/SzotsC82, author = {Mikl{\'{o}}s Sz{\"{o}}ts and S{\'{a}}ndor Csizmazia}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {A method for program synthesis}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {368--380}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_24}, doi = {10.1007/3-540-11494-7\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/SzotsC82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Townley82, author = {Judy A. Townley}, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {The use of transformations to implement an algorithm}, booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, pages = {381--408}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7\_25}, doi = {10.1007/3-540-11494-7\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/Townley82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/programm/1982, editor = {Mariangiola Dezani{-}Ciancaglini and Ugo Montanari}, title = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {137}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/3-540-11494-7}, doi = {10.1007/3-540-11494-7}, isbn = {3-540-11494-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programm/1982.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.