2135 search results - page 36 / 427 » An Operational Semantics for JavaScript |
158
Voted
IDEAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In the context of information system engineering, we propose a four-layer metamodeling architecture with a comprehensive set of operations on metamodels. Our architecture enables ...
134
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
95
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
We introduce a new CSP operator for modeling scenarios characterised by partial or optional parallelism. We provide examples of such scenarios and sketch the semantics of our oper...
137
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
113
Voted
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.