Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/programm/programm1982.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-04-19 07:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
