Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008988594/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract "This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15–17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12–14. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular, it aims to stimulate the cro- 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), and Tokyo (2001). The proceedings of FLOPS ’99 and FLOPS 2001 were published by Springer-Verlag as Lecture Notes in Computer Science, Vols. 1722 and 2024, respectively. There were 27 submissions, and these came from Australia (1), Brazil (1), 1 China (1), Denmark (2), Germany (1 ), Italy (1), Japan (6), Korea (1), Por- 2 2 1 1 tugal (2), Russia ( ), Spain (6), Sweden (1), the UK (2 ), and the USA ( ).".
- catalog contributor b12632566.
- catalog contributor b12632567.
- catalog contributor b12632568.
- catalog created "2002.".
- catalog date "2002".
- catalog date "2002.".
- catalog dateCopyrighted "2002.".
- catalog description "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.".
- catalog description "This volume contains the proceedings of the Sixth Fuji International Sym- sium on Functional and Logic Programming (FLOPS 2002), held in Aizu, Japan, September 15–17, 2002, hosted by the University of Aizu, and colocated with the First Asian Symposium on Partial Evaluation Semantics-Based Program Manipulation (ASIA-PEPM 2002), which was held on September 12–14. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular, it aims to stimulate the cro- 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), and Tokyo (2001). The proceedings of FLOPS ’99 and FLOPS 2001 were published by Springer-Verlag as Lecture Notes in Computer Science, Vols. 1722 and 2024, respectively. There were 27 submissions, and these came from Australia (1), Brazil (1), 1 China (1), Denmark (2), Germany (1 ), Italy (1), Japan (6), Korea (1), Por- 2 2 1 1 tugal (2), Russia ( ), Spain (6), Sweden (1), the UK (2 ), and the USA ( ).".
- catalog extent "x, 304 p. :".
- catalog identifier "3540442332 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2441".
- catalog issued "2002".
- catalog issued "2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/14 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer science.".
- catalog subject "Functional programming (Computer science) Congresses.".
- catalog subject "Logic design.".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.62 .F84 2002".
- catalog tableOfContents "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.".
- catalog title "Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings / Zhenjiang Hu, Mario Rodr iguez-Artalejo (eds.)".
- catalog type "text".