FLOPS 1999 | Sciweavers

40

FLOPS
1999
Springer

84views Automated Reasoning» more FLOPS 1999»

An Interval Lattice-Based Constraint Solving Framework for Lattices

14 years 3 months ago

We present a simple generic framework to solve constraints on any domain (ﬁnite or inﬁnite) which has a lattice structure. The approach is based on the use of a single constrai...

Antonio J. Fernández, Patricia M. Hill

claim paper

Read More »

28

click to vote

FLOPS
1999
Springer

104views Automated Reasoning» more FLOPS 1999»

An Extensional Characterization of Lambda-Lifting and Lambda-Dropping

14 years 3 months ago

Download www.brics.dk

Olivier Danvy

claim paper

Read More »

29

click to vote

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

14 years 3 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

46

click to vote

FLOPS
1999
Springer

122views Automated Reasoning» more FLOPS 1999»

Using Types as Approximations for Type Checking Prolog Programs

14 years 3 months ago

Download www.fernuni-hagen.de

Abstract. Subtyping tends to undermine the eﬀects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...

Christoph Beierle, Gregor Meyer

claim paper

Read More »

40

click to vote

FLOPS
1999
Springer

186views Automated Reasoning» more FLOPS 1999»

Typed Higher-Order Narrowing without Higher-Order Strategies

14 years 3 months ago

Download web.cecs.pdx.edu

We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...

Sergio Antoy, Andrew P. Tolmach

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers