Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper).

Lars Kroll Paris Carbone Seif Haridi

Published in: SCALA@SPLASH (2017)

Keyphrases

learning objects
formal specification
code generation
control flow
attribute grammars
process algebra
source code
model checking
specification language
high level
user defined
error correcting
formal verification
error correction
reactive systems
data mining
object oriented
information systems
information retrieval