SLP 1993 | Sciweavers

13

SLP
1993

110views more SLP 1993»

Logic Program Specialisation With Deletion of Useless Clauses

13 years 5 months ago

In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...

D. Andre de Waal, John P. Gallagher

claim paper

Read More »

9

click to vote

SLP
1993

56views more SLP 1993»

Deterministic Parsing of Languages with Dynamic Operators

13 years 5 months ago

Download users.soe.ucsc.edu

Kjell Post, Allen Van Gelder, James Kerr

claim paper

Read More »

11

click to vote

SLP
1993

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

13 years 5 months ago

Download kwarc.info

Michael Kohlhase, Frank Pfenning

claim paper

Read More »

8

click to vote

SLP
1993

117views more SLP 1993»

Boolean Constraint Solving Using clp(FD)

13 years 5 months ago

Download gprolog.univ-paris1.fr

We present a boolean constraint logic language clp(B/FD) built upon a language over ﬁnite domains clp(FD) which uses a local propagation constraint solver. It is based on a sing...

Philippe Codognet, Daniel Diaz

claim paper

Read More »

15

click to vote

SLP
1993

86views more SLP 1993»

Declarative Programming in Prolog

13 years 5 months ago

Download homepages.cwi.nl

We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative int...

Krzysztof R. Apt

claim paper

Read More »

8

click to vote

SLP
1993

45views more SLP 1993»

Order-Sorted Feature Theory Unification

13 years 5 months ago