The SCEAS System
Navigation Menu

Conferences in DBLP

Practical Aspects of Declarative Languages (PADL) (padl)
2007 (conf/padl/2007)

  1. John Hughes
    QuickCheck Testing for Fun and Profit. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:1-32 [Conf]
  2. Pedro Barahona, Ludwig Krippahl
    A Constraint Programming Approach to Bioinformatics Structural Problems. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:33-49 [Conf]
  3. Duncan Coutts, Don Stewart, Roman Leshchinskiy
    Rewriting Haskell Strings. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:50-64 [Conf]
  4. Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki
    Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:65-79 [Conf]
  5. Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller
    Algebraic Knowledge Discovery Using Haskell. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:80-93 [Conf]
  6. Per Gustafsson, Konstantinos F. Sagonas
    Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:94-108 [Conf]
  7. Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
    Automatic Incrementalization of Prolog Based Static Analyses. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:109-123 [Conf]
  8. Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla
    Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:124-139 [Conf]
  9. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Combining Static Analysis and Profiling for Estimating Execution Times. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:140-154 [Conf]
  10. Ricardo Rocha
    On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:155-169 [Conf]
  11. Beata Sarna-Starosta, C. R. Ramakrishnan
    Compiling Constraint Handling Rules for Efficient Tabled Evaluation. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:170-184 [Conf]
  12. Vítor Santos Costa
    Prolog Performance on Larger Datasets. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:185-199 [Conf]
  13. Alan H. Bond
    BAD, a Declarative Logic-Based Language for Brain Modeling. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:200-214 [Conf]
  14. Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace
    From Zinc to Design Model. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:215-229 [Conf]
  15. Chongbing Liu, Enrico Pontelli
    Inductive Logic Programming by Instance Patterns. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:230-244 [Conf]
  16. Andreas Podelski, Andrey Rybalchenko
    ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:245-259 [Conf]
  17. Claudio V. Russo
    The Joins Concurrency Library. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:260-274 [Conf]
  18. Liwen Huang, Paul Hudak, John Peterson
    HPorter: Using Arrows to Compose Parallel Processes. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:275-289 [Conf]
  19. Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser
    Coupled Schema Transformation and Data Conversion for XML and SQL. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:290-304 [Conf]
  20. Chuck C. Liang
    Aspect-Oriented Programming in Higher-Order and Linear Logic. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:305-319 [Conf]
  21. Karl Klose, Klaus Ostermann, Michael Leuschel
    Partial Evaluation of Pointcuts. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:320-334 [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