2108 search results - page 40 / 422 » An Operational Semantics for Stateflow |
SIGOPSE
2004
ACM
15 years 5 months ago
2004
ACM
FOAL
2009
ACM
15 years 3 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
TEC
2002
14 years 11 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
ENTCS
2008
14 years 12 months ago
2008
Reynolds' view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in parti...
115
click to vote
ENTCS
2006
14 years 12 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...