Automatic Generation of Interpolants for Lattice Samplings: Part II - Implementation and Code Generation.

Joshua Horacsek Usman R. Alim

Published in: CoRR (2021)

Keyphrases

code generation
application development
software development
rapid prototyping
code generator
formal specification
model driven
case study
software reuse
database
data mining
object oriented
petri net
model checking