Functional and Logic Programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings / edited by Herbert Kuchen, Kazunori Ueda.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kuchen, Herbert (Editor), Ueda, Kazunori (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	Lecture Notes in Computer Science, 2024 Springer eBook Collection.
Subjects:	Programming languages (Electronic computers). Computer programming. Computer logic. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Invited Papers
The Metalanguage ?prolog and Its Implementation
A Scalable Architecture for Proof-Carrying Code
Parameterized Logic Programs where Computing Meets Learning
Functional Programming
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
A Higher-Order Colon Translation
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine
Logic Programming
A Higher-Order Logic Programming Language with Constraints
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and ?Prolog ? A Case-study ?
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
Functional Logic Programming
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
Adding Linear Constraints over Real Numbers to Curry
A Complete Selection Function for Lazy Conditional Narrowing
An Abstract Machine Based System for a Lazy Narrowing Calculus
Incremental Learning of Functional Logic Programs
Types
A General Type Inference Framework for Hindley/Milner Style Systems
Monadic Encapsulation with Stack of Regions
Well-Typed Logic Programs Are not Wrong
Program Analysis and Transformation
A Framework for Analysis of Typed Logic Programs
Abstract Compilation for Sharing Analysis
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
A Simple Take on Typed Abstract Syntax in Haskell-like Languages
Calculus
A simply typed context calculus with first-class environments
Refining the Barendregt Cube using Parameters.

Functional and Logic Programming 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings / edited by Herbert Kuchen, Kazunori Ueda.

Similar Items