2236 search results - page 21 / 448 » Language Independence and Language Tolerance in Logic Progra... |
135
Voted
LPAR
2000
Springer
15 years 8 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
142
Voted
VL
1993
IEEE
15 years 9 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
138
click to vote
LPNMR
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
137
Voted
CCR
1999
15 years 4 months ago
1999
act Syntax Notation One (ASN.1) can be used as a common substrate for representing active programs. An active networking framework, using ASN.1 whereby any active network solution ...