## 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)

- 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.

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

5 ×#source code

4 ×#lazy evaluation

4 ×#logic programming

3 ×#higher-order

3 ×#logic

2 ×#automation

2 ×#on the

2 ×#performance

2 ×#prolog