Functional and logic programming :7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings
- 其他作者: Kameyama, Yukiyoshi. , Stuckey, Peter J.
- 出版: Berlin ;New York : Springer 2004.
- 稽核項: 1 online resource (x, 306 pages) :illustrations.
- 叢書名: Lecture notes in computer science,2998
- 標題: COMPUTERS , Computer Science. , Nara (2004) , Kongress , COMPUTERS Programming Languages -- General. , Programmation fonctionnelle , Programmation logique Congrès. , Programmation fonctionnelle. , Funktionale Programmierung , Programming LanguagesGeneral. , Logische Programmierung , Functional programming (Computer science) , Functional programming (Computer science) Congresses. , Electronic books. , Logic programming Congresses. , Logic programming , Programmation logique , Programmation fonctionnelle Congrès. , Programmation logique. , Engineering & Applied Sciences. , Conference papers and proceedings. , Logic programming.
- ISBN: 3540247548 , 9783540247548
- ISBN: 9783540214021 , 354021402X , 0302-9743 ;
- 試查全文@TNUA:
- 附註: Includes bibliographical references and index. 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.
- 摘要: This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004. The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
- 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=133730
- 系統號: 005318491
- 資料類型: 電子書
- 讀者標籤: 需登入
- 引用網址: 複製連結
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).
來源: Google Book
來源: Google Book
評分
