Rascal: From Algebraic Specification to Meta-Programming

Jeroen van den Bos Mark Hills Paul Klint Tijs van der Storm Jurgen J. Vinju

Published in: AMMSE (2011)

Keyphrases

reactive systems
programming environment
high level language
high level
programming language
meta level
exception handling
formal methods
formal verification
object oriented programming
formal specification
data sets
control flow
development environment
code generation
provably correct
information systems