The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Julio Mariño: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Julio Mariño, Juan José Moreno-Navarro
    Recovering Sequentiality in Functional-Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:137-150 [Conf]
  2. Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín
    Adding Type Classes to Functional-Logic Languages. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:427-438 [Conf]
  3. 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]
  4. Julio Mariño, Juan José Moreno-Navarro
    Using Static Analysis to Compile Non-sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:614- [Conf]
  5. Julio Mariño, Juan José Moreno-Navarro
    Using Static Analysis to Compile Non-sequential Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:63-80 [Conf]
  6. Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:85-106 [Conf]
  7. Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Partial Predicates for Demand Analysis. [Citation Graph (0, 0)][DBLP]
    WFLP, 2000, pp:324-339 [Conf]
  8. Emilio Jesús Gallego Arias, Julio Mariño
    An overview of the Sloth2005 curry system: system description. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:66-69 [Conf]
  9. Julio Mariño, José María Rey
    Adding constraints to curry via flat guards. [Citation Graph (0, 0)][DBLP]
    WCFLP, 2005, pp:14-22 [Conf]
  10. Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
    Demand Analysis with Partial Predicates [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  11. Modeling Concurrent Systems with Shared Resources. [Citation Graph (, )][DBLP]


  12. Automatic Coding Rule Conformance Checking Using Logic Programs [Citation Graph (, )][DBLP]


  13. A Coding Rule Conformance Checker Integrated into GCC. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002