Functional and Logic Programming [[electronic resource] ] : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / / edited by Zhenjiang Hu, Mario Rodriquez-Artalejo

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002
• Edizione: 1st ed. 2002.
• Descrizione fisica: 1 online resource (X, 310 p.)
• Disciplina: 005.1/14
• Soggetto topico: Computer programming; Programming languages (Electronic computers); Computer logic; Artificial intelligence; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Artificial Intelligence
• Persona (resp. second.): HuZhenjiang; Rodriquez-ArtalejoMario
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Functional and Logic Programming
• ISBN: 3-540-45788-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465557903316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2441