default search action
Search dblp for Publications
export results for "toc:db/conf/adt/adt1987.bht:"
@inproceedings{DBLP:conf/adt/Bidoit87, author = {Michel Bidoit}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {The Stratified Loose Approach: {A} Generalization of Initial and Loose Semantics}, booktitle = {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}, pages = {1--22}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_1}, doi = {10.1007/3-540-50325-0\_1}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/adt/Bidoit87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/EhrigPBRDG87, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce and Paul Boehm and Catharina Rieckhoff and Christian Dimitrovici and Martin Gro{\ss}e{-}Rhode}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Algebraic Data Type and Process Specifications based on Projection Spaces}, booktitle = {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}, pages = {23--43}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_2}, doi = {10.1007/3-540-50325-0\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/EhrigPBRDG87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/FiadeiroS87, author = {Jos{\'{e}} Luiz Fiadeiro and Am{\'{\i}}lcar Sernadas}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Structuring Theories on Consequence}, booktitle = {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}, pages = {44--72}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_3}, doi = {10.1007/3-540-50325-0\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/FiadeiroS87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Ganzinger87, author = {Harald Ganzinger}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Completion with History-Dependent Complexities for Generated Equations}, booktitle = {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}, pages = {73--91}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_4}, doi = {10.1007/3-540-50325-0\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/Ganzinger87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/HabelKP87, author = {Annegret Habel and Hans{-}J{\"{o}}rg Kreowski and Detlef Plump}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Jungle Evaluation}, booktitle = {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}, pages = {92--112}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_5}, doi = {10.1007/3-540-50325-0\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/HabelKP87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Hansen87, author = {Horst Hansen}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {The {ACT} System: Experiences and Future Enhancements}, booktitle = {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}, pages = {113--130}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_6}, doi = {10.1007/3-540-50325-0\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/Hansen87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/LehmannL87, author = {Thomas Lehmann and Jacques Loeckx}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {The Specification Language of {OBSCURE}}, booktitle = {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}, pages = {131--153}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_7}, doi = {10.1007/3-540-50325-0\_7}, timestamp = {Fri, 27 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/LehmannL87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/MollerTW87, author = {Bernhard M{\"{o}}ller and Andrzej Tarlecki and Martin Wirsing}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Algebraic Specifications of Reachable Higher-Order Algebras}, booktitle = {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}, pages = {154--169}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_8}, doi = {10.1007/3-540-50325-0\_8}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adt/MollerTW87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Nipkow87, author = {Tobias Nipkow}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Observing Non-Deterministic Data Types}, booktitle = {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}, pages = {170--183}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_9}, doi = {10.1007/3-540-50325-0\_9}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/Nipkow87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/NivelaO87, author = {Pilar Nivela and Fernando Orejas}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Initial Behaviour Semantics for Algebraic Specifications}, booktitle = {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}, pages = {184--207}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_10}, doi = {10.1007/3-540-50325-0\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/NivelaO87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Poigne87, author = {Axel Poign{\'{e}}}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications}, booktitle = {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}, pages = {208--234}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_11}, doi = {10.1007/3-540-50325-0\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/Poigne87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Reichel87, author = {Horst Reichel}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Operational Semantics of Behavioural Canons based on Narrowing}, booktitle = {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}, pages = {235--248}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_12}, doi = {10.1007/3-540-50325-0\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/Reichel87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Vrancken87, author = {Jos L. M. Vrancken}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {The Algebraic Specification of Semi-Computable Data Types}, booktitle = {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}, pages = {249--259}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_13}, doi = {10.1007/3-540-50325-0\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/Vrancken87.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} }
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.