The term retrieval abstract machine
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
Functions as passive constraints in LIFE
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Practical program analysis using general purpose logic programming systems—a case study
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Parameter passing and control stack management in Prolog implementation revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
Memory management for Prolog with tabling
Proceedings of the 1st international symposium on Memory management
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
An abstract machine for tabled execution of fixed-order stratified logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing compilation of CLP( R )
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing term rewriting using discrimination nets with specialization
Proceedings of the 1999 ACM symposium on Applied computing
Compile-time memory reuse in logic programming languages through update in place
ACM Transactions on Programming Languages and Systems (TOPLAS)
Segment order preserving copying garbage collection for WAM based Prolog
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
The GNU Prolog system and its implementation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Efficient memory management in a merged heap/stack prolog machine
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM Computing Surveys (CSUR)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining an improvement to PARMA trailing with trailing analysis
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
The Use of Lemmas in the Model Elimination Procedure
Journal of Automated Reasoning
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
IEEE Transactions on Knowledge and Data Engineering
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Multiple Specialization of WAM Code
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
CHAT: The Copy-Hybrid Approach to Tabling
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
GNU Prolog: Beyond Compiling Prolog to C
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Segment Order Preserving and Generational Garbage Collection for Prolog
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Garbage Collection Algorithms for Java-Based Prolog Engines
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
IDEAL '02 Proceedings of the Third International Conference on Intelligent Data Engineering and Automated Learning
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
So Many WAM Variations, So Little Time
CL '00 Proceedings of the First International Conference on Computational Logic
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Instruction merging and specialization in the SICStus Prolog virtual machine
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Vmgen: a generator of efficient virtual machine interpreters
Software—Practice & Experience
Handbook of automated reasoning
A front-end to deductive database systems for multiparadigm programming
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Compilation of Disjunctive Logic Programs Using an Extended WAM
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A simple model of prolog's performance: extensional predicates
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
The LiLFeS Abstract Machine and its evaluation with the LinGO grammar
Natural Language Engineering
A compact architecture for dialogue management based on scripts and meta-outputs
ANLC '00 Proceedings of the sixth conference on Applied natural language processing
LiLFeS: towards a practical HPSG parser
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Deconstructing the "math-science quest for solutions" website via logic programming
Journal of Computing Sciences in Colleges
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
An Embedded Microprocessor for Intelligent Control
Journal of Intelligent and Robotic Systems
A treatment of higher-order features in logic programming
Theory and Practice of Logic Programming
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Measure for measure: towards increased component comparability and exchange
New developments in parsing technology
Towards a formal foundation for domain specific modeling languages
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Theory and Practice of Logic Programming
Journal of Parallel and Distributed Computing
Status report: hot pickles, and how to serve them
ML '07 Proceedings of the 2007 workshop on Workshop on ML
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing tag scheme variations using an abstract machine generator
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Towards execution time estimation in abstract machine-based languages
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Translating owl and semantic web rules into prolog: Moving toward description logic programs
Theory and Practice of Logic Programming
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Fundamenta Informaticae - Machines, Computations and Universality, Part I
A Similarity-Based WAM for Bousi~Prolog
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
A declarative semantics for Bousi~Prolog
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Attributed Data for CHR Indexing
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
The Graph Programming Language GP
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Improving the efficiency of inductive logic programming through the use of query packs
Journal of Artificial Intelligence Research
Abstract interpretation of resolution-based semantics
Theoretical Computer Science
On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling*
Theory and Practice of Logic Programming
Integrated symbol table, engine and heap memory management in multi-engine prolog
Proceedings of the international symposium on Memory management
Logic Java: combining object-oriented and logic programming
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Argumentation-Supported information distribution in a multiagent system for knowledge management
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Compact lists for tabled evaluation
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
An embedded systems programming environment for c
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
Theory and Practice of Logic Programming - Prolog Systems
On the implementation of gnu prolog
Theory and Practice of Logic Programming - Prolog Systems
Simple, effective code-size reduction for functional programs
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Grammatical development with XMG
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Prolog performance on larger datasets
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Multi-threading inside prolog for knowledge-based enterprise applications
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
A segment-swapping approach for executing trapped computations
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
The chemical machine: an interpreter for the higher order chemical language
Euro-Par'11 Proceedings of the 2011 international conference on Parallel Processing
Implementing polymorphic typing in a logic programming language
Computer Languages
Towards the uniform implementation of declarative languages
Computer Languages
Fundamenta Informaticae - Machines, Computations and Universality, Part I
An improved proof-theoretic compilation of logic programs
Theory and Practice of Logic Programming
Lightweight compilation of (c)lp to javascript*
Theory and Practice of Logic Programming
| Hi-index | 0.00 |