2 citations · 4 across the 6 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2014
Abstracting an operational semantics to finite automata
Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus +1
There is an apparent similarity between the descriptions of small-step operational semantics of imperative programs and the semantics of finite automata, so defining an abstraction…
cs.PL2010
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
L. Besnard, T. Gautier, J. Ouy +9
The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language na…