456 search results - page 32 / 92 » Semantic Foundations of Jade |
120
click to vote
ADAPTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Ontologies and reasoning are the key terms brought into focus by the semantic web community. Formal representation of ontologies in a common data model on the web can be taken as a...
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
ICEBE
2007
IEEE
15 years 3 months ago
2007
IEEE
The service mediation that decouples service interactions is the foundation to support the service composition. The early service mediations are keyword and value-based, which req...
105
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...