Graph-based specification and simulation of featherweight Java with around advice.

Tom Staijen Arend Rensink

Published in: FOAL (2009)

Keyphrases

programming language
simulation model
semi supervised
formal methods
code generation
high level
web applications
mathematical model
simulation study
graph model
artificial intelligence
object oriented
source code
oracle database
simulation models
java programs