7. FLOPS 2004: Nara, Japan

Invited Papers

• Peter Selinger:
  A Brief Survey of Quantum Programming Languages. 1-6
  Electronic Edition (link) BibTeX
• Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato:
  Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. 7-21
  Electronic Edition (link) BibTeX
• Carsten Schürmann:
  Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. 22-23
  Electronic Edition (link) BibTeX

Logic and Functional-Logic Programming

• Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
  Online Justification for Tabled Logic Programs. 24-38
  Electronic Edition (link) BibTeX
• Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro:
  Constructive Intensional Negation. 39-54
  Electronic Edition (link) BibTeX
• Pascual Julián Iranzo, Christian Villamizar Lamus:
  Analysing Definitional Trees: Looking for Determinism. 55-69
  Electronic Edition (link) BibTeX

Applications

• Rafael Caballero, Mario Rodríguez-Artalejo:
  DDT: a Declarative Debugging Tool for Functional-Logic Languages. 70-84
  Electronic Edition (link) BibTeX
• Stephen-John Craig, Michael Leuschel:
  LIX: an Effective Self-applicable Partial Evaluator for Prolog. 85-99
  Electronic Edition (link) BibTeX

Program Analysis

• Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo:
  Multivariant Non-failure Analysis via Standard Abstract Interpretation. 100-116
  Electronic Edition (link) BibTeX
• Francisco Bueno, Maria J. García de la Banda:
  Set-Sharing Is Not Always Redundant for Pair-Sharing. 117-131
  Electronic Edition (link) BibTeX
• Lunjin Lu, Andy King:
  Backward Pair Sharing Analysis. 132-146
  Electronic Edition (link) BibTeX

Rewriting

• Santiago Escobar:
  Implementing Natural Rewriting and Narrowing Efficiently. 147-162
  Electronic Edition (link) BibTeX
• Mizuhito Ogawa:
  Complete Axiomatization of an Algebraic Construction of Graphs. 163-179
  Electronic Edition (link) BibTeX
• Vincent van Oostrom:
  Sub-Birkhoff. 180-195
  Electronic Edition (link) BibTeX

Types and Modules

• Jacques Garrigue:
  Relaxing the Value Restriction. 196-213
  Electronic Edition (link) BibTeX
• Tom Hirschowitz:
  Rigid Mixin Modules. 214-228
  Electronic Edition (link) BibTeX

Logic and Semantics

• Masahito Hasegawa:
  Semantics of Linear Continuation-Passing in Call-by-Name. 229-243
  Electronic Edition (link) BibTeX
• Kentaro Kikuchi:
  A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. 244-259
  Electronic Edition (link) BibTeX

Functional Programming

• Thorsten Altenkirch, Tarmo Uustalu:
  Normalization by Evaluation for lambda^-2. 260-275
  Electronic Edition (link) BibTeX
• Wolfram Kahl:
  Basic Pattern Matching Calculi: a Fresh View on Matching Failure. 276-290
  Electronic Edition (link) BibTeX
• Robert Glück, Masahiko Kawabe:
  Derivation of Deterministic Inverse Programs Based on LR Parsing. 291-306
  Electronic Edition (link) BibTeX