Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types / by Mark S. Sherman.

Saved in:

Bibliographic Details
Main Author:	Sherman, Mark S. (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985.
Edition:	1st ed. 1985.
Series:	Lecture Notes in Computer Science, 189 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Data structures (Computer science). Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

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)

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)

Specification and Transformation of Programs A Formal Approach to Software Development
by: Partsch, Helmut A.
Published: (1990)

Abstract Data Types and Algorithms
by: Azmoodeh, Manoochchr
Published: (1990)

Recent Trends in Data Type Specification 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
Published: (1985)

Object-Oriented Behavioral Specifications
Published: (1996)

Data Types and Persistence
Published: (1988)

Behavioral Specifications of Businesses and Systems
Published: (1999)

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
Published: (2008)

Essential Dynamic HTML fast
by: Ayesh, Aladdin
Published: (2000)

A Modular Calculus for the Average Cost of Data Structuring
by: Schellekens, Michel
Published: (2008)

Object-Oriented Application Development Using the Caché Postrelational Database
by: Kirsten, Wolfgang, et al.
Published: (2003)

Object-Oriented Application Development Using the Caché Postrelational Database
by: Kirsten, Wolfgang, et al.
Published: (2001)

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
Published: (2007)

Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Published: (2003)

Programming Languages and Systems 8th European Symposium on Programming, ESOP'99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings
Published: (1999)

Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Published: (2004)

Fully Integrated Data Environments Persistent Programming Languages, Object Stores, and Programming Environments
Published: (2000)

The Complete Rust Programming Reference Guide : Design, Develop, and Deploy Effective Software Systems Using the Advanced Constructs of Rust.
by: Sharma, Rahul
Published: (2019)

Generic Programming Advanced Lectures
Published: (2003)

Semantics: Foundations and Applications REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
Published: (1993)

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Published: (2007)

Software Prototyping in Data and Knowledge Engineering
by: Guida, G., et al.
Published: (1999)

Object Orientation with Parallelism and Persistence
by: Freitag, Burkhard, et al.
Published: (1996)

Variational Object-Oriented Programming Beyond Classes and Inheritance
by: Mezini, Mira
Published: (1998)

Mutation Testing for the New Century
Published: (2001)

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers
Published: (2013)

Software and Data Technologies 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Published: (2011)

TeX Reference Manual
by: Bausum, David
Published: (2002)

Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Published: (1991)

Programming with Scala Language Exploration
by: Upadhyaya, Bhim P.
Published: (2017)

Object-Technologies for Advanced Software Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings
Published: (1996)

C2 Compiler Concepts
by: Teufel, Bernd, et al.
Published: (1993)

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
by: Chivers, Ian, et al.
Published: (2012)

Open Multithreaded Transactions A Transaction Model for Concurrent Object-Oriented Programming
by: Kienzle, Jörg
Published: (2003)

Open Source Systems Security Certification
by: Damiani, Ernesto, et al.
Published: (2009)

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Published: (2019)

Introducing Fortran 90
by: Chivers, Ian D., et al.
Published: (1995)

Ruby Data Processing Using Map, Reduce, and Select
by: Godse, Jay
Published: (2018)

Programs as Data Objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Published: (2001)