Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Garrigue, Jacques (Επιμελητής έκδοσης), Hermenegildo, Manuel V. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 4989
• Θέματα: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).

Πίνακας περιεχομένων:

• Invited Papers
• Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
• On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory
• Substructural Type Systems for Program Analysis
• Refereed Papers
• Integrating Answer Set Reasoning with Constraint Solving Techniques
• Optimizing Compilation of CHR with Rule Priorities
• Constructive Arithmetic
• Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base
• Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
• Dependent Types
• On-Demand Refinement of Dependent Types
• Proving Properties about Lists Using Containers
• Rewriting
• Termination of Narrowing in Left-Linear Constructor Systems
• Complexity Analysis by Rewriting
• Rewriting and Call-Time Choice: The HO Case
• Program Transformation
• Semantics and Pragmatics of New Shortcut Fusion Rules
• A Generalization of the Folding Rule for the Clark-Kunen Semantics
• Logic and Lambda-Calculus
• Types for Hereditary Head Normalizing Terms
• A New Translation for Semi-classical Theories — Backtracking without CPS
• Types
• Undoing Dynamic Typing (Declarative Pearl)
• Typed Dynamic Control Operators for Delimited Continuations
• Strictness Analysis Algorithms Based on an Inequality System for Lazy Types
• Constraints II
• Quantitative Logic Programming Revisited
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
• Debugging
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• EasyCheck — Test Data for Free.