Aart Middeldorp, Taisuke Sato
Proceedings of the Fourth Fuji International Symposium on Functional and Logic Programming
FLOPS, 1999.

@proceedings{FLOPS-1999,
	address       = "Tsukuba, Japan",
	editor        = "Aart Middeldorp and Taisuke Sato",
	isbn          = "3-540-66677-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth Fuji International Symposium on Functional and Logic Programming}",
	volume        = 1722,
	year          = 1999,
}

Contents (23 items)

6 ×#functional
5 ×#source code
4 ×#lazy evaluation
4 ×#logic programming
3 ×#higher-order
3 ×#logic
2 ×#automation
2 ×#on the
2 ×#performance
2 ×#prolog

FLOPS-1999-Gonzalez-MorenoHR #functional #logic programming #semantics

Semantics and Types in Functional Logic Programming (JCGM, MTHG, MRA), pp. 1–20.

FLOPS-1999-Hinze #programming

Polytypic Programming With Ease (RH), pp. 21–36.

FLOPS-1999-CamaraoF #strict #type inference

Type Inference for Overloading without Restrictions, Declarations or Annotations (CC, LF), pp. 37–52.

FLOPS-1999-BartheS #calculus #partial evaluation

Partial Evaluation and Non-inference for Object Calculi (GB, BPS), pp. 53–67.

FLOPS-1999-Chakravarty #lazy evaluation #performance

Lazy Lexing is Fast (MMTC), pp. 68–84.

FLOPS-1999-CaballeroL #functional #parsing

A Functional-Logic Perspective on Parsing (RC, FJLF), pp. 85–99.

FLOPS-1999-Lux #encapsulation #functional #implementation #lazy evaluation #logic

Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.

FLOPS-1999-Kuhnemann #comparison #deforestation #functional #source code #transducer

Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers (AK), pp. 114–130.

FLOPS-1999-Ogawa #abstract interpretation #automation #verification

Automatic Verification Based on Abstract Interpretation (MO), pp. 131–146.

FLOPS-1999-AlpuenteFMV #functional #lazy evaluation #logic programming #source code

A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.

FLOPS-1999-VerbaetenS #analysis #logic programming #source code #termination #using

Termination Analysis of Tabled Logic Programs Using Mode and Type Information (SV, DDS), pp. 163–178.

FLOPS-1999-Ohlebusch #on the #term rewriting

On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems (EO), pp. 179–193.

FLOPS-1999-FernandezH #constraints #framework #theorem proving

An Interval Lattice-Based Constraint Solving Framework for Lattices (AJF, PMH), pp. 194–208.

FLOPS-1999-MoorS #higher-order #program transformation

Higher Order Matching for Program Transformation (OdM, GS), pp. 209–224.

FLOPS-1999-BakewellR #automation

Automated Generalisation of Function Definitions (AB, CR), pp. 225–240.

FLOPS-1999-Danvy #λ-calculus

An Extensional Characterization of λ-Lifting and λ-Dropping (OD), pp. 241–250.

FLOPS-1999-BeierleM #approximate #prolog #source code #type checking #using

Using Types as Approximations for Type Checking Prolog Programs (CB, GM), pp. 251–266.

FLOPS-1999-RidouxBM #prolog #static analysis

Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.

FLOPS-1999-JohnsonRRR #evaluation #logic programming #performance #source code

A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs (EJ, CRR, IVR, PR), pp. 284–300.

FLOPS-1999-Ohori #automaton #logic #morphism

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code (AO), pp. 300–318.

FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the

On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.

FLOPS-1999-AntoyT #higher-order

Typed Higher-Order Narrowing without Higher-Order Strategies (SA, APT), pp. 335–353.

FLOPS-1999-HanusL #functional #logic #program analysis #semantics

A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages (MH, SL), pp. 353–368.