Collaborated with:
J.Bundgaard
Talks about:
context (1) static (1) semant (1) method (1) condit (1) denot (1) defin (1) ada (1)
Person: Lennart Schultz
DBLP: Schultz:Lennart
Contributed to:
Wrote 1 papers:
- TFDA-1980-BundgaardS #ada #semantics
- A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.