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/programm80.bht:"
download as .bib file
@inproceedings{DBLP:conf/programm/BarbutiM80,
author = {Roberto Barbuti and
Alberto Martelli},
editor = {Bernard J. Robinet},
title = {Static Type Checking for Languages with Parametric Types and Polymorphic
Procedures},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {1--16},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_1},
doi = {10.1007/3-540-09981-6\_1},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/BarbutiM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Barnden80,
author = {John A. Barnden},
editor = {Bernard J. Robinet},
title = {Concrete Control Phases in Languages for Programming Complex Systems},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {17--29},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_2},
doi = {10.1007/3-540-09981-6\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Barnden80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Bert80,
author = {Didier Bert},
editor = {Bernard J. Robinet},
title = {Types alg{\'{e}}briques et s{\'{e}}mantique des langages
de programmation},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {30--43},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_3},
doi = {10.1007/3-540-09981-6\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Bert80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/BertoniMM80,
author = {Alberto Bertoni and
Giancarlo Mauri and
Pierangelo Miglioli},
editor = {Bernard J. Robinet},
title = {Towards a Theory of Abstract Data Types: {A} Discussion on Problems
and Tools},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {44--58},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_4},
doi = {10.1007/3-540-09981-6\_4},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/BertoniMM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/BroyPW80,
author = {Manfred Broy and
Peter Pepper and
Martin Wirsing},
editor = {Bernard J. Robinet},
title = {On Relations Between Programs},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {59--78},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_5},
doi = {10.1007/3-540-09981-6\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/BroyPW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/CunhaM80,
author = {Paulo R. F. Cunha and
T. S. E. Maibaum},
editor = {Bernard J. Robinet},
title = {A Communication Data Type for Message Oriented Programming},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {79--91},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_6},
doi = {10.1007/3-540-09981-6\_6},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/programm/CunhaM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Darondeau80,
author = {Philippe Darondeau},
editor = {Bernard J. Robinet},
title = {Processus non-s{\'{e}}quentiels et leurs observations en univers
non-centralis{\'{e}}},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {92--107},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_7},
doi = {10.1007/3-540-09981-6\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Darondeau80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/EhrigKP80,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Peter Padawitz},
editor = {Bernard J. Robinet},
title = {A Case Study of Abstract Implementations and Their Correctness},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {108--122},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_8},
doi = {10.1007/3-540-09981-6\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/EhrigKP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/ErmineG80,
author = {F. Ermine and
Ir{\`{e}}ne Guessarian},
editor = {Bernard J. Robinet},
title = {About Program Termination and Simplification},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {123--135},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_9},
doi = {10.1007/3-540-09981-6\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/ErmineG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Guerreiro80,
author = {Pedro Guerreiro},
editor = {Bernard J. Robinet},
title = {A Relational Model for Non-Deterministic Programs and Predicate Transformers},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {136--146},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_10},
doi = {10.1007/3-540-09981-6\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Guerreiro80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Henry80,
author = {C. Henry},
editor = {Bernard J. Robinet},
title = {Structures de contr{\^{o}}le et puissances d'expression},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {147--161},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_11},
doi = {10.1007/3-540-09981-6\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Henry80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Hua80,
author = {Thanh{-}Huy Hua},
editor = {Bernard J. Robinet},
title = {Conception et optimisation des descentes r{\'{e}}cursives},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {162--176},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_12},
doi = {10.1007/3-540-09981-6\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Hua80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Janicki80,
author = {Ryszard Janicki},
editor = {Bernard J. Robinet},
title = {An Algebraic Structure of Petri Nets},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {177--192},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_13},
doi = {10.1007/3-540-09981-6\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Janicki80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Koster80,
author = {Alexis Koster},
editor = {Bernard J. Robinet},
title = {An Algorithm for Translating Lisp Programs into Reduction Language
Programs},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {193--206},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_14},
doi = {10.1007/3-540-09981-6\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Koster80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/KwongW80,
author = {Yat{-}Sang Kwong and
Derick Wood},
editor = {Bernard J. Robinet},
title = {Concurrent Operations in Large Ordered Indexes},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {207--222},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_15},
doi = {10.1007/3-540-09981-6\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/KwongW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/LauerTD80,
author = {Peter E. Lauer and
Piero R. Torrigiani and
Raymond R. Devillers},
editor = {Bernard J. Robinet},
title = {Specification of highly parallel and distributed resource management},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {223--239},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_16},
doi = {10.1007/3-540-09981-6\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/LauerTD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/LippeS80,
author = {Wolfram{-}Manfred Lippe and
Friedemann H. Simon},
editor = {Bernard J. Robinet},
title = {Semantics for {LISP} without Reference to an Interpreter},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {240--255},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_17},
doi = {10.1007/3-540-09981-6\_17},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/LippeS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Mayoh80,
author = {Brian H. Mayoh},
editor = {Bernard J. Robinet},
title = {Parallelism in Ada: Program Design and Meaning},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {256--268},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_18},
doi = {10.1007/3-540-09981-6\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Mayoh80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Mycroft80,
author = {Alan Mycroft},
editor = {Bernard J. Robinet},
title = {The Theory and Practice of Transforming Call-by-need into Call-by-value},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {269--281},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_19},
doi = {10.1007/3-540-09981-6\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Mycroft80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Nourani80,
author = {Cyrus F. Nourani},
editor = {Bernard J. Robinet},
title = {A Model-Theoretic Approach to Specification, Extension, and Implementation},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {282--297},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_20},
doi = {10.1007/3-540-09981-6\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Nourani80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Salle80,
author = {Patrick Sall{\'{e}}},
editor = {Bernard J. Robinet},
title = {Echappements et continuations en s{\'{e}}mantique d{\'{e}}notationnelle},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {298--310},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_21},
doi = {10.1007/3-540-09981-6\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Salle80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Sintzoff80,
author = {Michel Sintzoff},
editor = {Bernard J. Robinet},
title = {Suggestions for Composing and Specifying Program Design Decisions},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {311--326},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_22},
doi = {10.1007/3-540-09981-6\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/Sintzoff80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/WeinerB80,
author = {J. L. Weiner and
Rod M. Burstall},
editor = {Bernard J. Robinet},
title = {Making Programs more Readable},
booktitle = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
pages = {327--341},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6\_23},
doi = {10.1007/3-540-09981-6\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/programm/WeinerB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/programm/1980,
editor = {Bernard J. Robinet},
title = {International Symposium on Programming, Proceedings of the Fourth
'Colloque International sur la Programmation', Paris, France, 22-24
April 1980},
series = {Lecture Notes in Computer Science},
volume = {83},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-09981-6},
doi = {10.1007/3-540-09981-6},
isbn = {3-540-09981-6},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/programm/1980.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-06-06 03:45 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:
