2135 search results - page 178 / 427 » An Operational Semantics for JavaScript |
108
click to vote
FLOPS
2004
Springer
15 years 7 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
113
Voted
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
119
click to vote
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
120
Voted
TACAS
1999
Springer
15 years 6 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
104
click to vote
DEON
2004
Springer
15 years 6 months ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...