Proceedings of the Fifth International Symposium on Functional and Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.