|
971
|
Theory of Linear and Integer Programming
– Schrijver
- 1986
|
|
755
|
Constraint Logic Programming
– Jaffar, Lassez
- 1987
|
|
556
|
The Art of Prolog
– Sterling, Shapiro
- 1986
|
|
448
|
An abstract Prolog instruction set
– Warren
|
|
305
|
Confluent reductions: Abstract properties and applications to term rewriting systems: Abstract properties and applications to term rewriting systems
– Huet
- 1980
|
|
291
|
The CLP(R ) language and system
– Jaffar, Michaylov, et al.
- 1992
|
|
264
|
The family of concurrent logic programming languages
– Shapiro
- 1989
|
|
247
|
The Constraint Logic Programming Language CHIP
– Dincbas
|
|
212
|
Sato T.: Unfold/Fold Transformations of Logic Programs
– Tamaki
- 1984
|
|
200
|
I-structures: Data structures for parallel computing
– Arvind, Pingali
- 1989
|
|
192
|
Warren’s Abstract Machine: A Tutorial Reconstruction
– Ait-Kaci
- 1991
|
|
85
|
Methodology and implementation of a CLP system
– Jaffar, Michaylov
- 1987
|
|
83
|
Theory of linear and integer programming. Wiley-Interscience Series in Discrete Mathematics. A Wiley-Interscience Publication
– Schrijver
- 1986
|
|
60
|
Analysis of meta-programs
– Hill, Lloyd
- 1989
|
|
50
|
Partial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation
– Komorowski
- 1982
|
|
42
|
Dataflow Architectures
– Arvind, Culler
- 1986
|
|
38
|
CLP(R) and some electrical engineering problems
– Heintze, Michaylov, et al.
- 1992
|
|
36
|
Other Implementation Issues in the Wam
– Freeze
- 1987
|
|
36
|
Efficient implementation of a defensible semantics for dynamic PROLOG code
– Lindholm, O’Keefe
- 1987
|
|
34
|
Negation and Control in Prolog
– Naish
- 1986
|
|
32
|
An Abstract Machine for CLP(R
– Jaffar, Michaylov, et al.
- 1992
|
|
27
|
Temporal logic programming and its relation to constraint logic programming
– Brzoska
- 1991
|
|
26
|
An approach to symbolic timing verification
– Amon, Borriello
- 1992
|
|
17
|
Amalgamating language and metalanguage
– Bowen, Kowalski
- 1982
|
|
17
|
and Gopalan Nadathur. Higher-order logic programming
– Miller
- 1986
|
|
14
|
A Meta-level Extension of Prolog
– Bowen, Weinberg
- 1985
|
|
13
|
Constraint Logic Programming and Options Trading
– Lassez, McAloon, et al.
- 1987
|
|
11
|
The CLPR programmer’s manual version 1.2
– Heintze, Jaffar, et al.
- 1992
|
|
11
|
Prolog II reference manual and theoretical model
– Colmerauer
- 1982
|
|
10
|
A Methodology for Managing Hard Constraints in CLP Systems
– Jaffar, Michaylov, et al.
- 1991
|
|
9
|
Adapting CLP(R) to Floating-Point Arithmetic
– Lee, Emden
- 1992
|
|
8
|
MPL - A Graphical Programming Environment for Matrix Processing Based on Logic and Constraints
– Yeung
- 1988
|
|
7
|
Constraint logic programming for the analysis and partial synthesis of truss structures
– Lakmazaheri, Rasdorf
- 1989
|
|
7
|
The Implementation and Definition of a Computer Programming Language Based on Constraints
– Steele
- 1980
|
|
6
|
Projecting CLPR constraints
– Jaffar, Maher, et al.
- 1993
|
|
6
|
Meta programming as constraint programming
– Lim, Stuckey
- 1990
|
|
6
|
A Methodology for Managing Hard Constraints
– Jaffar, Michaylov
- 1991
|
|
5
|
An Abstract Prolog Instruction Set." Technical Note 309
– Warren
- 1983
|
|
4
|
Testing for the Church-Rosser Property
– Sethi
- 1974
|
|
4
|
A Transformational Approach to Configuration Design
– Sthanusubramonian
- 1992
|
|
4
|
On meta-programming
– Heintze, Michaylov, et al.
- 1989
|
|
4
|
Meta-programming in CLP(R
– Heintze, Michaylov, et al.
- 1989
|
|
3
|
Implementing an ODE solver: a CLP approach
– Harland, Michaylov
- 1987
|
|
3
|
Projections of Polyhedral Sets
– Kohler
- 1967
|
|
3
|
Knowledge representation in the harmony intelligent tutoring system
– Tobias
- 1988
|
|
3
|
Integrating numerical and qualitative models within constraint logic programming
– Mozetic, Holzbaur
- 1991
|
|
3
|
Hoc Chuan. Restriction site mapping in CLP(R
– Yap
- 1991
|
|
2
|
PROLOG-III Reference and Users Manual, Version 1.1
– Colmerauer
- 1990
|
|
2
|
The CLP(R) language and system: an overview
– Jaffar, Michaylov, et al.
- 1991
|
|
1
|
Mockingbird: A logical methodology for testing
– Harland, Michaylov
- 1990
|
|
