2106 search results - page 28 / 422 » Operational Semantics for MSC'96 |
APLAS
2008
ACM
14 years 11 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
LICS
2012
IEEE
13 years 2 days ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
—The paper extends the traditional browser concept with a Semantic Web tailored faceted browser thus providing integrated end-user grade support for both legacy Web and Semantic ...
CL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...