Iteration Conditions of W. Ogden's Type and Applications to Programming Languages (II).

Published in: Developments in Language Theory (1993)

Keyphrases

programming language
strongly typed
general purpose
object oriented
denotational semantics
programming environment
high level
logic programming
software engineering
specification language
lambda calculus
database languages
object oriented programming
computer programs
concurrent programming