2135 search results - page 246 / 427 » An Operational Semantics for JavaScript |
135
click to vote
ENTCS
2006
15 years 3 months ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
115
click to vote
IANDC
2010
15 years 1 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
128
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
119
click to vote
BNCOD
2009
15 years 1 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
229
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...