The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Gopalan Nadathur
    The Metalanguage lambda-Prolog and Its Implementation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:1-20 [Conf]
  2. George C. Necula
    A Scalable Architecture for Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:21-39 [Conf]
  3. Taisuke Sato
    Parameterized Logic Programs where Computing Meets Learning. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:40-60 [Conf]
  4. Jeff Polakow, Kwangkeun Yi
    Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:61-77 [Conf]
  5. Olivier Danvy, Lasse R. Nielsen
    A Higher-Order Colon Translation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:78-91 [Conf]
  6. Kwanghoon Choi, Hyun-il Lim, Taisook Han
    Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:92-107 [Conf]
  7. Javier Leach, Susana Nieva
    A Higher-Order Logic Programming Language with Constraints. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:108-122 [Conf]
  8. Giorgio Delzanno
    Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:123-137 [Conf]
  9. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:138-152 [Conf]
  10. Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón
    A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:153-169 [Conf]
  11. Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
    Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:170-184 [Conf]
  12. Wolfgang Lux
    Adding Linear Constraints over Real Numbers to Curry. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:185-200 [Conf]
  13. Taro Suzuki, Aart Middeldorp
    A Complete Selection Function for Lazy Conditional Narrowing. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:201-215 [Conf]
  14. Maria Teresa Hortalá-González, Eva Ullán
    An Abstract Machine Based System for a Lazy Narrowing Calculus. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:216-232 [Conf]
  15. César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
    Incremental Learning of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:233-247 [Conf]
  16. Martin Sulzmann
    A General Type Inference Framework for Hindley/Milner Style Systems. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:248-263 [Conf]
  17. Koji Kagawa
    Monadic Encapsulation with Stack of Regions. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:264-279 [Conf]
  18. Pierre Deransart, Jan-Georg Smaus
    Well-Typed Logic Programs Are not Wrong. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:280-295 [Conf]
  19. Vitaly Lagoon, Peter J. Stuckey
    A Framework for Analysis of Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:296-310 [Conf]
  20. Gianluca Amato, Fausto Spoto
    Abstract Compilation for Sharing Analysis. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:311-325 [Conf]
  21. Elvira Albert, Michael Hanus, Germán Vidal
    A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:326-342 [Conf]
  22. Olivier Danvy, Morten Rhiger
    A Simple Take on Typed Abstract Syntax in Haskell-like Languages. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:343-358 [Conf]
  23. Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
    A Simply Typed Context Calculus with First-Class Environments. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:359-374 [Conf]
  24. Fairouz Kamareddine, Twan Laan, Rob Nederpelt
    Refining the Barendregt Cube Using Parameters. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:375-390 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002