Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Fuji International Symposium on Functional and Logic Programming (6 ; 2002 ; Aizu
Daigaku, Japan)
Titre(s) : Functional and logic programming [Texte électronique] : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings / Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.)
Publication : Berlin ; New York : Springer, cop. 2002
Description matérielle : 1 online resource (x, 304 pages)
Collection : Lecture notes in computer science ; 2441
Note(s) : Includes bibliographical references and index
This book constitutes the refereed proceedings of the 6th International Symposium
on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September
2002. The 15 revised full papers presented together with 3 full invited papers were
carefully reviewed and selected from 27 submissions. The papers are organized in topical
sections on constraint programming, program transformation and analysis, semantics,
rewriting, compilation techniques, and programming methodology
Autre(s) auteur(s) : Hu, Zhenjiang (1966-....). Fonction indéterminée
Rodríguez Artalejo, Mario. Fonction indéterminée
Sujet(s) : Informatique
Langages de programmation
Programmation (informatique)
Intelligence artificielle
Programmation fonctionnelle (informatique)
Programmation logique
Indice(s) Dewey :
005.114 (23e éd.) = Programmation fonctionnelle (informatique)
Identifiants, prix et caractéristiques : ISBN 9783540457886
Identifiant de la notice : ark:/12148/cb44690997m
Notice n° :
FRBNF44690997
(notice reprise d'un réservoir extérieur)
Table des matières : 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 Definiti