Skip to main content
  • Conference proceedings
  • © 2008

Functional and Logic Programming

9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4989)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): FLOPS: International Symposium on Functional and Logic Programming

Conference proceedings info: FLOPS 2008.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

  2. Refereed Papers

    1. Constraints I

      1. Integrating Answer Set Reasoning with Constraint Solving Techniques
        • Veena S. Mellarkod, Michael Gelfond
        Pages 15-31
      2. Optimizing Compilation of CHR with Rule Priorities
        • Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck
        Pages 32-47
  3. Constructive Arithmetic

    1. Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)

      • Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan
      Pages 64-80
  4. Dependent Types

    1. On-Demand Refinement of Dependent Types

      • Hiroshi Unno, Naoki Kobayashi
      Pages 81-96
    2. Proving Properties about Lists Using Containers

      • Rawle Prince, Neil Ghani, Conor McBride
      Pages 97-112
  5. Rewriting

    1. Complexity Analysis by Rewriting

      • Martin Avanzini, Georg Moser
      Pages 130-146
    2. Rewriting and Call-Time Choice: The HO Case

      • Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández
      Pages 147-162
  6. Program Transformation

  7. Logic and Lambda-Calculus

    1. Types for Hereditary Head Normalizing Terms

      • Makoto Tatsuta
      Pages 195-209

Other Volumes

  1. Functional and Logic Programming

Keywords

  • Constraint
  • Debugging
  • curry
  • declarative arithmetic
  • delimited continuation
  • dependent types
  • expressivity
  • functional programming
  • logic
  • logic programming
  • logical relations
  • meta-programming
  • nondeterminism
  • parallel programming
  • programming

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access