Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "abstract data type specification"
download as .bib file
@inproceedings{DBLP:conf/csee/Virseda12,
author = {Rafael del Vado V{\'{\i}}rseda},
editor = {Daoxu Chen and
Mike Barker and
LiGuo Huang},
title = {A Software Testing Tool for the Verification of Abstract Data Type
Implementations from Formal Algebraic Specifications},
booktitle = {25th {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
pages = {100--104},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSEET.2012.16},
doi = {10.1109/CSEET.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/Virseda12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/VirsedaM12,
author = {Rafael del Vado V{\'{\i}}rseda and
Fernando P{\'{e}}rez Morente},
editor = {Hesham H. Ali and
Yong Shi and
Deepak Khazanchi and
Michael Lees and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {An Innovative Teaching Tool for the Verification of Abstract Data
Type Implementations from Formal Algebraic Specifications},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2012, Omaha, Nebraska, USA, 4-6 June, 2012},
series = {Procedia Computer Science},
volume = {9},
pages = {1743--1752},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.04.192},
doi = {10.1016/J.PROCS.2012.04.192},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/journals/procedia/VirsedaM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Westphal2008,
author = {Bernd Westphal},
title = {Specification and verification of dynamic topology systems: on the
applicability of query- and data-type-reduction-based abstractions},
school = {University of Oldenburg, Germany},
year = {2008},
url = {http://docserver.bis.uni-oldenburg.de/publikationen/dissertation/2008/wesspe08/wesspe08.html},
urn = {urn:nbn:de:gbv:715-oops-7900},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Westphal2008.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}
}
@inproceedings{DBLP:conf/csl/Khoussainov03,
author = {Bakhadyr Khoussainov},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {On Algebraic Specifications of Abstract Data Types},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {299--313},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_25},
doi = {10.1007/978-3-540-45220-1\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Khoussainov03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/FreyP98,
author = {Maximilian Frey and
Marjeta Pucko},
title = {Formal specification of {CSCW} applications with concurrent abstract
data types},
journal = {J. Syst. Archit.},
volume = {44},
number = {5},
pages = {343--357},
year = {1998},
url = {https://doi.org/10.1016/S1383-7621(97)00007-6},
doi = {10.1016/S1383-7621(97)00007-6},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/FreyP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/Grosse-Rhode97,
author = {Martin Gro{\ss}e{-}Rhode},
title = {Transition Specifications for Dynamic Abstract Data Types},
journal = {Appl. Categorical Struct.},
volume = {5},
number = {3},
pages = {265--308},
year = {1997},
url = {https://doi.org/10.1023/A:1008641804822},
doi = {10.1023/A:1008641804822},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/Grosse-Rhode97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CostaR97,
author = {Gerardo Costa and
Gianna Reggio},
title = {Specification of Abstract Dynamic-Data Types: {A} Temporal Logic Approach},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {2},
pages = {513--554},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00165-X},
doi = {10.1016/S0304-3975(96)00165-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CostaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080836,
author = {Jacques Loeckx and
Hans{-}Dieter Ehrich and
Markus Wolf},
title = {Specification of abstract data types},
publisher = {Wiley},
year = {1996},
isbn = {978-0-471-95067-7},
timestamp = {Fri, 08 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HennickerS96,
author = {Rolf Hennicker and
Christoph Schmitz},
editor = {Martin Wirsing and
Maurice Nivat},
title = {Object-Oriented Implementation of Abstract Data Type Specifications},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {163--179},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014314},
doi = {10.1007/BFB0014314},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/HennickerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1995,
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61629-2},
doi = {10.1007/3-540-61629-2},
isbn = {3-540-61629-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Grosse-Rhode95,
author = {Martin Gro{\ss}e{-}Rhode},
title = {Specification of transition categories: an approach to dynamic abstract
data types},
school = {Technical University of Berlin, Germany},
year = {1995},
url = {https://d-nb.info/943810507},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Grosse-Rhode95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Grosse-Rhode95,
author = {Martin Gro{\ss}e{-}Rhode},
title = {Transition Specifications for Dynamic Abstract Data Type},
journal = {Bull. {EATCS}},
volume = {55},
year = {1995},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Grosse-Rhode95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1994,
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014419},
doi = {10.1007/BFB0014419},
isbn = {3-540-59132-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BarbeyB94,
author = {St{\'{e}}phane Barbey and
Didier Buchs},
editor = {Marcel Toussaint},
title = {Testing Ada Abstract Data Types Using Formal Specifications},
booktitle = {Ada in Europe, First International Eurospace - Ada-Europe Symposium,
Copenhagen, Denmark, September 26-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {887},
pages = {76--89},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58822-1\_90},
doi = {10.1007/3-540-58822-1\_90},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/BarbeyB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1992,
editor = {Hartmut Ehrig},
title = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57867-6},
doi = {10.1007/3-540-57867-6},
isbn = {3-540-57867-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LehmannL93,
author = {Thomas Lehmann and
Jacques Loeckx},
title = {{OBSCURE:} {A} Specification Language for Abstract Data Types},
journal = {Acta Informatica},
volume = {30},
number = {4},
pages = {303--350},
year = {1993},
url = {https://doi.org/10.1007/BF01209709},
doi = {10.1007/BF01209709},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LehmannL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/Jia93,
author = {Xiaoping Jia},
title = {Model-based formal specification directed testing of abstract data
types},
booktitle = {Seventeenth Annual International Computer Software and Applications
Conference, {COMPSAC} 1993, Proceedings, Phoenix, AZ, USA, 1-5 November,
1993},
pages = {360--366},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/CMPSAC.1993.404241},
doi = {10.1109/CMPSAC.1993.404241},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/Jia93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/RajanJS93,
author = {Sreeranga P. Rajan and
Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {From Abstract Data Types to Shift Registers: {A} Case Study in Formal
Specification and Verification at Differing Levels of Abstraction
using Theorem Proving and Symbolic Simulation},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {489--500},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_158},
doi = {10.1007/3-540-57826-9\_158},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/RajanJS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1991,
editor = {Michel Bidoit and
Christine Choppy},
title = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56379-2},
doi = {10.1007/3-540-56379-2},
isbn = {3-540-56379-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Schoett92,
author = {Oliver Schoett},
title = {Two Impossibility Theorems on Behaviour Specification of Abstract
Data Types},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {595--621},
year = {1992},
url = {https://doi.org/10.1007/BF01185563},
doi = {10.1007/BF01185563},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Schoett92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Jalote92,
author = {Pankaj Jalote},
title = {Specification and Testing of Abstract Data Types},
journal = {Comput. Lang.},
volume = {17},
number = {1},
pages = {75--82},
year = {1992},
url = {https://doi.org/10.1016/0096-0551(92)90024-H},
doi = {10.1016/0096-0551(92)90024-H},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/Jalote92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Lesske92,
author = {Frank Le{\ss}ke},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Constructive Specifications of Abstract Data Types Using Temporal
Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {269--280},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023881},
doi = {10.1007/BFB0023881},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Lesske92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Belkhouche91,
author = {Boumediene Belkhouche},
title = {Generation of {ADA} and {PL/1} prototypes from abstract data type
specifications},
journal = {J. Syst. Softw.},
volume = {16},
number = {3},
pages = {255--264},
year = {1991},
url = {https://doi.org/10.1016/0164-1212(91)90020-7},
doi = {10.1016/0164-1212(91)90020-7},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/Belkhouche91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adt/1990,
editor = {Hartmut Ehrig and
Klaus P. Jantke and
Fernando Orejas and
Horst Reichel},
title = {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},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54496-8},
doi = {10.1007/3-540-54496-8},
isbn = {3-540-54496-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9146,
author = {Frank Le{\ss}ke},
title = {On constructive specifications of abstract data types using temporal
logic},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9146},
pages = {1--25},
year = {1991},
url = {https://d-nb.info/921304803},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9146.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Waite90,
author = {Kevin W. Waite},
title = {A graphical environment supporting the algebraic specification of
abstract data types},
school = {University of Glasgow, {UK}},
year = {1990},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.796383},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Waite90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/TuckerZ90,
author = {John V. Tucker and
Jeffery I. Zucker},
editor = {Selim G. Akl and
Frantisek Fiala and
Waldemar W. Koczkodaj},
title = {Toward a General Theory of Computation and Specification over Abstract
Data Types},
booktitle = {Advances in Computing and Information - ICCI'90, International Conference
on Computing and Information, Niagara Falls, Canada, May 23-26, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {468},
pages = {129--133},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53504-7\_69},
doi = {10.1007/3-540-53504-7\_69},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icci/TuckerZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Schmidt89c,
author = {Heinz W. Schmidt},
title = {Specification and correct implementation of non-sequential systems
combining abstract data types and Petri nets},
school = {University of Bremen, Germany},
year = {1989},
url = {https://d-nb.info/890318611},
isbn = {978-3-486-21292-1},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Schmidt89c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfdbs/BondavalliFLV89,
author = {Andrea Bondavalli and
Nicoletta De Francesco and
Diego Latella and
Gigliola Vaglini},
editor = {J{\'{a}}nos Demetrovics and
Bernhard Thalheim},
title = {Shared Abstract Data Types: An Algebraic Methodology for Their Specification},
booktitle = {{MFDBS} 89, 2nd Symposium on Mathematical Fundamentals of Database
Systems, Visegr{\'{a}}d, Hungary, June 26-30, 1989},
series = {Lecture Notes in Computer Science},
volume = {364},
pages = {53--67},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51251-9\_5},
doi = {10.1007/3-540-51251-9\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfdbs/BondavalliFLV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PenaA89,
author = {Ricardo Pena and
Luis M. Alonso},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Specification and Verification of {TCSP} Systems by Means of Partial
Abstract Data Types},
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 = {328--344},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_45},
doi = {10.1007/3-540-50940-2\_45},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/PenaA89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ProbstL88,
author = {David K. Probst and
Hon Fung Li},
title = {Abstract Specification of Synchronous Data Types for {VLSI} and Proving
the Correctness of Systolic Network Implementations},
journal = {{IEEE} Trans. Computers},
volume = {37},
number = {6},
pages = {710--720},
year = {1988},
url = {https://doi.org/10.1109/12.2209},
doi = {10.1109/12.2209},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ProbstL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BeierleP88,
author = {Christoph Beierle and
Udo Pletat},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Integrating Logic Programming and Equational Specification of Abstract
Data Types},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {71--82},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_59},
doi = {10.1007/3-540-50667-5\_59},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BeierleP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/ZhongIE88,
author = {Y. Zhong and
S. Ishizuka and
R. Enari},
title = {Integrating abstract data types with object-oriented programming by
specification-based approach},
booktitle = {1988 Internation Conference on Computer Languages, October 9-13, 1988,
Miami, Florida, {USA}},
pages = {202--209},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/ICCL.1988.13066},
doi = {10.1109/ICCL.1988.13066},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/ZhongIE88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/ibm/LILOG38,
author = {Christoph Beierle and
Udo Pletat},
title = {Semantics of Logic Programs with Equational Abstract Data Type Specifications},
journal = {LILOG-Report},
volume = {38},
year = {1988},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ibm/LILOG38.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Jalote87,
author = {Pankaj Jalote},
title = {Synthesizing Implementations of Abstract Data Types from Axiomatic
Specifications},
journal = {Softw. Pract. Exp.},
volume = {17},
number = {11},
pages = {847--858},
year = {1987},
url = {https://doi.org/10.1002/spe.4380171106},
doi = {10.1002/SPE.4380171106},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/Jalote87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Loeckx87,
author = {Jacques Loeckx},
title = {Algorithmic Specifications: {A} Constructive Specification Method
for Abstract Data Types},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {9},
number = {4},
pages = {646--685},
year = {1987},
url = {https://doi.org/10.1145/29873.30399},
doi = {10.1145/29873.30399},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Loeckx87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Lomazova87,
author = {Irina A. Lomazova},
editor = {Lothar Budach and
Rais Gatic Bakharajev and
Oleg Borisovic Lipanov},
title = {Procedural Implementation of Algebraic Specifications of Abstract
Data Types},
booktitle = {Fundamentals of Computation Theory, International Conference FCT'87,
Kazan, USSR, June 22-26, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {278},
pages = {288--292},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18740-5\_61},
doi = {10.1007/3-540-18740-5\_61},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Lomazova87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Kramer87,
author = {Bernd J. Kr{\"{a}}mer},
editor = {William E. Riddle and
Robert M. Balzer and
Kouichi Kishida},
title = {{SEGRAS} - {A} Formal and Semigraphical Language Combining Petri Nets
and Abstract Data Types for the Specification of Distributed Systems},
booktitle = {Proceedings, 9th International Conference on Software Engineering,
Monterey, California, USA, March 30 - April 2, 1987},
pages = {116--125},
publisher = {{ACM} Press},
year = {1987},
url = {http://dl.acm.org/citation.cfm?id=41778},
timestamp = {Tue, 15 May 2012 07:19:05 +0200},
biburl = {https://dblp.org/rec/conf/icse/Kramer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BeierleV87,
author = {Christoph Beierle and
Angi Vo{\ss}},
editor = {Franz{-}Josef Brandenburg and
Guy Vidal{-}Naquet and
Martin Wirsing},
title = {On Implementations of Loose Abstract Data Type Specifications and
Their Vertical Composition},
booktitle = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
Science, Passau, Germany, February 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {247},
pages = {245--259},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0039610},
doi = {10.1007/BFB0039610},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BeierleV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KaplanP87,
author = {S. Kaplan and
Amir Pnueli},
editor = {Franz{-}Josef Brandenburg and
Guy Vidal{-}Naquet and
Martin Wirsing},
title = {Specification and Implementation of Concurrently Accessed Data Structures:
An Abstract Data Type Approach},
booktitle = {{STACS} 87, 4th Annual Symposium on Theoretical Aspects of Computer
Science, Passau, Germany, February 19-21, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {247},
pages = {220--244},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0039609},
doi = {10.1007/BFB0039609},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KaplanP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BeierleV87,
author = {Christoph Beierle and
Angi Vo{\ss}},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Theory and Practice of Canonical Term Functors in Abstract Data Type
Specifications},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 2: Advanced Seminar on Foundations of Innovative Software Development
{II} and Colloquium on Functional and Logic Programming and Specifications
{(CFLP)}},
series = {Lecture Notes in Computer Science},
volume = {250},
pages = {320--334},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0014989},
doi = {10.1007/BFB0014989},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BeierleV87.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}
}
@article{DBLP:journals/cj/WongS86,
author = {E. Wong and
W. B. Samson},
title = {The Specification of a Relational Database {(PRECI)} as an Abstract
Data Type and its Realisation in {HOPE}},
journal = {Comput. J.},
volume = {29},
number = {3},
pages = {261--268},
year = {1986},
url = {https://doi.org/10.1093/comjnl/29.3.261},
doi = {10.1093/COMJNL/29.3.261},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/WongS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Wirsing86,
author = {Martin Wirsing},
title = {Algebraic specification of the abstract data type "Continuum" without
hidden operations},
journal = {Bull. {EATCS}},
volume = {29},
pages = {46--54},
year = {1986},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Wirsing86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BelkhoucheU86,
author = {Boumediene Belkhouche and
Joseph E. Urban},
title = {Direct Implementation of Abstract Data Types from Abstract Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {5},
pages = {649--661},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312960},
doi = {10.1109/TSE.1986.6312960},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BelkhoucheU86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Manca86,
author = {Vincenzo Manca},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {Specification of Abstract Data Types with Experiments},
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/Manca86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Pletat86,
author = {Udo Pletat},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {Algebraic Specifications of Abstract Data Types and {CCS:} An Operational
Junction},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/Pletat86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Scollo86,
author = {Giuseppe Scollo},
editor = {Klaus Drosten and
Hans{-}Dieter Ehrich and
Martin Gogolla and
Udo W. Lipeck},
title = {On Hierarchy, Incompleteness and Exception Handling in Equational
Specifications of Abstract Data Types},
booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
of Braunschweig, Germany},
year = {1986},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/Scollo86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/StempleSB86,
author = {David W. Stemple and
Tim Sheard and
Ralph E. Bunker},
title = {Abstract Data Types in Databases: Specification, Manipulation and
Access},
booktitle = {Proceedings of the Second International Conference on Data Engineering,
February 5-7, 1986, Los Angeles, California, {USA}},
pages = {590--597},
publisher = {{IEEE} Computer Society},
year = {1986},
url = {https://doi.org/10.1109/ICDE.1986.7266266},
doi = {10.1109/ICDE.1986.7266266},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/StempleSB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Sherman85,
author = {Mark Steven Sherman},
title = {Paragon: {A} Language Using Type Hierarchies for the Specification,
Implementation and Selection of Abstract Data Types},
series = {Lecture Notes in Computer Science},
volume = {189},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15212-1},
doi = {10.1007/3-540-15212-1},
isbn = {3-540-15212-1},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Sherman85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Maibaum85,
author = {T. S. E. Maibaum},
title = {Database Instances, Abstract Data Types and Database Specification},
journal = {Comput. J.},
volume = {28},
number = {2},
pages = {154--161},
year = {1985},
url = {https://doi.org/10.1093/comjnl/28.2.154},
doi = {10.1093/COMJNL/28.2.154},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Maibaum85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BroyT85,
author = {Manfred Broy and
Andrzej Tarlecki},
title = {Algebraic specification of the abstract data type "Continuum"},
journal = {Bull. {EATCS}},
volume = {26},
pages = {32--35},
year = {1985},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BroyT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/DilgerW85,
author = {Werner Dilger and
Wolfgang Womann},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {The {METANET.} {A} knowledge representation tool based on abstract
data types},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {156--161},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_11},
doi = {10.1007/3-540-16444-8\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/aii/DilgerW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/Loeckx85,
author = {Jacques Loeckx},
editor = {Wolfgang Bibel and
Klaus P. Jantke},
title = {The algorithmic specification method of abstract data types: an overview},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems
'85, Proceedings of the International Spring School, Wendisch-Rietz,
GDR, April 22-26, 1985},
series = {Lecture Notes in Computer Science},
volume = {215},
pages = {194--200},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16444-8\_16},
doi = {10.1007/3-540-16444-8\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aii/Loeckx85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/adt/1984,
editor = {Hans{-}J{\"{o}}rg Kreowski},
title = {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},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-662-09691-8},
doi = {10.1007/978-3-662-09691-8},
isbn = {3-540-16077-9},
timestamp = {Mon, 18 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/DilgerW84,
author = {Werner Dilger and
Wolfgang Womann},
title = {The {METANET:} {A} Means for the Specification of Semantic Networks
as Abstract Data Types},
journal = {Int. J. Man Mach. Stud.},
volume = {21},
number = {6},
pages = {463--492},
year = {1984},
url = {https://doi.org/10.1016/S0020-7373(84)80056-5},
doi = {10.1016/S0020-7373(84)80056-5},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/DilgerW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RemyZ84,
author = {Jean{-}Luc R{\'{e}}my and
Hantao Zhang},
editor = {Tim O'Shea},
title = {{REVEUR} 4: {A} System for Validating Conditional Algebraic Specifications
of Abstract Data Types},
booktitle = {Advances in Artificial Intelligence, Proceedings of the Sixth European
Conference on Artificial Intelligence, ECAI-84, Pisa, Italy, September
5-7, 1984},
pages = {373--382},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/RemyZ84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/StempleS84,
author = {David W. Stemple and
Tim Sheard},
editor = {Daniel J. Rosenkrantz and
Ronald Fagin},
title = {Specification and Verification of Abstract Database Types},
booktitle = {Proceedings of the Third {ACM} {SIGACT-SIGMOD} Symposium on Principles
of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
pages = {248--257},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/588011.588047},
doi = {10.1145/588011.588047},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/StempleS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/BerztissT83,
author = {Alfs T. Berztiss and
Satish Thatte},
title = {Specification and Implementation of Abstract Data Types},
journal = {Adv. Comput.},
volume = {22},
pages = {295--353},
year = {1983},
url = {https://doi.org/10.1016/S0065-2458(08)60131-X},
doi = {10.1016/S0065-2458(08)60131-X},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/BerztissT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelsPE83,
author = {Gregor Engels and
Udo Pletat and
Hans{-}Dieter Ehrich},
title = {An Operational Semantics for Specifications of Abstract Data Types
with Error Handling},
journal = {Acta Informatica},
volume = {19},
pages = {235--253},
year = {1983},
url = {https://doi.org/10.1007/BF00265557},
doi = {10.1007/BF00265557},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelsPE83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Lescanne83,
author = {Pierre Lescanne},
title = {Behavioural Categoricity of Abstract Data Type Specifications},
journal = {Comput. J.},
volume = {26},
number = {4},
pages = {289--292},
year = {1983},
url = {https://doi.org/10.1093/comjnl/26.4.289},
doi = {10.1093/COMJNL/26.4.289},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/Lescanne83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Bidoit83,
author = {Michel Bidoit},
editor = {Manfred Broy and
Martin Wirsing},
title = {Algebraic Specification of Exception Handling and Error Recovery in
Abstract Data Types},
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/Bidoit83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Logrippo83,
author = {Luigi Logrippo},
editor = {Harry Rudin and
Colin H. West},
title = {"Constructive" and "Executable" Specifications of Protocol Services
by using Abstract Data Types and Finite State Transducers},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {111--124},
publisher = {North-Holland},
year = {1983},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/ifip/Logrippo83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kieburtz83,
author = {Richard B. Kieburtz},
editor = {John R. Wright and
Larry Landweber and
Alan J. Demers and
Tim Teitelbaum},
title = {Precise Typing of Abstract Data Type Specifications},
booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 1983},
pages = {109--116},
publisher = {{ACM} Press},
year = {1983},
url = {https://doi.org/10.1145/567067.567079},
doi = {10.1145/567067.567079},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Kieburtz83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/Veloso82,
author = {Paulo A. S. Veloso},
title = {Methodical specification of abstract data types via rewriting systems},
journal = {Int. J. Parallel Program.},
volume = {11},
number = {5},
pages = {295--323},
year = {1982},
url = {https://doi.org/10.1007/BF01001954},
doi = {10.1007/BF01001954},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/Veloso82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Ehrich82,
author = {Hans{-}Dieter Ehrich},
title = {On the Theory of Specification, Implementation, and Parametrization
of Abstract Data Types},
journal = {J. {ACM}},
volume = {29},
number = {1},
pages = {206--227},
year = {1982},
url = {https://doi.org/10.1145/322290.322303},
doi = {10.1145/322290.322303},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Ehrich82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Moitra82,
author = {Abha Moitra},
title = {Direct Implementation of Algebraic Specification of Abstract Data
Types},
journal = {{IEEE} Trans. Software Eng.},
volume = {8},
number = {1},
pages = {12--20},
year = {1982},
url = {https://doi.org/10.1109/TSE.1982.234770},
doi = {10.1109/TSE.1982.234770},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Moitra82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMse/BelkhoucheUR82,
author = {Boumediene Belkhouche and
Joseph E. Urban and
Gregory A. Riccardi},
title = {Synthesizing abstract data type specifications},
booktitle = {Proceedings of the 20th Annual Southeast Regional Conference, 1982,
Knoxville, Tennessee, USA, April 1-3, 1982},
pages = {176--181},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/503896.503928},
doi = {10.1145/503896.503928},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/ACMse/BelkhoucheUR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/BeierleV82,
author = {Christoph Beierle and
Angi Vo{\ss}},
editor = {Hans{-}Dieter Ehrich and
Udo W. Lipeck},
title = {Hierarchical Specification of Parameterized Abstract Data Types by
Means of Canonical Term Algebras},
booktitle = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of
Dortmund, Germany},
publisher = {University of Dortmund},
year = {1982},
timestamp = {Fri, 19 Jul 2019 16:40:25 +0200},
biburl = {https://dblp.org/rec/conf/adt/BeierleV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Loeckx82,
author = {Jacques Loeckx},
editor = {Hans{-}Dieter Ehrich and
Udo W. Lipeck},
title = {The Description of Programming Languages and the Verification of their
Compilers with the Help of Algorithmic Specifications of Abstract
Data Types},
booktitle = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of
Dortmund, Germany},
publisher = {University of Dortmund},
year = {1982},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adt/Loeckx82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SakabeIH82,
author = {Toshiki Sakabe and
Yasuyoshi Inagaki and
Namio Honda},
editor = {Yutaka Ohno and
Victor R. Basili and
Hajime Enomoto and
Koji Kobayashi and
Raymond T. Yeh},
title = {Specification of Abstract Data Types with Partially Defined Operations},
booktitle = {Proceedings, 6th International Conference on Software Engineering,
Tokyo, Japan, September 13-16, 1982},
pages = {218--224},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {http://dl.acm.org/citation.cfm?id=807764},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/SakabeIH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FurtadoV81,
author = {Ant{\'{o}}nio L. Furtado and
Paulo A. S. Veloso},
title = {Procedural specifications and implementations for abstract data types},
journal = {{ACM} {SIGPLAN} Notices},
volume = {16},
number = {3},
pages = {53--62},
year = {1981},
url = {https://doi.org/10.1145/947825.947828},
doi = {10.1145/947825.947828},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/FurtadoV81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/HornungR81,
author = {G{\"{u}}nter Hornung and
Peter Raulefs},
editor = {Egidio Astesiano and
Corrado B{\"{o}}hm},
title = {Initial and Terminal Algebra Semantics of Parameterized Abstract Data
Type Specifications With Inequalities},
booktitle = {{CAAP} '81, Trees in Algebra and Programming, 6th Colloquium, Genoa,
Italy, March 5-7, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {112},
pages = {224--237},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10828-9\_65},
doi = {10.1007/3-540-10828-9\_65},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/HornungR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Loeckx81,
author = {Jacques Loeckx},
editor = {Shimon Even and
Oded Kariv},
title = {Algorithmic Specifications of Abstract Data Types},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
Israel, July 13-17, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {115},
pages = {129--147},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10843-2\_11},
doi = {10.1007/3-540-10843-2\_11},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Loeckx81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BartelsOR81,
author = {Ulrich Bartels and
Walter G. Olthoff and
Peter Raulefs},
editor = {Patrick J. Hayes},
title = {{APE:} An Expert System for Automatic Programming from Abstract Specifications
of Data Types and Algorithms},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {1037--1043},
publisher = {William Kaufmann},
year = {1981},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BartelsOR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Tompa80,
author = {Frank Wm. Tompa},
title = {A Practical Example of the Specification of Abstract Data Types},
journal = {Acta Informatica},
volume = {13},
pages = {205--224},
year = {1980},
url = {https://doi.org/10.1007/BF00288642},
doi = {10.1007/BF00288642},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Tompa80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/ErnstO80,
author = {George W. Ernst and
William F. Ogden},
title = {Specification of Abstract Data Types in Modula},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {2},
number = {4},
pages = {522--543},
year = {1980},
url = {https://doi.org/10.1145/357114.357117},
doi = {10.1145/357114.357117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/ErnstO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Musser80,
author = {David R. Musser},
title = {Abstract Data Type Specification in the {AFFIRM} System},
journal = {{IEEE} Trans. Software Eng.},
volume = {6},
number = {1},
pages = {24--32},
year = {1980},
url = {https://doi.org/10.1109/TSE.1980.230459},
doi = {10.1109/TSE.1980.230459},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Musser80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Gaudel80,
author = {Marie{-}Claude Gaudel},
editor = {Neil D. Jones},
title = {Specification of compilers as abstract data type representations},
booktitle = {Semantics-Directed Compiler Generation, Proceedings of a Workshop,
Aarhus, Denmark, January 14-18, 1980},
series = {Lecture Notes in Computer Science},
volume = {94},
pages = {140--164},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10250-7\_21},
doi = {10.1007/3-540-10250-7\_21},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/cc/Gaudel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DoschWAM80,
author = {Walter Dosch and
Martin Wirsing and
Giorgio Ausiello and
Gianfranco Mascari},
editor = {Reinhard Wilhelm},
title = {Polynomials - The Specification, Analysis and Development of an Abstract
Data Type},
booktitle = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
Oktober 1980, Proceedings},
series = {Informatik-Fachberichte},
volume = {33},
pages = {306--320},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67838-7\_28},
doi = {10.1007/978-3-642-67838-7\_28},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/DoschWAM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/EigemeierKRT80,
author = {H. Eigemeier and
Christoph Knabe and
Peter Raulefs and
K. Tramer},
editor = {Reinhard Wilhelm},
title = {An Expert System for Automatic Codeing of Abstract Data Type Specifications},
booktitle = {{GI} - 10. Jahrestagung, Saarbr{\"{u}}cken, 30. September - 2.
Oktober 1980, Proceedings},
series = {Informatik-Fachberichte},
volume = {33},
pages = {431--441},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/978-3-642-67838-7\_42},
doi = {10.1007/978-3-642-67838-7\_42},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/EigemeierKRT80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Majster79,
author = {Mila E. Majster{-}Cederbaum},
title = {Data Types, Abstract Data Types and Their Specification Problem},
journal = {Theor. Comput. Sci.},
volume = {8},
pages = {89--127},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90059-8},
doi = {10.1016/0304-3975(79)90059-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Majster79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/GerstmannO79,
author = {H. Gerstmann and
Alexander Ollongren},
editor = {Dines Bj{\o}rner},
title = {Abstract Objects as Abstract Data Types},
booktitle = {Abstract Software Specifications, 1979 Copenhagen Winter School, January
22 - February 2, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {86},
pages = {439--450},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-10007-5\_45},
doi = {10.1007/3-540-10007-5\_45},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/ac/GerstmannO79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbt/EmdenM79,
author = {Maarten H. van Emden and
T. S. E. Maibaum},
editor = {Herv{\'{e}} Gallaire and
Jean{-}Marie Nicolas and
Jack Minker},
title = {Equations Compared with Clauses for Specification of Abstract Data
Types},
booktitle = {Advances in Data Base Theory, Vol. 1, Based on the Proceedings of
the Workshop on Formal Bases for Data Bases, December 12-14, 1979,
Centre d'Etudes et de Recherches de l'Ecole Nationale Sup{\'{e}}rieure
de l'A{\'{e}}ronautique et de l'Espace de Toulouse (CERT), France},
series = {Advances in Data Base Theory},
pages = {159--193},
publisher = {Plemum Press},
address = {New York},
year = {1979},
timestamp = {Thu, 29 Mar 2018 16:54:19 +0200},
biburl = {https://dblp.org/rec/conf/adbt/EmdenM79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BergG79,
author = {Helmut K. Berg and
Wolfgang K. Giloi},
editor = {Helmut K. Berg and
Wolfgang K. Giloi},
title = {Hierarchical Specification of Abstract Data Types},
booktitle = {The Use of Formal Specification of Software, June 25-27, 1979, Berlin,
Germany},
series = {Informatik-Fachberichte},
volume = {36},
pages = {150--196},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/978-3-642-67881-3\_5},
doi = {10.1007/978-3-642-67881-3\_5},
timestamp = {Tue, 19 Jun 2018 19:34:39 +0200},
biburl = {https://dblp.org/rec/conf/fm/BergG79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/GuttagH78,
author = {John V. Guttag and
James J. Horning},
title = {The Algebraic Specification of Abstract Data Types},
journal = {Acta Informatica},
volume = {10},
pages = {27--52},
year = {1978},
url = {https://doi.org/10.1007/BF00260922},
doi = {10.1007/BF00260922},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/GuttagH78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrichL78,
author = {Hans{-}Dieter Ehrich and
V. G. Lohberger},
editor = {Volker Claus and
Hartmut Ehrig and
Grzegorz Rozenberg},
title = {Constructive Specifications of Abstract Data Types by Replacements},
booktitle = {Graph-Grammars and Their Application to Computer Science and Biology,
International Workshop, Bad Honnef, Germany, October 30 - November
3, 1978},
series = {Lecture Notes in Computer Science},
volume = {73},
pages = {180--191},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0025720},
doi = {10.1007/BFB0025720},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrichL78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigKP78,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Peter Padawitz},
editor = {Giorgio Ausiello and
Corrado B{\"{o}}hm},
title = {Stepwise Specification and Implementation of Abstract Data Types},
booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy,
July 17-21, 1978, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {62},
pages = {205--226},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08860-1\_16},
doi = {10.1007/3-540-08860-1\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrigKP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ehrich78,
author = {Hans{-}Dieter Ehrich},
editor = {J{\'{o}}zef Winkowski},
title = {Extensions and Implementations of Abstract Data Type Specifications},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {155--164},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_64},
doi = {10.1007/3-540-08921-7\_64},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ehrich78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msi/Yonezawa78,
author = {Akinori Yonezawa},
editor = {Edward K. Blum and
Manfred Paul and
Satoru Takasu},
title = {A formal specification technique for abstract data types with parallelism},
booktitle = {Mathematical Studies of Information Processing, Proceedings of the
International Conference, Kyoto, Japan, August 23-26, 1978},
series = {Lecture Notes in Computer Science},
volume = {75},
pages = {127--150},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-09541-1\_25},
doi = {10.1007/3-540-09541-1\_25},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/msi/Yonezawa78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pc/Owicki78,
author = {Susan S. Owicki},
editor = {Friedrich L. Bauer and
Manfred Broy},
title = {Specifications and Proofs for Abstract Data Types in Concurrent Programs},
booktitle = {Program Construction, International Summer School, July 26 - August
6, 1978, Marktoberdorf, Germany},
series = {Lecture Notes in Computer Science},
volume = {69},
pages = {174--197},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0014668},
doi = {10.1007/BFB0014668},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pc/Owicki78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/X77a,
title = {Limits of the "algebraic" specification of abstract data types},
journal = {{ACM} {SIGPLAN} Notices},
volume = {12},
number = {10},
pages = {37--42},
year = {1977},
url = {https://doi.org/10.1145/954627.954630},
doi = {10.1145/954627.954630},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/X77a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GiarratanaGM76,
author = {V. Giarratana and
F. Gimona and
Ugo Montanari},
editor = {Antoni W. Mazurkiewicz},
title = {Observability Concepts in Abstract Data Type Specifications},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
Gdansk, Poland, September 6-10, 1976, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {45},
pages = {576--587},
publisher = {Springer},
year = {1976},
url = {https://doi.org/10.1007/3-540-07854-1\_231},
doi = {10.1007/3-540-07854-1\_231},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GiarratanaGM76.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-03 21:08 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:
