Separating Binding Times in Language Specifications.

Torben Æ. Mogensen

Published in: FPCA (1989)

Keyphrases

specification language
formal language
natural language
operational semantics
programming language
language learning
formal specification
high level
temporal logic
finite state machines
information retrieval
functional requirements
computational linguistics
conceptual models
concurrent systems
delay insensitive