2135 search results - page 24 / 427 » An Operational Semantics for JavaScript |
119
click to vote
ENTCS
2007
15 years 2 months ago
2007
Shared Messaging Communication (SMC) has been introduced in [9] as a model of communication which reduces communication costs (both in terms of communication latency and memory us...
143
click to vote
ECMDAFA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
AAAI
1994
15 years 3 months ago
1994
The standard approach in AI to knowledge representation is to represent an agent's knowledge symbolically as a collection of formulas, which we can view as aknowledge base. A...
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
130
click to vote
DEXAW
2006
IEEE
15 years 8 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...