2135 search results - page 179 / 427 » An Operational Semantics for JavaScript |
127
click to vote
APLAS
2001
ACM
15 years 5 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
MFCS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
95
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most n...
122
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
110
Voted
DAGSTUHL
2004
15 years 3 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...