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

Herbert Kuchen

Books by Herbert Kuchen (50 max)

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (Lecture Notes in Computer Science)

Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen

Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, ...