H ? « ‹ ← → › »

Language peer sets for FOOPS:
United States↑
United States/1987↑
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

FOOPS(ID:1323/foo004)

alternate simple view
Country: United States
Designed 1987
Published: 1987

for A Functional Object Oriented Programming System

Goguen SRI

Very high level object-oriented specification language with an executable subset. It provides:

abstract data types,
objects,
classes,
overloading,
polymorphism, and
inheritance with overriding.
FOOPS also provides many additional features that go beyond what other current-generation object-oriented languages offer, including:
parameterised modules with semantic interface requirements,
a very powerful module interconnection language, and
`mixfix' syntax for functions, attributes and methods.

FOOPS is patterned after and built upon OBJ, a declarative specification language, from which it derives many of the above features.

Places
People:
Structures:
Related languages
LIL → FOOPS   Spec written in
OBJ2 → FOOPS   Augmentation of
FOOPS → OOZE   Based on
FOOPS → TOOR   Based on
References:
  • Goguen, J. et al (1987) Goguen, J. et al "Extensions and Foundations for Object-Oriented Programming"
          in Shriver B. (1987) Shriver B. et al eds, Research Directions in Object-Oriented Programming, MIT Press 1987.
  • Singhal, Vivek and Batory, Don (1993) Singhal, Vivek and Batory, Don "P++ A Language for Large-Scale Reusable Software Components"
          in [Proceedings] (1993) Proceedings of the 6th Annual Workshop on Software Reuse (Owego, New York), November 1993
  • Borba, Paulo and Joseph Goguen, An operational sem (1994) Borba, Paulo and Joseph Goguen, An operational semantics for FOOPS, In Roel Wieringa and Remco Feenstra, editors, International Workshop on Information Systems - Correctness and Reusability, IS-CORE'94, Technical Report IR-357. Vrije Universiteit, Amsterdam, September 1994. A longer version appeared as Technical Monograph PRG-115, Oxford University Computing Laboratory, November 1994. Abstract
          in [Proceedings] (1993) Proceedings of the 6th Annual Workshop on Software Reuse (Owego, New York), November 1993
  • Borba, Paulo and Joseph A. (1995) Borba, Paulo and Joseph A. Goguen. Refinement of Concurrent Object Oriented Programs. Chapter 11 of Formal Methods in Object Technology, Stephen Goldsack and Stuart Kent (eds.), Springer, 1996. Also appears as Technical Report TR-18-95, Oxford University Computing Laboratory, Programming Research Group, November 1995 Abstract
          in [Proceedings] (1993) Proceedings of the 6th Annual Workshop on Software Reuse (Owego, New York), November 1993
  • Borba, Paulo Semantics and Refinement for a Concur (1995) Borba, Paulo Semantics and Refinement for a Concurrent Object Oriented Language, DPhil thesis, Oxford University Computing Laboratory, July 1995.
          in [Proceedings] (1993) Proceedings of the 6th Annual Workshop on Software Reuse (Owego, New York), November 1993
  • Corina Cirstea. (1995) Corina Cirstea. A Distributed Semantics for FOOPS. PRG Technical Report PRG-TR-20-95, 1995.
          in [Proceedings] (1993) Proceedings of the 6th Annual Workshop on Software Reuse (Owego, New York), November 1993
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder