SLP 1993 | Sciweavers

40

SLP
1993

110views more SLP 1993»

Logic Program Specialisation With Deletion of Useless Clauses

14 years 24 days 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 »

29

click to vote

SLP
1993

56views more SLP 1993»

Deterministic Parsing of Languages with Dynamic Operators

14 years 24 days ago

Download users.soe.ucsc.edu

Kjell Post, Allen Van Gelder, James Kerr

claim paper

Read More »

29

click to vote

SLP
1993

91views more SLP 1993»

Unification in a Lambda-Calculus with Intersection Types

14 years 24 days ago

Download kwarc.info

Michael Kohlhase, Frank Pfenning

claim paper

Read More »

23

click to vote

SLP
1993

117views more SLP 1993»

Boolean Constraint Solving Using clp(FD)

14 years 24 days 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 »

42

click to vote

SLP
1993

86views more SLP 1993»

Declarative Programming in Prolog

14 years 24 days 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 »

26

click to vote

SLP
1993

45views more SLP 1993»

Order-Sorted Feature Theory Unification

14 years 24 days ago