Sciweavers

Share
31 search results - page 1 / 7
» Disentangling Denotational Semantics Definitions
Sort
View
JUCS
2008
117views more  JUCS 2008»
10 years 2 months ago
Disentangling Denotational Semantics Definitions
Abstract: Denotational semantics is a powerful technique to formally define programming languages. However, language constructs are not always orthogonal, so many semantic equation...
Fabio Tirelo, Roberto da Silva Bigonha, Joã...
ECOWS
2006
Springer
10 years 6 months ago
Denotation of Semantic Web Services Operations through OWL-S
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
Marco Luca Sbodio, Claude Moulin
ENTCS
2006
142views more  ENTCS 2006»
10 years 2 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
DAGSTUHL
2006
10 years 4 months ago
System model for UML -- The interactions case
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
María Victoria Cengarle
SAS
1994
Springer
104views Formal Methods» more  SAS 1994»
10 years 7 months ago
Strictness and Totality Analysis
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
Kirsten Lackner Solberg
books