E-Book, Englisch, Band 2441, 310 Seiten, eBook
Hu / Rodriquez-Artalejo Functional and Logic Programming
Erscheinungsjahr 2003
ISBN: 978-3-540-45788-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings
E-Book, Englisch, Band 2441, 310 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-45788-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
