1027 search results - page 81 / 206 » Representing and Reasoning with Operational Semantics |
135
Voted
IWFM
2003
15 years 5 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...
170
click to vote
CL
2010
Springer
15 years 4 months 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...
220
click to vote
SIGMOD
2005
ACM
16 years 4 months 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...
157
click to vote
ESWS
2005
Springer
15 years 10 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...
139
click to vote
ITNG
2010
IEEE
15 years 9 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...