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