Sciweavers

Share
1060 search results - page 1 / 212
» Mechanized semantics
Sort
View
CORR
2010
Springer
147views Education» more  CORR 2010»
10 years 4 months ago
Mechanized semantics
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
Xavier Leroy
APWEB
2006
Springer
10 years 7 months ago
Named Graphs as a Mechanism for Reasoning About Provenance
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
E. Rowland Watkins, Denis A. Nicole
COMMA
2010
9 years 11 months ago
Argumentation Mechanism Design for Preferred Semantics
Recently Argumentation Mechanism Design (ArgMD) was introduced as a paradigm for studying argumentation using game-theoretic techniques. To date, this framework has been used to st...
Shengying Pan, Kate Larson, Iyad Rahwan
POPL
2012
ACM
8 years 11 months ago
A mechanized semantics for C++ object construction and destruction, with applications to resource management
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
Tahina Ramananandro, Gabriel Dos Reis, Xavier Lero...
ICAC
2007
IEEE
10 years 10 months ago
An Autonomic Service Discovery Mechanism to Support Pervasive Device Accessing Semantic Grid
An important challenge of integrating pervasive devices into Grid environment to enhance pervasive device capabilities is that pervasive devices need to locate, find, select and ...
Tao Guan, Ed Zaluska, David De Roure
books