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
|