1027 search results - page 81 / 206 » Representing and Reasoning with Operational Semantics |
110
click to vote
IWFM
2003
15 years 2 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
134
Voted
CL
2010
Springer
15 years 27 days ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
185
Voted
SIGMOD
2005
ACM
16 years 29 days ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
124
Voted
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...
110
Voted
ITNG
2010
IEEE
15 years 5 months ago
2010
IEEE
—In reservoir engineering domain experts deal with many tasks and operations, ranging from reservoir simulation to well maintenance scheduling, with the goal of maximizing oil pr...