1027 search results - page 76 / 206 » Representing and Reasoning with Operational Semantics |
104
Voted
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
106
Voted
DLOG
2003
15 years 2 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
106
click to vote
ESWS
2009
Springer
15 years 7 months ago
2009
Springer
This proposal explores the promotion of existing relational databases to Semantic Web Endpoints. It presents the benefits of ontologybased read and write access to existing relati...
112
click to vote
PLILP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
131
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...