2135 search results - page 118 / 427 » An Operational Semantics for JavaScript |
IJCAI
1989
13 years 10 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
ENTCS
2006
13 years 9 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...