2106 search results - page 28 / 422 » Operational Semantics for MSC'96 |
145
Voted
APLAS
2008
ACM
15 years 6 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 ...
165
Voted
LICS
2012
IEEE
13 years 6 months 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...
135
Voted
LOPSTR
2009
Springer
15 years 10 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...
118
Voted
IAT
2009
IEEE
15 years 10 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 ...
151
Voted
CL
2000
Springer
15 years 8 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...