H ? « ‹ ← → › »

Language peer sets for ABEL:
Norway↑
Norway/1979↑
Designed 1979 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus OO C family ↑
Multi-purpose ↑
OO C family↑
CPL Algols↑
Generation of Algol 60 ↑
OO C family/1979↑
CPL Algols/1979↑
Generation of Algol 60/1979↑
OO C family/Norway↑
CPL Algols/Norway↑
Generation of Algol 60/Norway↑
Multi-purpose ↑
Multi-purpose/1979↑
Multi-purpose/no ↑

ABEL(ID:1780/abe001)

OO Language with specification semantics 

alternate simple view
Country: Norway
Designed 1979
Genus: OO C family
Sammet category: Multi-purpose

for Abstraction Building Experimental Language

follow up to the abstraction work in  the Simulas, ended up with somewhat functional nature.

Strongly-typed object-oriented language with contravariant semantics. Inherited interfaces are not required to be subtypes

Places
People:
Structures:
Related languages
Larch → ABEL   Incorporated some features of
OBJ → ABEL   Incorporated some features of
SIMULA 67 → ABEL   Evolution of
References:
  • Dahl et al (1986) Dahl, O.-J.; Langmyhr, D.F. and Owe. O. "Preliminary report on the specification and programming language ABEL" Research report 106, University of Oslo, December 1986.
  • Dahl and Owe (1991) Dahl, O.-J. and Owe, O. "Formal Development with ABEL" In VDM91, LNCS 552, pp320-363.
  • Dahl (1992) Dahl, O.-J. "Verifiable programming" International Series in Computer Science Addison-Wesley, 1992.
  • Owe (1992) Owe, O. "Partial logics reconsidered: a conservative approach" Research Report 155, University of Oslo, June 1991.
  • Bastiansen (1995) Bastiansen, T. J. "Parametric Subtypes in ABEL" Research report 207, Dept. of Informatics, University of Oslo, 1995.
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: ABEL Extract: ABEL Extract:
  • Dah (1998) Dahl, Ole-Johan; Owe, Olaf and Bastiansen, Tore J. "Subtyping and Constructive Specification" Nordic Journal of Computing 5(1998), pp1-31 Abstract Extract: Introduction
  • Dahl et al (1998) Dahl, Ole-Johan; Owe, Olaf; Bastiansen, Tore J. "Subtyping and constructive specification" Nordic Journal of Computing 5(1) Spring 1998 pp19-49 Abstract
  • Kristofferson and Dahl (1998) Kristofferson, Bjorn and Dahl, Ole-Johan "On Introducing Higher Order Functions in ABEL" Nordic Journal of Computing March 1998. Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder