C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation.
Dag Björklund
Johan Lilius
Published in:
Fundam. Informaticae (2006)
Keyphrases
</>
multiple models
formal language
natural language
programming language
dynamic model
operational semantics
pattern recognition
pairwise
heat exchanger