Vai al contenuto principale della pagina

Functional and Logic Programming [[electronic resource] ] : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / / edited by Yukiyoshi Kameyama, Peter J. Stuckey



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Functional and Logic Programming [[electronic resource] ] : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / / edited by Yukiyoshi Kameyama, Peter J. Stuckey Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004
Edizione: 1st ed. 2004.
Descrizione fisica: 1 online resource (X, 307 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.): KameyamaYukiyoshi
StuckeyPeter J
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di bibliografia: Includes bibliographical references at the end of each chapters and index.
Nota di contenuto: Invited Papers -- A Brief Survey of Quantum Programming Languages -- Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic -- Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework -- Refereed Papers Logic and Functional-Logic Programming -- Online Justification for Tabled Logic Programs -- Constructive Intensional Negation -- Analysing Definitional Trees: Looking for Determinism -- Applications -- : a Declarative Debugging Tool for Functional-Logic Languages -- LIX: an Effective Self-applicable Partial Evaluator for Prolog -- Program Analysis -- Multivariant Non-failure Analysis via Standard Abstract Interpretation -- Set-Sharing Is Not Always Redundant for Pair-Sharing -- Backward Pair Sharing Analysis -- Rewriting -- Implementing Natural Rewriting and Narrowing Efficiently -- Complete Axiomatization of an Algebraic Construction of Graphs -- Sub-Birkhoff -- Types and Modules -- Relaxing the Value Restriction -- Rigid Mixin Modules -- Logic and Semantics -- Semantics of Linear Continuation-Passing in Call-by-Name -- A Direct Proof of Strong Normalization for an Extended Herbelin’s Calculus -- Functional Programming -- Normalization by Evaluation for ? ?2 -- Basic Pattern Matching Calculi: a Fresh View on Matching Failure -- Derivation of Deterministic Inverse Programs Based on LR Parsing.
Sommario/riassunto: This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7–9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional programming and logic programming. In particular it aims to stimulate the cross-fertilization as well as the integration of the two paradigms. The previous FLOPS meetings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999),Tokyo(2001)and Aizu (2002). The proceedings of FLOPS 1999,FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted electronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at the conference. In addition to the 18 contributed papers, the symposium included talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur ¨ mann (Yale University), and Peter Selinger (University of Ottawa).
Titolo autorizzato: Functional and Logic Programming  Visualizza cluster
ISBN: 1-280-30803-6
9786610308033
3-540-24754-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996465565003316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilitĂ  qui
Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 2998