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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 6

Author(s):

Luís Moniz Pereira ◽

Alexandre Miguel Pinto

Keyword(s):

Logic Programs ◽

Top Down ◽

Normal Logic ◽

Layered Models

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 4

Author(s):

Paul Tarau ◽

Arun Majumdar

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 ◽

Cited By ~ 1

Author(s):

Carl Eastlund ◽

Matthias Felleisen

Keyword(s):

Module System

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 ◽

Cited By ~ 1

Author(s):

Paulo Moura ◽

Ricardo Rocha ◽

Sara C. Madeira

Keyword(s):

High Level

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 ◽

Cited By ~ 16

Author(s):

Anduo Wang ◽

Prithwish Basu ◽

Boon Thau Loo ◽

Oleg Sokolsky

Keyword(s):

Network Verification

Download Full-text

Implementing Thread Cancellation in Multithreaded Prolog Systems

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

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

2008 ◽

pp. 122-136

Author(s):

Atef Suleiman ◽

John Miller

Download Full-text

High-Level Interaction with Relational Databases in Logic Programming

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

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

2008 ◽

pp. 152-167 ◽

Cited By ~ 1

Author(s):

António Porto

Keyword(s):

Logic Programming ◽

Relational Databases ◽

High Level

Download Full-text

Practical Aspects of Declarative Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Secure Implementation of Meta-predicates

Layered Models Top-Down Querying of Normal Logic Programs

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

One Table Fits All

Interoperating Logic Engines

Toward a Practical Module System for ACL2

High Level Thread-Based Competitive Or-Parallelism in Logtalk

Declarative Network Verification

Implementing Thread Cancellation in Multithreaded Prolog Systems

High-Level Interaction with Relational Databases in Logic Programming

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