Program correctness over abstract data types, with error-state semantics /
| Main Author: | Tucker, J. V. (John V.), 1952- |
|---|---|
| Other Authors: | Zucker, J. I. (Jeffery I.), 1942- |
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam ; New York :
North-Holland ;
1988.
|
| Series: | CWI monograph ;
6. |
| Subjects: |
Similar Items
Abstract data types : their specification, representation, and use /
by: Thomas, Pete (Peter G.)
Published: (1988)
by: Thomas, Pete (Peter G.)
Published: (1988)
Abstract data types in Java /
by: Jenkins, Michael S.
Published: (1998)
by: Jenkins, Michael S.
Published: (1998)
Abstract data types in standard ML /
by: Harrison, Rachel, 1960-
Published: (1993)
by: Harrison, Rachel, 1960-
Published: (1993)
Abstract data types in Modula-2 /
by: Harrison, Rachel, 1960-
Published: (1989)
by: Harrison, Rachel, 1960-
Published: (1989)
Data structures with abstract data types and Pascal /
by: Stubbs, Daniel F., 1938-
Published: (1985)
by: Stubbs, Daniel F., 1938-
Published: (1985)
Abstract data types in Java /
by: Jenkins, Michael S.
Published: (1998)
by: Jenkins, Michael S.
Published: (1998)
A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)
by: Uhl, J. (Jürgen)
Published: (1990)
Programming abstractions in C : a second course in computer science /
by: Roberts, Eric
Published: (1998)
by: Roberts, Eric
Published: (1998)
Data abstraction and object-oriented programming in C++ /
by: Gorlen, Keith E.
Published: (1990)
by: Gorlen, Keith E.
Published: (1990)
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987 /
Published: (1988)
Published: (1988)
Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : proceedings, Wusterhausen/Dosse, Germany, April 17-20, 1990 /
Published: (1991)
Published: (1991)
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 /
Published: (1996)
Published: (1996)
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 /
Published: (1993)
Published: (1993)
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 /
Published: (1994)
Published: (1994)
Qualified types : theory and practice /
by: Jones, Mark P.
Published: (1994)
by: Jones, Mark P.
Published: (1994)
Data abstraction and problem solving with C++ : walls and mirrors /
by: Carrano, Frank M.
Published: (2002)
by: Carrano, Frank M.
Published: (2002)
Data abstraction & problem solving with C++ : walls & mirrors /
by: Carrano, Frank M.
Published: (2007)
by: Carrano, Frank M.
Published: (2007)
Live data structures in logic programs : derivation by means of abstract interpretation /
by: Mulkers, Anne, 1960-
Published: (1993)
by: Mulkers, Anne, 1960-
Published: (1993)
Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers /
Published: (1985)
Published: (1985)
Data structures using Java /
by: Langsam, Yedidyah, 1952-
Published: (2003)
by: Langsam, Yedidyah, 1952-
Published: (2003)
A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)
by: Uhl, J. (Jürgen)
Published: (1990)
ADTs, data structures, and problem solving with C++ /
by: Nyhoff, Larry R.
Published: (2005)
by: Nyhoff, Larry R.
Published: (2005)
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 /
Published: (1995)
Published: (1995)
Data structures, algorithms, and performance /
by: Wood, Derick, 1940-
Published: (1993)
by: Wood, Derick, 1940-
Published: (1993)
Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types /
by: Sherman, Mark Steven
Published: (1985)
by: Sherman, Mark Steven
Published: (1985)
Live data structures in logic programs : derivation by means of abstract interpretation /
by: Mulkers, Anne, 1960-
Published: (1993)
by: Mulkers, Anne, 1960-
Published: (1993)
Algebraic specification /
Published: (1989)
Published: (1989)
What are data types?.
Published: (2019)
Published: (2019)
Non-primitive data types : lists, stack, queue, map.
Published: (2019)
Published: (2019)
Data types in Python.
Published: (2019)
Published: (2019)
Non-primitive data types : tupple, set, frozen set, dictionary.
Published: (2019)
Published: (2019)
Data types vs. data structures in Python.
Published: (2019)
Published: (2019)
Programming with Types /
by: Riscutia, Vlad
Published: (2019)
by: Riscutia, Vlad
Published: (2019)
Algebraic specifications in software engineering : an introduction /
by: Horebeek, Ivo van, 1959-
Published: (1989)
by: Horebeek, Ivo van, 1959-
Published: (1989)
Instructor's manual to accompany Structures and abstractions : an introduction to computer science with Pascal and Turbo Pascal, Salmon /
by: Hanscom, David
Published: (1991)
by: Hanscom, David
Published: (1991)
Module 2 : data types.
Published: (2017)
Published: (2017)
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings /
Published: (1984)
Published: (1984)
Algebraic methodology and software technology (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 /
Published: (1992)
Published: (1992)
Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings /
Published: (1999)
Published: (1999)
Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings /
Published: (2006)
Published: (2006)