You have Guest access.
Log In
Andy Gill and Terrance Swift
Front matter
1-15
On Preferring and Inspecting Abductive Models
16-30
Declarative Programming of User Interfaces
31-45
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs
46-60
Toward a Practical Module System for ACL2
61-75
Declarative Network Verification
76-90
Operational Semantics for Declarative Networking
91-106
Ad Hoc Data and the Token Ambiguity Problem
107-121
High Level Thread-Based Competitive Or-Parallelism in Logtalk
122-136
Implementing Thread Cancellation in Multithreaded Prolog Systems
137-151
Interoperating Logic Engines
152-167
High-Level Interaction with Relational Databases in Logic Programming
168-182
Typed Datalog
183-194
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell
195-208
One Table Fits All
209-223
Recycle Your Arrays!
224-238
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
239-253
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications
254-268
Layered Models Top-Down Querying of Normal Logic Programs
269-283
Secure Implementation of Meta-predicates
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info