Communications of the ACM
Automated interface code generation from Ada specifications
ACM SIGAda Ada Letters
Communications of the ACM
Ushell: an environment for introduction to logic programming
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
Compile-time memory reuse in logic programming languages through update in place
ACM Transactions on Programming Languages and Systems (TOPLAS)
Desert Island Column: The Books Don't Work
Automated Software Engineering
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Efficient Negation Using Abstract Interpretation
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Semantics-Based Filtering: Logic Programming's Killer App?
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Patterns for Prolog Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Well-Typed Logic Programs Are not Wrong
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Algebraic Methods for Optimization Problems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Analyzing Separation of Duties in Petri Net Workflows
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
A Framework for Developing Embeddable Customized Logics
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Detecting Optimal Termination Conditions of Logic Programs
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
Algebraic methods for optimization problems
Algebraic and coalgebraic methods in the mathematics of program construction
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Treatment of epsilon moves in subset construction
Computational Linguistics - Special issue on finite-state methods in NLP
A computational treatment of lexical rules in HPSG as covariation in lexical entries
Computational Linguistics
On determining the consistency of partial descriptions of trees
ACL '94 Proceedings of the 32nd annual meeting on Association for Computational Linguistics
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming
Deconstructing the "math-science quest for solutions" website via logic programming
Journal of Computing Sciences in Colleges
Efficient Relational Calculation for Software Analysis
IEEE Transactions on Software Engineering
Computational Linguistics
Nontermination inference of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Relational programming with CrocoPat
Proceedings of the 28th international conference on Software engineering
The design and development of ZPL
Proceedings of the third ACM SIGPLAN conference on History of programming languages
DeSymbol: an interpretive tool for symbolic logic
Journal of Computing Sciences in Colleges
Improving prolog programs: Refactoring for prolog
Theory and Practice of Logic Programming
A Guide for Manual Construction of Difference-List Procedures
Applications of Declarative Programming and Knowledge Management
Scaling high-order character language models to gigabytes
Software '05 Proceedings of the Workshop on Software
Schema and variation: digitizing printed dictionaries
ACL-IJCNLP '09 Proceedings of the Third Linguistic Annotation Workshop
Evaluation strategies for functional logic programming
Journal of Symbolic Computation
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Approximate pruning in tabled logic programming
ESOP'03 Proceedings of the 12th European conference on Programming
Agent-oriented modelling: declarative or procedural?
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Use of logic programming for complex business rules
ICLP'05 Proceedings of the 21st international conference on Logic Programming
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Determinacy inference for logic programs
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Parallel programming with logic languages: A survey
Computer Languages
Concurrency and backtracking in Vienna Parallel Logic
Computer Languages
Real-Time persistent queues and deques with logic variables (declarative pearl)
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Mutual exclusion by interpolation
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
| Hi-index | 0.03 |