Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Donald Sannella
@article{DBLP:journals/mscs/HoffmannSS22,
author = {Jan Hoffmann and
Donald Sannella and
Ulrich Sch{\"{o}}pp},
title = {Preface for the special issue in homage to Martin Hofmann Part 2},
journal = {Math. Struct. Comput. Sci.},
volume = {32},
number = {6},
pages = {682--684},
year = {2022},
url = {https://doi.org/10.1017/S0960129522000147},
doi = {10.1017/S0960129522000147},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/HoffmannSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/SannellaFPW21,
author = {Donald Sannella and
Michael Fourman and
Haoran Peng and
Philip Wadler},
title = {Introduction to Computation - Haskell, Logic and Automata},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76908-6},
doi = {10.1007/978-3-030-76908-6},
isbn = {978-3-030-76907-9},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/utcs/SannellaFPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HoffmannSS21,
author = {Jan Hoffmann and
Donald Sannella and
Ulrich Sch{\"{o}}pp},
title = {Preface for the special issue in homage to Martin Hofmann Part 1},
journal = {Math. Struct. Comput. Sci.},
volume = {31},
number = {9},
pages = {950--952},
year = {2021},
url = {https://doi.org/10.1017/S0960129522000135},
doi = {10.1017/S0960129522000135},
timestamp = {Mon, 08 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HoffmannSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AusielloKRSSC20,
author = {Giorgio Ausiello and
Lila Kari and
Grzegorz Rozenberg and
Donald Sannella and
Paul G. Spirakis and
Pierre{-}Louis Curien},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {807},
pages = {1--2},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.12.021},
doi = {10.1016/J.TCS.2019.12.021},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AusielloKRSSC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AusielloKRSSC19,
author = {Giorgio Ausiello and
Lila Kari and
Grzegorz Rozenberg and
Donald Sannella and
Paul G. Spirakis and
Pierre{-}Louis Curien},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {1--2},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.05.003},
doi = {10.1016/J.TCS.2019.05.003},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AusielloKRSSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-09181,
author = {Nikita Samarin and
Donald Sannella},
title = {A Key to Your Heart: Biometric Authentication Based on {ECG} Signals},
journal = {CoRR},
volume = {abs/1906.09181},
year = {2019},
url = {http://arxiv.org/abs/1906.09181},
eprinttype = {arXiv},
eprint = {1906.09181},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-09181.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SannellaT18,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Reiko Heckel and
Gabriele Taentzer},
title = {On Normal Forms for Structured Specifications with Generating Constraints},
booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
Ehrig},
series = {Lecture Notes in Computer Science},
volume = {10800},
pages = {266--284},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75396-6\_15},
doi = {10.1007/978-3-319-75396-6\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SannellaT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2018,
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-076-7},
isbn = {978-3-95977-076-7},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CodescuMST17,
author = {Mihai Codescu and
Till Mossakowski and
Donald Sannella and
Andrzej Tarlecki},
title = {Specification refinements: Calculi, tools, and applications},
journal = {Sci. Comput. Program.},
volume = {144},
pages = {1--49},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.04.005},
doi = {10.1016/J.SCICO.2017.04.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CodescuMST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2016wadler,
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1},
doi = {10.1007/978-3-319-30936-1},
isbn = {978-3-319-30935-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2016wadler.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AtkeyS15,
author = {Robert Atkey and
Donald Sannella},
title = {ThreadSafe: Static Analysis for Java Concurrency},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {72},
year = {2015},
url = {https://doi.org/10.14279/tuj.eceasst.72.1025},
doi = {10.14279/TUJ.ECEASST.72.1025},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AtkeyS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/MarczynskiST15,
author = {Grzegorz Marczynski and
Donald Sannella and
Andrzej Tarlecki},
title = {Algebraic Constructions: {A} Simple Framework for Complex Dependencies
and Parameterisation},
journal = {Int. J. Softw. Informatics},
volume = {9},
number = {2},
pages = {117--139},
year = {2015},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i211},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/MarczynskiST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AusielloKRS15,
author = {Giorgio Ausiello and
Lila Kari and
Grzegorz Rozenberg and
Donald Sannella},
title = {{TCS} in the 21st century},
journal = {Theor. Comput. Sci.},
volume = {591},
pages = {3--4},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.05.023},
doi = {10.1016/J.TCS.2015.05.023},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AusielloKRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SannellaT15,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {The Foundational Legacy of {ASL}},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {253--272},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_17},
doi = {10.1007/978-3-319-15545-6\_17},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SannellaT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ibanez-GarciaMS15,
author = {Yazm{\'{\i}}n Ang{\'{e}}lica Ib{\'{a}}{\~{n}}ez{-}Garc{\'{\i}}a and
Till Mossakowski and
Donald Sannella and
Andrzej Tarlecki},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Modularity of Ontologies in an Arbitrary Institution},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {361--379},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_17},
doi = {10.1007/978-3-319-23165-5\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Ibanez-GarciaMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2015-1,
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1},
doi = {10.1007/978-3-662-48057-1},
isbn = {978-3-662-48056-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/2015-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2015-2,
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9235},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48054-0},
doi = {10.1007/978-3-662-48054-0},
isbn = {978-3-662-48053-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/2015-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SannellaT14,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Property-oriented semantics of structured specifications},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {2},
year = {2014},
url = {https://doi.org/10.1017/S0960129513000212},
doi = {10.1017/S0960129513000212},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SannellaT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MossakowskiPST14,
author = {Till Mossakowski and
Wieslaw Pawlowski and
Donald Sannella and
Andrzej Tarlecki},
editor = {Shusaku Iida and
Jos{\'{e}} Meseguer and
Kazuhiro Ogata},
title = {Parchments for CafeOBJ Logics},
booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
series = {Lecture Notes in Computer Science},
volume = {8373},
pages = {66--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54624-2\_4},
doi = {10.1007/978-3-642-54624-2\_4},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MossakowskiPST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0028275,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Foundations of Algebraic Specification and Formal Software Development},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-17336-3},
doi = {10.1007/978-3-642-17336-3},
isbn = {978-3-642-17335-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0028275.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/AspinallAMS10,
author = {David Aspinall and
Robert Atkey and
Kenneth MacKenzie and
Donald Sannella},
editor = {Martin Wirsing and
Martin Hofmann and
Axel Rauschmayer},
title = {Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode},
booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC}
2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6084},
pages = {1--22},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15640-3\_1},
doi = {10.1007/978-3-642-15640-3\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/AspinallAMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BidoitST08,
author = {Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki},
title = {Observational interpretation of Casl specifications},
journal = {Math. Struct. Comput. Sci.},
volume = {18},
number = {2},
pages = {325--371},
year = {2008},
url = {https://doi.org/10.1017/S0960129507006536},
doi = {10.1017/S0960129507006536},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BidoitST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MontanariS08,
author = {Ugo Montanari and
Donald Sannella},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {402},
number = {2-3},
pages = {81},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.027},
doi = {10.1016/J.TCS.2008.04.027},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MontanariS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SannellaT08,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Observability Concepts in Abstract Data Type Specification, 30 Years
Later},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {593--617},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_37},
doi = {10.1007/978-3-540-68679-8\_37},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SannellaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/SannellaS07,
author = {Donald Sannella and
Vladimiro Sassone},
title = {Semantic and logical foundations of global computing: Papers from
the {EU-FET} global computing initiative {(2001-2005)}},
journal = {Theor. Comput. Sci.},
volume = {389},
number = {3},
pages = {337--340},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.017},
doi = {10.1016/J.TCS.2007.09.017},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/SannellaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2006,
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75336-0},
doi = {10.1007/978-3-540-75336-0},
isbn = {978-3-540-75333-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Sannella06,
author = {Donald Sannella},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {350},
number = {2-3},
pages = {163},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.034},
doi = {10.1016/J.TCS.2005.10.034},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Sannella06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SannellaT06,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Horizontal Composability Revisited},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {296--316},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_16},
doi = {10.1007/11780274\_16},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SannellaT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/SannellaHAGSBLMMS05,
author = {Donald Sannella and
Martin Hofmann and
David Aspinall and
Stephen Gilmore and
Ian Stark and
Lennart Beringer and
Hans{-}Wolfgang Loidl and
Kenneth MacKenzie and
Alberto Momigliano and
Olha Shkaravska},
editor = {Marko C. J. D. van Eekelen},
title = {Mobile Resource Guarantees (project evaluation paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {211--226},
publisher = {Intellect},
year = {2005},
timestamp = {Wed, 09 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/SannellaHAGSBLMMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/AspinallGHSS04,
author = {David Aspinall and
Stephen Gilmore and
Martin Hofmann and
Donald Sannella and
Ian Stark},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {Mobile Resource Guarantees for Smart Devices},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {1--26},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_1},
doi = {10.1007/978-3-540-30569-9\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cassis/AspinallGHSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/MossakowskiST04,
author = {Till Mossakowski and
Donald Sannella and
Andrzej Tarlecki},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Peter D. Mosses and
Fernando Orejas},
title = {A Simple Refinement Language for Casl},
booktitle = {Recent Trends in Algebraic Development Techniques, 17th International
Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3423},
pages = {162--185},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31959-7\_10},
doi = {10.1007/978-3-540-31959-7\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/MossakowskiST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2004,
editor = {Josep D{\'{\i}}az and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}} and
Donald Sannella},
title = {Automata, Languages and Programming: 31st International Colloquium,
{ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3142},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b99859},
doi = {10.1007/B99859},
isbn = {3-540-22849-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/MossakowskiHST03,
author = {Till Mossakowski and
Anne E. Haxthausen and
Donald Sannella and
Andrzej Tarlecki},
title = {Casl - The Common Algebraic Specification Language: Semantics and
Proof Theory},
journal = {Comput. Artif. Intell.},
volume = {22},
number = {3-4},
pages = {285--321},
year = {2003},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/458},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/MossakowskiHST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HannayKS03,
author = {Jo Erskine Hannay and
Shin{-}ya Katsumata and
Donald Sannella},
editor = {Branislav Rovan and
Peter Vojt{\'{a}}s},
title = {Semantic and Syntactic Approaches to Simulation Relations},
booktitle = {Mathematical Foundations of Computer Science 2003, 28th International
Symposium, {MFCS} 2003, Bratislava, Slovakia, August 25-29, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2747},
pages = {68--91},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45138-9\_4},
doi = {10.1007/978-3-540-45138-9\_4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HannayKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RydeheardS02,
author = {David E. Rydeheard and
Donald Sannella},
title = {A Collection of Papers and Memoirs Celebrating the Contribution of
Rod Burstall to Advances in Computer Science},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {187--193},
year = {2002},
url = {https://doi.org/10.1007/s001650200006},
doi = {10.1007/S001650200006},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RydeheardS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BidoitST02,
author = {Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki},
title = {Architectural Specifications in {CASL}},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {252--273},
year = {2002},
url = {https://doi.org/10.1007/s001650200012},
doi = {10.1007/S001650200012},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BidoitST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HonsellS02,
author = {Furio Honsell and
Donald Sannella},
title = {Prelogical Relations},
journal = {Inf. Comput.},
volume = {178},
number = {1},
pages = {23--43},
year = {2002},
url = {https://doi.org/10.1006/inco.2002.3115},
doi = {10.1006/INCO.2002.3115},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HonsellS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AstesianoBKKMST02,
author = {Egidio Astesiano and
Michel Bidoit and
H{\'{e}}l{\`{e}}ne Kirchner and
Bernd Krieg{-}Br{\"{u}}ckner and
Peter D. Mosses and
Donald Sannella and
Andrzej Tarlecki},
title = {{CASL:} the Common Algebraic Specification Language},
journal = {Theor. Comput. Sci.},
volume = {286},
number = {2},
pages = {153--196},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00368-1},
doi = {10.1016/S0304-3975(01)00368-1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AstesianoBKKMST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AspinallS02,
author = {David Aspinall and
Donald Sannella},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {From Specifications to Code in {CASL}},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {1--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_1},
doi = {10.1007/3-540-45719-4\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/AspinallS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BidoitST02,
author = {Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki},
editor = {Krzysztof Diks and
Wojciech Rytter},
title = {Global Development via Local Observational Construction Steps},
booktitle = {Mathematical Foundations of Computer Science 2002, 27th International
Symposium, {MFCS} 2002, Warsaw, Poland, August 26-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2420},
pages = {1--24},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45687-2\_1},
doi = {10.1007/3-540-45687-2\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BidoitST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MachadoS02,
author = {Patr{\'{\i}}cia D. L. Machado and
Donald Sannella},
editor = {Krzysztof Diks and
Wojciech Rytter},
title = {Unit Testing for {CASL} Architectural Specifications},
booktitle = {Mathematical Foundations of Computer Science 2002, 27th International
Symposium, {MFCS} 2002, Warsaw, Poland, August 26-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2420},
pages = {506--518},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45687-2\_42},
doi = {10.1007/3-540-45687-2\_42},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MachadoS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rissef/BidoitST02,
author = {Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki},
editor = {Martin Wirsing and
Alexander Knapp and
Simonetta Balsamo},
title = {Toward Component-Oriented Formal Software Development: An Algebraic
Approach},
booktitle = {Radical Innovations of Software and Systems Engineering in the Future,
9th International Workshop, {RISSEF} 2002, Venice, Italy, October
7-11, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2941},
pages = {75--90},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-24626-8\_5},
doi = {10.1007/978-3-540-24626-8\_5},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rissef/BidoitST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AusielloSM01,
author = {Giorgio Ausiello and
Donald Sannella and
Michael W. Mislove},
title = {25 Years},
journal = {Theor. Comput. Sci.},
volume = {250},
number = {1-2},
year = {2001},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AusielloSM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/Sannella01,
author = {Donald Sannella},
editor = {Maura Cerioli and
Gianna Reggio},
title = {The Common Framework Initiative for Algebraic Specification and Development
of Software: Recent Progress},
booktitle = {Recent Trends in Algebraic Development Techniques, 15th International
Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy,
April 1-3, 2001, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2267},
pages = {328--344},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45645-7\_16},
doi = {10.1007/3-540-45645-7\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wadt/Sannella01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HonsellLST00,
author = {Furio Honsell and
John Longley and
Donald Sannella and
Andrzej Tarlecki},
editor = {Jerzy Tiuryn},
title = {Constructive Data Refinement in Typed Lambda Calculus},
booktitle = {Foundations of Software Science and Computation Structures, Third
International Conference, {FOSSACS} 2000, Held as Part of the Joint
European Conferences on Theory and Practice of Software,ETAPS 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1784},
pages = {161--176},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46432-8\_11},
doi = {10.1007/3-540-46432-8\_11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HonsellLST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PlotkinPST00,
author = {Gordon D. Plotkin and
John Power and
Donald Sannella and
Robert D. Tennent},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Lax Logical Relations},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {85--102},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_9},
doi = {10.1007/3-540-45022-X\_9},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PlotkinPST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/SannellaT99,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Algebraic Methods for Specification and Formal Development of Programs},
journal = {{ACM} Comput. Surv.},
volume = {31},
number = {3es},
pages = {10},
year = {1999},
url = {https://doi.org/10.1145/333580.333589},
doi = {10.1145/333580.333589},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/SannellaT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HonsellS99,
author = {Furio Honsell and
Donald Sannella},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Pre-logical Relations},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {546--561},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_38},
doi = {10.1007/3-540-48168-0\_38},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HonsellS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Sannella99,
author = {Donald Sannella},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {The Common Framework Initiative for Algebraic Specification and Development
of Software},
booktitle = {Perspectives of System Informatics, Third International Andrei Ershov
Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July
6-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1755},
pages = {1--9},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46562-6\_1},
doi = {10.1007/3-540-46562-6\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Sannella99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Sannella99,
author = {Donald Sannella},
editor = {Annalisa Bossi},
title = {Algebraic Specification and Program Development by Stepwise Refinement},
booktitle = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
pages = {1--9},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720327\_1},
doi = {10.1007/10720327\_1},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Sannella99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/SannellaT99,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Egidio Astesiano and
Hans{-}J{\"{o}}rg Kreowski and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Algebraic Preliminaries},
booktitle = {Algebraic Foundations of Systems Specification},
series = {{IFIP} State-of-the-Art Reports},
pages = {13--30},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-59851-7\_2},
doi = {10.1007/978-3-642-59851-7\_2},
timestamp = {Tue, 16 May 2017 14:24:23 +0200},
biburl = {https://dblp.org/rec/series/ifip/SannellaT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/SannellaW99,
author = {Donald Sannella and
Martin Wirsing},
editor = {Egidio Astesiano and
Hans{-}J{\"{o}}rg Kreowski and
Bernd Krieg{-}Br{\"{u}}ckner},
title = {Specification Languages},
booktitle = {Algebraic Foundations of Systems Specification},
series = {{IFIP} State-of-the-Art Reports},
pages = {243--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-59851-7\_8},
doi = {10.1007/978-3-642-59851-7\_8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ifip/SannellaW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BidoitST98,
author = {Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki},
editor = {Armando Martin Haeberer},
title = {Architectural Specifications in {CASL}},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {341--357},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_25},
doi = {10.1007/3-540-49253-4\_25},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BidoitST98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KahrsS98,
author = {Stefan Kahrs and
Donald Sannella},
editor = {Egidio Astesiano},
title = {Reflections on the Design of a Specification language},
booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1382},
pages = {154--170},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053589},
doi = {10.1007/BFB0053589},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/KahrsS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SannellaT97,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Essential Concepts of Algebraic Specification and Program Development},
journal = {Formal Aspects Comput.},
volume = {9},
number = {3},
pages = {229--269},
year = {1997},
url = {https://doi.org/10.1007/BF01211084},
doi = {10.1007/BF01211084},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SannellaT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KahrsST97,
author = {Stefan Kahrs and
Donald Sannella and
Andrzej Tarlecki},
title = {The Definition of Extended {ML:} {A} Gentle Introduction},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {2},
pages = {445--484},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00163-6},
doi = {10.1016/S0304-3975(96)00163-6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KahrsST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Sanella97,
author = {Donald Sannella},
editor = {Michel Bidoit and
Max Dauchet},
title = {What Does the Future Hold for Theoretical Computer Science?},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {15--19},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030585},
doi = {10.1007/BFB0030585},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Sanella97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HofmannS96,
author = {Martin Hofmann and
Donald Sannella},
title = {On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order
Logic},
journal = {Theor. Comput. Sci.},
volume = {167},
number = {1{\&}2},
pages = {3--45},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(96)00068-0},
doi = {10.1016/0304-3975(96)00068-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HofmannS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/SannellaT96,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {Mind the Gap! Abstract Versus Concrete Models of Specifications},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {114--134},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_143},
doi = {10.1007/3-540-61550-4\_143},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/SannellaT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Sannella95,
author = {Donald Sannella},
title = {Foreword: Selected Papers of ESOP'94},
journal = {Sci. Comput. Program.},
volume = {25},
number = {2-3},
pages = {79--80},
year = {1995},
url = {https://doi.org/10.1016/0167-6423(95)90025-X},
doi = {10.1016/0167-6423(95)90025-X},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Sannella95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/HofmannS95,
author = {Martin Hofmann and
Donald Sannella},
editor = {Peter D. Mosses and
Mogens Nielsen and
Michael I. Schwartzbach},
title = {On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order
Logic},
booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International
Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {915},
pages = {247--261},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59293-8\_199},
doi = {10.1007/3-540-59293-8\_199},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/HofmannS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HarperST94,
author = {Robert Harper and
Donald Sannella and
Andrzej Tarlecki},
title = {Structured Theory Presentations and Logic Representations},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {113--160},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90009-4},
doi = {10.1016/0168-0072(94)90009-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HarperST94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idl/KahrsST94,
author = {Stefan Kahrs and
Donald Sannella and
Andrzej Tarlecki},
editor = {Jeannette M. Wing and
Richard L. Wexelblat},
title = {Interfaces and Extended {ML}},
booktitle = {Proceedings of the Workshop on Interface Definition Languages, January
20, 1994, Portland, Oregon, USA, in conjunction with {POPL} 1994},
pages = {111--118},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/185084.185113},
doi = {10.1145/185084.185113},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idl/KahrsST94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/1994,
editor = {Donald Sannella},
title = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3},
doi = {10.1007/3-540-57880-3},
isbn = {3-540-57880-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosl/KahrsST93,
author = {Stefan Kahrs and
Donald Sannella and
Andrzej Tarlecki},
editor = {D. J. Andrews and
Jan Friso Groote and
Cornelis A. Middelburg},
title = {The Semantics of Extended {ML:} {A} Gentle Introduction},
booktitle = {Semantics of Specification Languages (SoSL), Proceedings of the International
Workshop on Semantics of Specification Languages, Utrecht, The Netherlands,
25-27 October 1993},
series = {Workshops in Computing},
pages = {186--215},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3229-5\_11},
doi = {10.1007/978-1-4471-3229-5\_11},
timestamp = {Mon, 02 Dec 2019 18:09:28 +0100},
biburl = {https://dblp.org/rec/conf/sosl/KahrsST93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/wsscs/SannellaT93,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Grzegorz Rozenberg and
Arto Salomaa},
title = {Algebraic specification and formal methods for program development:
what are the real problems?},
booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
series = {World Scientific Series in Computer Science},
volume = {40},
pages = {115--120},
publisher = {World Scientific},
year = {1993},
url = {https://doi.org/10.1142/9789812794499\_0007},
doi = {10.1142/9789812794499\_0007},
timestamp = {Mon, 13 Mar 2017 16:29:04 +0100},
biburl = {https://dblp.org/rec/series/wsscs/SannellaT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SannellaST92,
author = {Donald Sannella and
Stefan Sokolowski and
Andrzej Tarlecki},
title = {Toward Formal Development of Programs from Algebraic Specifications:
Parameterisation Revisited},
journal = {Acta Informatica},
volume = {29},
number = {8},
pages = {689--736},
year = {1992},
url = {https://doi.org/10.1007/BF01191893},
doi = {10.1007/BF01191893},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SannellaST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SannellaW92,
author = {Donald Sannella and
Lincoln A. Wallen},
title = {A Calculus for the Construction of Modular Prolog Programs},
journal = {J. Log. Program.},
volume = {12},
number = {1{\&}2},
pages = {147--177},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90042-2},
doi = {10.1016/0743-1066(92)90042-2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SannellaW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SannellaT92,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Werner Kuich},
title = {Towards Formal Development of Programs from Algebraic Specifications:
Model-Theoretic Foundations},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {656--671},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_112},
doi = {10.1007/3-540-55719-9\_112},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SannellaT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Krieg-BrucknerS91,
author = {Bernd Krieg{-}Br{\"{u}}ckner and
Donald Sannella},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {Structuring Specifications in-the-Large and in-the-Small: Higher-Order
Functions, Dependent Types and Inheritance in {SPECTRAL}},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
on Combining Paradigms for Software Developmemnt {(CCPSD)}},
series = {Lecture Notes in Computer Science},
volume = {494},
pages = {313--336},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3540539816\_74},
doi = {10.1007/3540539816\_74},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Krieg-BrucknerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/BidoitKLOS91,
editor = {Michel Bidoit and
Hans{-}J{\"{o}}rg Kreowski and
Pierre Lescanne and
Fernando Orejas and
Donald Sannella},
title = {Algebraic System Specification and Development - {A} Survey and Annotated
Bibliography},
series = {Lecture Notes in Computer Science},
volume = {501},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0018512},
doi = {10.1007/BFB0018512},
isbn = {3-540-54060-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/BidoitKLOS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/SanellaT90,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Algebraic specification and formal methods for program development:
what are the real problems?},
journal = {Bull. {EATCS}},
volume = {41},
pages = {134--138},
year = {1990},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/SanellaT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaT90,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {A Kernel Specification Formalism with Higher-Order Parameterization},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
pages = {274--296},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54496-8\_15},
doi = {10.1007/3-540-54496-8\_15},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/SannellaT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaT90a,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {Extended {ML:} Past, Present, and Future},
booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
1990},
series = {Lecture Notes in Computer Science},
volume = {534},
pages = {297--322},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54496-8\_16},
doi = {10.1007/3-540-54496-8\_16},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/SannellaT90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/HarperST89,
author = {Robert Harper and
Donald Sannella and
Andrzej Tarlecki},
editor = {David H. Pitt and
David E. Rydeheard and
Peter Dybjer and
Andrew M. Pitts and
Axel Poign{\'{e}}},
title = {Logic Representation in {LF}},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8,
1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {389},
pages = {250--272},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0018356},
doi = {10.1007/BFB0018356},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/HarperST89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HarperST89,
author = {Robert Harper and
Donald Sannella and
Andrzej Tarlecki},
title = {Structure and Representation in {LF}},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {226--237},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39177},
doi = {10.1109/LICS.1989.39177},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HarperST89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/SannellaT89,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Toward Formal Development of {ML} Programs: Foundations and Methodology
(Extended Abstract)},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {375--389},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_48},
doi = {10.1007/3-540-50940-2\_48},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/SannellaT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SannellaT88,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Toward Formal Development of Programs from Algebraic Specifications:
Implementations Revisited},
journal = {Acta Informatica},
volume = {25},
number = {3},
pages = {233--281},
year = {1988},
url = {https://doi.org/10.1007/BF00283329},
doi = {10.1007/BF00283329},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SannellaT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/SannellaT88,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Specifications in an Arbitrary Institution},
journal = {Inf. Comput.},
volume = {76},
number = {2/3},
pages = {165--210},
year = {1988},
url = {https://doi.org/10.1016/0890-5401(88)90008-9},
doi = {10.1016/0890-5401(88)90008-9},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/SannellaT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaT88,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Hartmut Ehrig},
title = {Formal Development of {ML} Programs: Methodological Aspects},
booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
of Berlin, Germany},
year = {1988},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/SannellaT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/SannellaT87,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {On Observational Equivalence and Algebraic Specification},
journal = {J. Comput. Syst. Sci.},
volume = {34},
number = {2/3},
pages = {150--178},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90023-7},
doi = {10.1016/0022-0000(87)90023-7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/SannellaT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/SannellaW87,
author = {Donald Sannella and
Lincoln A. Wallen},
title = {A Calculus for the Construction of Modular Prolog Programs},
booktitle = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
California, USA, August 31 - September 4, 1987},
pages = {368--378},
publisher = {{IEEE-CS}},
year = {1987},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/SannellaW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/SannellaT87,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Toward Formal Development of Programs from Algebraic Specifications:
Implementations Revisited (Extended Abstract)},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 1: Advanced Seminar on Foundations of Innovative Software Development
{I} and Colloquium on Trees in Algebra and Programming (CAAP'87)},
series = {Lecture Notes in Computer Science},
volume = {249},
pages = {96--110},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17660-8\_50},
doi = {10.1007/3-540-17660-8\_50},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/SannellaT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adt/1987,
editor = {Donald Sannella and
Andrzej Tarlecki},
title = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {332},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50325-0},
doi = {10.1007/3-540-50325-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaT86,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {Extended {ML:} An Institution-Independent Framework for Formal Program
Development},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 16:40:26 +0200},
biburl = {https://dblp.org/rec/conf/adt/SannellaT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MacQueenS85,
author = {David B. MacQueen and
Donald Sannella},
title = {Completeness of Proof Systems for Equational Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {5},
pages = {454--461},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.232484},
doi = {10.1109/TSE.1985.232484},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MacQueenS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/SannellaT85,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Extended {ML:} an Institution - Independent Framework for Formal Program
Development},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {364--389},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_133},
doi = {10.1007/3-540-17162-2\_133},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/SannellaT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SannellaT85,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Program Specification and Development in Standard {ML}},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {67--77},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318614},
doi = {10.1145/318593.318614},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SannellaT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/SannellaT85,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Hartmut Ehrig and
Christiane Floyd and
Maurice Nivat and
James W. Thatcher},
title = {On Observational Equivalence and Algebraic Specification},
booktitle = {Mathematical Foundations of Software Development, Proceedings of the
International Joint Conference on Theory and Practice of Software
Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
1: Colloquium on Trees in Algebra and Programming (CAAP'85)},
series = {Lecture Notes in Computer Science},
volume = {185},
pages = {308--322},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15198-2\_20},
doi = {10.1007/3-540-15198-2\_20},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/SannellaT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Sannella84,
author = {Donald Sannella},
title = {A Set-Theoretic Semantics for Clear},
journal = {Acta Informatica},
volume = {21},
pages = {443--472},
year = {1984},
url = {https://doi.org/10.1007/BF00271641},
doi = {10.1007/BF00271641},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Sannella84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaT84,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Hans{-}J{\"{o}}rg Kreowski},
title = {Some Thoughts on Algebraic Specification},
booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
Applications of Abstract Data Types, Bremen, Germany, November 13-16,
1984, Selected Papers},
series = {Informatik-Fachberichte},
volume = {116},
pages = {31--38},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-662-09691-8\_4},
doi = {10.1007/978-3-662-09691-8\_4},
timestamp = {Mon, 18 Jun 2018 21:21:13 +0200},
biburl = {https://dblp.org/rec/conf/adt/SannellaT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdt/SannellaT84,
author = {Donald Sannella and
Andrzej Tarlecki},
editor = {Gilles Kahn and
David B. MacQueen and
Gordon D. Plotkin},
title = {Building Specifications in an Arbitrary Institution},
booktitle = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
France, June 27-29, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {173},
pages = {337--356},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13346-1\_17},
doi = {10.1007/3-540-13346-1\_17},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdt/SannellaT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/SannellaW83,
author = {Donald Sannella and
Martin Wirsing},
editor = {Manfred Broy and
Martin Wirsing},
title = {A Kernel Language for Algebraic Specification and Implementation},
booktitle = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
Passau, Germany},
publisher = {University of Passau},
year = {1983},
timestamp = {Fri, 19 Jul 2019 16:40:27 +0200},
biburl = {https://dblp.org/rec/conf/adt/SannellaW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/SannellaB83,
author = {Donald Sannella and
Rod M. Burstall},
editor = {Giorgio Ausiello and
Marco Protasi},
title = {Structured Theories in {LCF}},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
Italy, March 9-11, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {159},
pages = {377--391},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12727-5\_24},
doi = {10.1007/3-540-12727-5\_24},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caap/SannellaB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/SannellaW83,
author = {Donald Sannella and
Martin Wirsing},
editor = {Marek Karpinski},
title = {A Kernel Language for Algebraic Specification and Implementation -
Extended Abstract},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1983 International
FCT-Conference, Borgholm, Sweden, August 21-27, 1983},
series = {Lecture Notes in Computer Science},
volume = {158},
pages = {413--427},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12689-9\_122},
doi = {10.1007/3-540-12689-9\_122},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/SannellaW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Sannella82,
author = {Donald Sannella},
title = {Semantics, implementation and pragmatics of Clear, a program specification
language},
school = {University of Edinburgh, {UK}},
year = {1982},
url = {https://hdl.handle.net/1842/6633},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Sannella82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SannellaW82,
author = {Donald Sannella and
Martin Wirsing},
editor = {Mogens Nielsen and
Erik Meineche Schmidt},
title = {Implementation of Parameterised Specifications (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
July 12-16, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {140},
pages = {473--488},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0012793},
doi = {10.1007/BFB0012793},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SannellaW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BurstallMS80,
author = {Rod M. Burstall and
David B. MacQueen and
Donald Sannella},
title = {{HOPE:} An Experimental Applicative Language},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {136--143},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802799},
doi = {10.1145/800087.802799},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BurstallMS80.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.
last updated on 2024-04-25 02:44 CEST 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:
