Conferences in DBLP

Fuji International Symposium on Functional and Logic Programming (flops)
2004 (conf/flops/2004)

1. Peter Selinger
   A Brief Survey of Quantum Programming Languages. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:1-6 [Conf]
   
2. Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
   Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:7-21 [Conf]
   
3. Carsten Schürmann
   Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:22-23 [Conf]
   
4. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
   Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:24-38 [Conf]
   
5. Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro
   Constructive Intensional Negation. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:39-54 [Conf]
   
6. Pascual Julián Iranzo, Christian Villamizar Lamus
   Analysing Definitional Trees: Looking for Determinism. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:55-69 [Conf]
   
7. Rafael Caballero, Mario Rodríguez-Artalejo
   DDT: a Declarative Debugging Tool for Functional-Logic Languages. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:70-84 [Conf]
   
8. Stephen-John Craig, Michael Leuschel
   LIX: an Effective Self-applicable Partial Evaluator for Prolog. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:85-99 [Conf]
   
9. Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
   Multivariant Non-failure Analysis via Standard Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2004, pp:100-116 [Conf]
   
10. Francisco Bueno, Maria J. García de la Banda
    Set-Sharing Is Not Always Redundant for Pair-Sharing. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:117-131 [Conf]
    
11. Lunjin Lu, Andy King
    Backward Pair Sharing Analysis. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:132-146 [Conf]
    
12. Santiago Escobar
    Implementing Natural Rewriting and Narrowing Efficiently. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:147-162 [Conf]
    
13. Mizuhito Ogawa
    Complete Axiomatization of an Algebraic Construction of Graphs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:163-179 [Conf]
    
14. Vincent van Oostrom
    Sub-Birkhoff. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:180-195 [Conf]
    
15. Jacques Garrigue
    Relaxing the Value Restriction. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:196-213 [Conf]
    
16. Tom Hirschowitz
    Rigid Mixin Modules. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:214-228 [Conf]
    
17. Masahito Hasegawa
    Semantics of Linear Continuation-Passing in Call-by-Name. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:229-243 [Conf]
    
18. Kentaro Kikuchi
    A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:244-259 [Conf]
    
19. Thorsten Altenkirch, Tarmo Uustalu
    Normalization by Evaluation for lambda^-2. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:260-275 [Conf]
    
20. Wolfram Kahl
    Basic Pattern Matching Calculi: a Fresh View on Matching Failure. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:276-290 [Conf]
    
21. Robert Glück, Masahiko Kawabe
    Derivation of Deterministic Inverse Programs Based on LR Parsing. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:291-306 [Conf]