2661 search results - page 49 / 533 » A Semantics for Abstraction |
146
click to vote
ERSHOV
2001
Springer
15 years 10 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
161
click to vote
ICTAC
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
193
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Semantics shows diversity in real world, document world, mental abstraction world and machine world. Transformation between semantics pursues the uniformity in the divers...
132
click to vote
VMCAI
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
132
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...