Ruben Smelik

Learn More
In this paper we propose a visual language CFSL for specifying control flow semantics of programming languages. We also present a translation from CFSL to graph production systems (GPS) for flow graph construction; that is, any CFSL specification, say for a language L, gives rise to a GPS that constructs from any L-program (represented as an abstract syntax(More)
Motivated by many potential applications within the domain of Defense, Safety & Security, we present an approach for the injection of incidents (e.g., an arrest following a shoplifting) in a running, large-scale urban simulation. Incidents are generated within desired user constraints such as what should happen, where, and when. We believe that this(More)
  • 1