+612 9045 4394
 
CHECKOUT
Functional and Logic Programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: Proceedings :  5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: Proceedings - Herbert R. Kuchen

Functional and Logic Programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: Proceedings

5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: Proceedings

By: Herbert R. Kuchen (Editor), Kazunori Ueda (Editor)

Paperback Published: March 2001
ISBN: 9783540417392
Number Of Pages: 398

Share This Book:

Paperback

$135.50
or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001.The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.

Invited Papers
The Metalanguage?-Prolog and Its Implementationp. 1
A Scalable Architecture for Proof-Carrying Codep. 21
Parameterized Logic Programs where Computing Meets Learningp. 40
Functional Programming
Proving Syntactic Properties of Exceptions in an Ordered Logical Frameworkp. 61
A Higher-Order Colon Translationp. 78
Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machinep. 92
Logic Programming
A Higher-Order Logic Programming Language with Constraintsp. 108
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and Prolog - A Case-studyp. 123
An Effective Bottom-Up Semantics for First-Order Linear Logic Programsp. 138
Functional Logic Programming
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programsp. 153
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programsp. 170
Adding Linear Constrains over Real Numbers to Curryp. 185
A Complete Selection Function for Lazy Conditional Narrowingp. 201
An Abstract Machine Based System for a Lazy Narrowing Calculusp. 216
Incremental Learning of Functional Logic Programsp. 233
Types
A General Type Inference Framework for Hindley/Milner Style Systemsp. 248
Monadic Encapsulation with Stack of Regionsp. 264
Well-Typed Logic Programs Are not Wrongp. 280
Program Analysis and Transformation
A Framework for Analysis of Typed Logic Programsp. 296
Abstract Compilation for Sharing Analysisp. 311
A Practical Partial Evaluator for a Multi-Paradigm Declarative Languagep. 326
A Simple Take on Typed Abstract Syntax in ML-like Languagesp. 343
-Calculus
A Simply Typed Context Calculus with First-Class Environmentsp. 359
Refining the Barendregt Cube Using Parametersp. 375
Author Indexp. 391
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540417392
ISBN-10: 3540417397
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 398
Published: March 2001
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.13
Weight (kg): 0.57