Family values: a semantic notion of subtyping

Family values: a semantic notion of subtyping

Show other versions (1)

Bibliographic Details
Corporate Author:	Carnegie Mellon University Computer Science Department
Other Authors:	Liskov, B, Wing, J. M
Format:	Book
Language:	English
Published:	1992
Subjects:	Abstraction function Extensible types Formal specifications Larch Mutable types Object-oriented design Semantics Subtype

Similar Items

Subtyping for distributed object stores
Published: (1997)

Respectful type converters
Published: (1998)

An extension of Standard ML modules with subtyping and inheritance
Published: (1991)

Type equivalence, subtyping, and type transformations in object-oriented databases
Published: (1994)

On the use of subtypes in ABEL
Published: (1995)

Subtyping and constructive specification
Published: (1996)

ML with extended pattern matching and subtypes
Published: (1989)

Typechecking polymorphism in Emerald
Published: (1990)

Abstract semantic algebras!
Published: (1982)

Higher-order subtyping
Published: (1994)

Constrained quantification in polymorphic type analysis
Published: (1990)

Operations on records
Published: (1989)

Verifying object-oriented programs that use subtypes
Published: (1989)

An algebraic specification for the static semantics of Pascal
Published: (1991)

Family values : a behavioral notion of subtyping /
by: Liskov, B
Published: (1993)

Efficient runtimes for gradual typing /
by: Muehlboeck, Fabian, (Fabian Muehlboeck (Mühlböck))
Published: (2019)

Refinement types for ML
Published: (1994)

Some ideas in algebraic semantics
by: Goguen, J. A

Why like isn't like is-a (or as you like it)
Published: (1987)

A semantic algebra for binding constructs
Published: (1981)

The syntax and semantics of muCRL
Published: (1990)

A Larch specification of copying garbage collection
Published: (1992)

Control-flow analysis and type systems
Published: (1994)

Anna package specification: case studies
Published: (1991)

Thoughts on a Larch/ML and a new application for LP
Published: (1992)

A lattice theoretic approach to computation based on a calculus of partially ordered type structures
Published: (1984)

Secure and efficient implementation of abstract data types for databases
Published: (1991)

A process specification formalism based on static COLD
Published: (1989)

Bounded quantification is undecidable
Published: (1991)

A two tiered approach to specifying programs
Published: (1983)

A type system for prototyping languages
Published: (1994)

Progamme development as theory manipulations
Published: (1985)

An approach to compiler correctness using interpretation between theories
Published: (1986)

Types in space: towards flexible high-speed object oriented data management tools of the future
Published: (1988)

Programming with intersection types and bounded polymorphism
Published: (1991)

Executing quantifiers in FASE specifications
Published: (1989)

A query algebra for object-oriented databases /
by: Shaw, Gail M
Published: (1989)

Transmitting abstract values in messages
Published: (1980)

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)

Type-checking mini-ML: an algebraic specification with user-defined syntax
Published: (1987)