Research Catalog

Title

Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings / Herbert Kuchen, Kazunori Ueda (eds.).

Author

Fuji International Symposium on Functional and Logic Programming.

Publication

New York : Springer, 2001.

Items in the Library & Off-site

Details

Additional Authors

• Kuchen, Herbert, 1958-
• Ueda, Kazunori.

Description

x, 389 pages : illustrations; 24 cm.

Series Statement

Lecture notes in computer science ; 2024

Uniform Title

Lecture notes in computer science ; 2024.

Subjects

• Functional programming (Computer science) > Congresses
• Logic programming > Congresses

Contents

• The Metalanguage [lambda]-Prolog and Its Implementation / Gopalan Nadathur -- A Scalable Architecture for Proof-Carrying Code / George C. Necula -- Parameterized Logic Programs where Computing Meets Learning / Taisuke Sato -- Proving Syntactic Properties of Exceptions in an Ordered Logical Framework / Jeff Polakow and Kwangkeun Yi -- A Higher-Order Colon Translation / Olivier Danvy and Lasse R. Nielsen -- Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine / Kwanghoon Choi, Hyun-il Lim and Taisook Han -- A Higher-Order Logic Programming Language with Constraints / Javier Leach and Susana Nieva -- Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and [lambda]Prolog - A Case-study / Giorgio Delzanno -- An Effective Bottom-Up Semantics for First-Order Linear Logic Programs / Marco Bozzano, Giorgio Delzanno and Maurizio Martelli --
• A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs / Jesus M. Almendros-Jimenez and Antonio Becerra-Teron -- Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs / Rafael Caballero, Francisco J. Lopez-Fraguas and Mario Rodriguez-Artalejo -- Adding Linear Constrains over Real Numbers to Curry / Wolfgang Lux -- A Complete Selection Function for Lazy Conditional Narrowing / Taro Suzuki and Aart Middeldorp -- An Abstract Machine Based System for a Lazy Narrowing Calculus / Teresa Hortala-Gonzalez and Eva Ullan -- Incremental Learning of Functional Logic Programs / Cesar Ferri-Ramirez, Jose Hernandez-Orallo and Maria Jose Ramirez-Quintana -- A General Type Inference Framework for Hindley/Milner Style Systems / Martin Sulzmann -- Monadic Encapsulation with Stack of Regions / Koji Kagawa -- Well-Typed Logic Programs Are not Wrong / Pierre Deransart and Jan-Georg Smaus --
• A Framework for Analysis of Typed Logic Programs / Vitaly Lagoon and Peter J. Stuckey -- Abstract Compilation for Sharing Analysis / Gianluca Amato and Fausto Spoto -- A Practical Partial Evaluator for a Multi-Paradigm Declarative Language / Elvira Albert, Michael Hanus and German Vidal -- A Simple Take on Typed Abstract Syntax in ML-like Languages / Olivier Danvy and Morten Rhiger -- A Simply Typed Context Calculus with First-Class Environments / Masahiko Sato, Takafumi Sakurai and Yukiyoshi Kameyama -- Refining the Barendregt Cube Using Parameters / Twan Laan, Fairouz Kamareddine and Rob Nederpelt.

ISBN

3540417397 (softcover : alk. paper)

LCCN

2001020335

OCLC

• ocm45963237
• SCSB-4107590

Owning Institutions

Columbia University Libraries