default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. FLOPS 2004: Nara, Japan
- Yukiyoshi Kameyama, Peter J. Stuckey:
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Lecture Notes in Computer Science 2998, Springer 2004, ISBN 3-540-21402-X
Invited Papers
- Peter Selinger
:
A Brief Survey of Quantum Programming Languages. 1-6 - Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato:
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. 7-21 - Carsten Schürmann:
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. 22-23
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 - Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro:
Constructive Intensional Negation. 39-54 - Pascual Julián Iranzo, Christian Villamizar Lamus:
Analysing Definitional Trees: Looking for Determinism. 55-69
Applications
- Rafael Caballero, Mario Rodríguez-Artalejo:
DDT: a Declarative Debugging Tool for Functional-Logic Languages. 70-84 - Stephen-John Craig, Michael Leuschel:
LIX: an Effective Self-applicable Partial Evaluator for Prolog. 85-99
Program Analysis
- Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo:
Multivariant Non-failure Analysis via Standard Abstract Interpretation. 100-116 - Francisco Bueno, Maria J. García de la Banda:
Set-Sharing Is Not Always Redundant for Pair-Sharing. 117-131 - Lunjin Lu, Andy King:
Backward Pair Sharing Analysis. 132-146
Rewriting
- Santiago Escobar:
Implementing Natural Rewriting and Narrowing Efficiently. 147-162 - Mizuhito Ogawa:
Complete Axiomatization of an Algebraic Construction of Graphs. 163-179 - Vincent van Oostrom:
Sub-Birkhoff. 180-195
Types and Modules
- Jacques Garrigue:
Relaxing the Value Restriction. 196-213 - Tom Hirschowitz:
Rigid Mixin Modules. 214-228
Logic and Semantics
- Masahito Hasegawa:
Semantics of Linear Continuation-Passing in Call-by-Name. 229-243 - Kentaro Kikuchi:
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. 244-259
Functional Programming
- Thorsten Altenkirch, Tarmo Uustalu:
Normalization by Evaluation for lambda-2. 260-275 - Wolfram Kahl:
Basic Pattern Matching Calculi: a Fresh View on Matching Failure. 276-290 - Robert Glück, Masahiko Kawabe:
Derivation of Deterministic Inverse Programs Based on LR Parsing. 291-306
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-18 00:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
