Herbert Kuchen, Kazunori Ueda
Proceedings of the Fifth International Symposium on Functional and Logic Programming
FLOPS, 2001.

@proceedings{FLOPS-2001,
	address       = "Tokyo, Japan",
	editor        = "Herbert Kuchen and Kazunori Ueda",
	isbn          = "3-540-41739-7",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Symposium on Functional and Logic Programming}",
	volume        = 2024,
	year          = 2001,
}

Contents (24 items)

8 ×#logic programming
8 ×#source code
4 ×#framework
4 ×#functional
4 ×#lazy evaluation
2 ×#analysis
2 ×#bottom-up
2 ×#calculus
2 ×#compilation
2 ×#constraints

FLOPS-2001-Nadathur #implementation #metalanguage #prolog

The Metalanguage λ-Prolog and Its Implementation (GN), pp. 1–20.

FLOPS-2001-Necula #architecture #scalability

A Scalable Architecture for Proof-Carrying Code (GCN), pp. 21–39.

FLOPS-2001-Sato #learning #logic programming #source code

Parameterized Logic Programs where Computing Meets Learning (TS), pp. 40–60.

FLOPS-2001-PolakovY #exception #framework #logic #order #proving

Proving Syntactic Properties of Exceptions in an Ordered Logical Framework (JP, KY), pp. 61–77.

FLOPS-2001-DanvyN #higher-order

A Higher-Order Colon Translation (OD, LRN), pp. 78–91.

FLOPS-2001-ChoiLH #compilation #functional #java #lazy evaluation #source code #virtual machine

Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine (KC, HiL, TH), pp. 92–107.

FLOPS-2001-LeachN #constraints #higher-order #logic programming #programming language

A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.

FLOPS-2001-Delzanno #case study #debugging #prolog #protocol #security #specification

Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and λ Prolog — A Case-study (GD), pp. 123–137.

FLOPS-2001-BozzanoDM #bottom-up #effectiveness #first-order #linear #logic programming #semantics #source code

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs (MB, GD, MM), pp. 138–152.

FLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #functional #logic programming #source code

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.

FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.

FLOPS-2001-Lux #constraints #linear

Adding Linear Constraints over Real Numbers to Curry (WL), pp. 185–200.

FLOPS-2001-SuzukiM #lazy evaluation

A Complete Selection Function for Lazy Conditional Narrowing (TS, AM), pp. 201–215.

FLOPS-2001-Hortala-GonzalezU #automaton #calculus #lazy evaluation

An Abstract Machine Based System for a Lazy Narrowing Calculus (MTHG, EU), pp. 216–232.

FLOPS-2001-Ferri-RamirezHR #functional #incremental #learning #logic programming #source code

Incremental Learning of Functional Logic Programs (CF, JHO, MJRQ), pp. 233–247.

FLOPS-2001-Sulzmann #framework #type inference

A General Type Inference Framework for Hindley/Milner Style Systems (MS), pp. 248–263.

FLOPS-2001-Kagawa #encapsulation #monad #stack

Monadic Encapsulation with Stack of Regions (KK), pp. 264–279.

FLOPS-2001-DeransartS #logic programming #source code

Well-Typed Logic Programs Are not Wrong (PD, JGS), pp. 280–295.

FLOPS-2001-LagoonS #analysis #framework #logic programming #source code

A Framework for Analysis of Typed Logic Programs (VL, PJS), pp. 296–310.

FLOPS-2001-AmatoS #analysis #compilation

Abstract Compilation for Sharing Analysis (GA, FS), pp. 311–325.

FLOPS-2001-AlbertHV #declarative #multi

A Practical Partial Evaluator for a Multi-Paradigm Declarative Language (EA, MH, GV), pp. 326–342.

FLOPS-2001-DanvyR #haskell #syntax

A Simple Take on Typed Abstract Syntax in Haskell-like Languages (OD, MR), pp. 343–358.

FLOPS-2001-SatoSK #calculus

A Simply Typed Context Calculus with First-Class Environments (MS, TS, YK), pp. 359–374.

FLOPS-2001-KamareddineLN #parametricity #using

Refining the Barendregt Cube Using Parameters (FK, TL, RN), pp. 375–390.