- Ricardo Rocha. On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
- Chuck Liang. Aspect-Oriented Programming in Higher-Order and Linear Logic
- Takeshi Morimoto, Yasunao Takano and Hideya Iwasaki. Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning
- Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini and Klaus Ostermann. Automatic Incrementalization of Prolog based Static Analyses
- Claudio Russo. The Joins Concurrency Library
- Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert and Germán Puebla. Verification of Java Bytecode using Analysis and Transformation of Logic Programs
- Pablo Berdaguer, Alcino Cunha, Hugo Pacheco and Joost Visser. Coupled Schema Transformation and Data Conversion for XML and SQL
- Karl Klose, Klaus Ostermann and Michael Leuschel. Partial Evaluation of Pointcuts
- Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch and Christian Müller. Algebraic Knowledge Discovery using Haskell
- Liwen Huang, Paul Hudak and John Peterson. HPorter: Using Arrows to Compose Parallel Processes
- Beata Sarna-Starosta and C.R. Ramakrishnan. Compiling Constraint Handling Rules for Efficient Tabled Evaluation
- Edison Mera, Pedro Lopez-Garcia, German Puebla, Manuel Carro and Manuel Hermenegildo. Combining Static Analysis and Profiling for Estimating Execution Times
- Per Gustafsson and Konstantinos Sagonas. Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
- Alan Bond. BAD, a declarative language for brain modeling
- Chongbinbg Liu and Enrico Pontelli. Inductive Logic Programming by Instance Patterns
- Duncan Coutts, Don Stewart and Roman Leshchinskiy. Rewriting Haskell Strings
- Vitor Santos Costa. Prolog Performance on Larger Datasets
- Reza Rafeh, Maria Garcia de la Banda, Kimbal Marriott and Mark Wallace. From Zinc to Design Model
- Andreas Podelski and Andrey Rybalchenko. ARMC: a logical choice for software model checking with abstraction refinement
Michael Hanus
Last modified: Fri Oct 6 07:08:27 CEST 2006