H ? « »

Language peer sets for ABEL:
Designed 1979
1970s languages
Fourth generation
High Cold War
Genus OO C family
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


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

Related languages
Larch ABEL   Incorporated some features of
OBJ ABEL   Incorporated some features of
SIMULA 67 ABEL   Evolution of

  • 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