A Semantics for a Larch/Modula-3 Interface Language.

Published in: Larch (1992)

Keyphrases

logical language
specification language
operational semantics
highly expressive
intended meaning
formal semantics
definition language
logic programming language
denotational semantics
formal language

action language
model theoretic
user interface
programming language
conditional logic
speech acts
natural language interface
natural language
fixed point semantics

rule language
uml class diagrams
multiple inheritance
dynamic logic
aggregate functions
predicate calculus
conceptual graphs
language learning
logic programming

language constructs
proof theory
relational structures
default reasoning
situation calculus
disjunctive logic programming
script language
word meanings
conceptual model