Functional and logic programming

Functional and Logic Programming: 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings
Author: Herbert Kuchen, Kazunori Ueda
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41739-2
DOI: 10.1007/3-540-44716-4

Table of Contents:

• The Metalanguage λprolog and Its Implementation
• A Scalable Architecture for Proof-Carrying Code
• Parameterized Logic Programs where Computing Meets Learning
• 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
• 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
• 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
• A General Type Inference Framework for Hindley/Milner Style Systems
• Monadic Encapsulation with Stack of Regions
• Well-Typed Logic Programs Are not Wrong
• A Framework for Analysis of Typed Logic Programs
• Abstract Compilation for Sharing Analysis