Algebraic specification /

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)

Abstract data types : their specification, representation, and use /
by: Thomas, Pete (Peter G.)
Published: (1988)

Qualified types : theory and practice /
by: Jones, Mark P.
Published: (1994)

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)

Algebraic methodology and software technology (AMAST '93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993 /
Published: (1994)

Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings /
Published: (2006)

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings /
Published: (1996)

Algebraic methodology and software technology : 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings /
Published: (1999)

Algebraic methodology and software technology : 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings /
Published: (1997)

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings /
Published: (2000)

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings /
Published: (2002)

Recent trends in data type specification : 3rd Workshop on Theory and Applications of Abstract Data Types : selected papers /
Published: (1985)

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types : proceedings, Wusterhausen/Dosse, Germany, April 17-20, 1990 /
Published: (1991)

Program correctness over abstract data types, with error-state semantics /
by: Tucker, J. V. (John V.), 1952-
Published: (1988)

Live data structures in logic programs : derivation by means of abstract interpretation /
by: Mulkers, Anne, 1960-
Published: (1993)

Data structures, algorithms, and performance /
by: Wood, Derick, 1940-
Published: (1993)

Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
Published: (1998)

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)

A systematic catalogue of reusable abstract data types /
by: Uhl, J. (Jürgen)
Published: (1990)

Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers /
Published: (2000)

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /
Published: (2003)

Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers /
Published: (2005)

Recent trends in algebraic development techniques : 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers /
Published: (2007)

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 /
Published: (2001)

Abstract data types in standard ML /
by: Harrison, Rachel, 1960-
Published: (1993)

Programming abstractions in C : a second course in computer science /
by: Roberts, Eric
Published: (1998)

Abstract data types in Java /
by: Jenkins, Michael S.
Published: (1998)

Algebraic methodology and software technology : 10th international conference, AMAST 2004 /
Published: (2004)

Abstract data types in Modula-2 /
by: Harrison, Rachel, 1960-
Published: (1989)

Data structures with abstract data types and Pascal /
by: Stubbs, Daniel F., 1938-
Published: (1985)

ADTs, data structures, and problem solving with C++ /
by: Nyhoff, Larry R.
Published: (2005)

Data structures using Java /
by: Langsam, Yedidyah, 1952-
Published: (2003)

Data abstraction & problem solving with C++ : walls & mirrors /
by: Carrano, Frank M.
Published: (2007)

Live data structures in logic programs : derivation by means of abstract interpretation /
by: Mulkers, Anne, 1960-
Published: (1993)

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types /
by: Sherman, Mark Steven
Published: (1985)

Data abstraction and object-oriented programming in C++ /
by: Gorlen, Keith E.
Published: (1990)