1060 search results - page 48 / 212 » Mechanized semantics |
JSW
2007
14 years 9 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
101
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
WWW
2003
ACM
15 years 10 months ago
2003
ACM
The vision of the Semantic Web is to give data on the web a welldefined meaning by representing it in RDF and linking it to commonly accepted ontologies. Most formatted data today...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
GPC
2008
Springer
14 years 10 months ago
2008
Springer
The increasing popularity of personal wireless devices has raised new demands for the efficient discovery of heterogeneous devices and services in pervasive environments. With the...