PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Pascal's emulation of a Prolog program
SIGCSE '88 Proceedings of the nineteenth SIGCSE technical symposium on Computer science education
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A method for specializing logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computational Improvements in Prolog Applications by Predicate Variable Pointers
IEEE Transactions on Software Engineering
Using object-orientation to implement logic programming
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
SetLog, a tool for experimenting with new semantics
ACM SIGPLAN Notices
Integrating logic and object-oriented programming
ACM SIGPLAN OOPS Messenger
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Describing Prolog by its interpretation and compilation
Communications of the ACM
A Behavior Model for Next Generation Test Systems
Journal of Electronic Testing: Theory and Applications
ICSE '85 Proceedings of the 8th international conference on Software engineering
Storage management in a Prolog compiler
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
The lion and the unicorn met PROLOG
ACM SIGPLAN Notices
A New Technique for Verifying and Correcting Logic Programs
Journal of Automated Reasoning
Test-Case Generation from Prolog-Based Specifications
IEEE Software
A Parallel Execution Model of Logic Programs
IEEE Transactions on Parallel and Distributed Systems
A Parallel Solution to the Extended Set Union Problem with Unlimited Backtracking
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
A model and an implementation of a logic programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
The Test Requirements Model (TeRM) Communicating Test Information Throughout the Product Life Cycle
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Encyclopedia of Computer Science
Logic programming in artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A non-shared binding scheme for parallel prolog implementation
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Algorithms and theory of computation handbook
Hi-index | 0.02 |