Functional and Logic Programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / / edited by Zhenjiang Hu, Mario Rodriquez-Artalejo
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Functional and Logic Programming : 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.: | 9910143895703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 2441