Login / Signup
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
Manfred Broy
Walter Dosch
Bernhard Möller
Martin Wirsing
Published in:
GI Jahrestagung (1981)
Keyphrases
</>
extended abstract
programming language
specification language
general purpose
object oriented
high level
programming environment
computer programs
software engineering
logic programming
strongly typed
databases
machine learning
data structure
denotational semantics