3713 search results - page 157 / 743 » Constructing a Calculus of Programs |
106
click to vote
ICLP
1990
Springer
15 years 7 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...
139
Voted
CATS
2007
15 years 4 months ago
2007
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
144
Voted
CJ
2010
15 years 25 days ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
116
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
106
Voted
VMCAI
2007
Springer
15 years 9 months 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 ...