1 option
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / edited by Jacques Garrigue, Manuel Hermenegildo.
- Format:
- Book
- Conference/Event
- Author/Creator:
- Fuji International Symposium on Functional and Logic Programming, Corporate Author.
- Conference Name:
- Fuji International Symposium on Functional and Logic Programming
- Series:
- Programming and Software Engineering, 2945-9168 ; 4989
- Language:
- English
- Subjects (All):
- Compilers (Computer programs).
- Computer programming.
- Computer science.
- Machine theory.
- Artificial intelligence.
- Compilers and Interpreters.
- Programming Techniques.
- Computer Science Logic and Foundations of Programming.
- Formal Languages and Automata Theory.
- Artificial Intelligence.
- Local Subjects:
- Compilers and Interpreters.
- Programming Techniques.
- Computer Science Logic and Foundations of Programming.
- Formal Languages and Automata Theory.
- Artificial Intelligence.
- Physical Description:
- xi, 340p.
- Edition:
- 1st ed. 2008.
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
- Summary:
- This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.
- Contents:
- 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.
- ISBN:
- 3-540-78969-3
- OCLC:
- 233974063
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.