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

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540929949, 9783540929956

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Secure Implementation of Meta-predicates

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

10.1007/978-3-540-92995-6_19 ◽

2008 ◽

pp. 269-283 ◽

Author(s):

Paulo Moura

Keyword(s):

Secure Implementation

Download Full-text

Layered Models Top-Down Querying of Normal Logic Programs

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

10.1007/978-3-540-92995-6_18 ◽

2008 ◽

pp. 254-268 ◽

Author(s):

Luís Moniz Pereira ◽

Alexandre Miguel Pinto

Keyword(s):

Logic Programs ◽

Top Down ◽

Normal Logic ◽

Download Full-text

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications

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

10.1007/978-3-540-92995-6_17 ◽

2008 ◽

pp. 239-253 ◽

Author(s):

Dang-Vien Tran ◽

Hoang-Khoi Nguyen ◽

Enrico Pontelli ◽

Tran Cao Son

Keyword(s):

Static Analysis

Download Full-text

One Table Fits All

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

10.1007/978-3-540-92995-6_14 ◽

2008 ◽

pp. 195-208 ◽

Author(s):

Jorge Costa ◽

Ricardo Rocha

Download Full-text

Interoperating Logic Engines

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

10.1007/978-3-540-92995-6_10 ◽

2008 ◽

pp. 137-151 ◽

Author(s):

Paul Tarau ◽

Arun Majumdar

Download Full-text

High Level Thread-Based Competitive Or-Parallelism in Logtalk

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

10.1007/978-3-540-92995-6_8 ◽

2008 ◽

pp. 107-121 ◽

Author(s):

Paulo Moura ◽

Ricardo Rocha ◽

Sara C. Madeira

Keyword(s):

Download Full-text

Toward a Practical Module System for ACL2

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

10.1007/978-3-540-92995-6_4 ◽

2008 ◽

pp. 46-60 ◽

Author(s):

Carl Eastlund ◽

Matthias Felleisen

Keyword(s):

Download Full-text

Declarative Network Verification

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

10.1007/978-3-540-92995-6_5 ◽

2008 ◽

pp. 61-75 ◽

Author(s):

Anduo Wang ◽

Prithwish Basu ◽

Boon Thau Loo ◽

Oleg Sokolsky

Keyword(s):

Network Verification

Download Full-text

Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell

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

10.1007/978-3-540-92995-6_13 ◽

2008 ◽

pp. 183-194 ◽

Author(s):

Ketil Malde ◽

Bryan O’Sullivan

Keyword(s):

Sequence Analysis ◽

Large Scale ◽

Gene Sequence ◽

Bloom Filters ◽

Gene Sequence Analysis

Download Full-text

Operational Semantics for Declarative Networking

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

10.1007/978-3-540-92995-6_6 ◽

2008 ◽

pp. 76-90 ◽

Author(s):

Juan A. Navarro ◽

Andrey Rybalchenko

Keyword(s):

Operational Semantics

Download Full-text