Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540696087, 9783540696117

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_16 ◽

2006 ◽

pp. 245-259 ◽

Author(s):

Andreas Podelski ◽

Andrey Rybalchenko

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Abstraction Refinement ◽

Download Full-text

From Zinc to Design Model

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_14 ◽

2006 ◽

pp. 215-229 ◽

Author(s):

Reza Rafeh ◽

Maria Garcia de la Banda ◽

Kim Marriott ◽

Mark Wallace

Keyword(s):

Download Full-text

Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_4 ◽

2006 ◽

pp. 65-79 ◽

Author(s):

Takeshi Morimoto ◽

Yasunao Takano ◽

Hideya Iwasaki

Keyword(s):

Exhaustive Search

Download Full-text

Partial Evaluation of Pointcuts

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_21 ◽

2006 ◽

pp. 320-334 ◽

Author(s):

Karl Klose ◽

Klaus Ostermann ◽

Michael Leuschel

Keyword(s):

Partial Evaluation

Download Full-text

Inductive Logic Programming by Instance Patterns

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_15 ◽

2006 ◽

pp. 230-244 ◽

Author(s):

Chongbing Liu ◽

Enrico Pontelli

Keyword(s):

Logic Programming ◽

Inductive Logic Programming ◽

Inductive Logic

Download Full-text

Compiling Constraint Handling Rules for Efficient Tabled Evaluation

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_11 ◽

2006 ◽

pp. 170-184 ◽

Author(s):

Beata Sarna-Starosta ◽

C. R. Ramakrishnan

Keyword(s):

Constraint Handling

Download Full-text

Algebraic Knowledge Discovery Using Haskell

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_5 ◽

2006 ◽

pp. 80-93 ◽

Author(s):

Jens Fisseler ◽

Gabriele Kern-Isberner ◽

Christoph Beierle ◽

Andreas Koch ◽

Christian Müller

Keyword(s):

Knowledge Discovery

Download Full-text

Rewriting Haskell Strings

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_3 ◽

2006 ◽

pp. 50-64 ◽

Author(s):

Duncan Coutts ◽

Don Stewart ◽

Roman Leshchinskiy

Download Full-text

Prolog Performance on Larger Datasets

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_12 ◽

2006 ◽

pp. 185-199 ◽

Author(s):

Vítor Santos Costa

Download Full-text

Verification of Java Bytecode Using Analysis and Transformation of Logic Programs

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69611-7_8 ◽

2006 ◽

pp. 124-139 ◽

Author(s):

Elvira Albert ◽

Miguel Gómez-Zamalloa ◽

Laurent Hubert ◽

Germán Puebla

Keyword(s):

Logic Programs ◽

Download Full-text