2135 search results - page 242 / 427 » An Operational Semantics for JavaScript |
111
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
108
click to vote
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
128
click to vote
EURODAC
1995
IEEE
15 years 6 months ago
1995
IEEE
This paper addresses the problem of semantic heterogeneity between data representations with particular emphasis on CAD tool data representations. The combination of powerful mapp...
112
click to vote
VLDB
1987
ACM
15 years 6 months ago
1987
ACM
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...