MPG.eBooks - Table of Contents: Functional and Logic Programming

Read Now

Bibliographic Details
Other Authors:	Hu, Zhenjiang (Editor), Rodriquez-Artalejo, Mario (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:	1st ed. 2002
Series:	Lecture Notes in Computer Science
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Programming Techniques Computer Science Computer Programming Artificial Intelligence
Online Access:	https://doi.org/10.1007/3-540-45788-7?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Table of Contents:

Invited Papers
Formal Methods in CafeOBJ
The Essence of XML (Preliminary Version)
To the Gates of HAL: A HAL Tutorial
Tutorial Paper
Functional Logic Design Patterns
Constraints
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints
Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms
Program Transformation and Analysis
On the Correctness of the Factoring Transformation
Lambda-Lifting in Quadratic Time
Semantics
The Well-Founded Semantics in Normal Logic Programs with Uncertainty
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
Coinductive Interpreters for Process Calculi
Rewriting
Descendants and Head Normalization of Higher-Order Rewrite Systems
Narrowing Failure in Functional Logic Programming
Compilation Techniques
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation
Dynamic-Cut with Definitional Trees
Programming Methodology
The Head Condition and Polymorphic Recursion
Structural Abstraction and Application in Logic Programming
VM?: A Functional Calculus for Scientific Discovery