ACM Transactions on Programming Languages and Systems (TOPLAS)
A three paradigm first course for CS majors
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Towards creating specialised integrity checks through partial evaluation of meta-interpreters
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of an efficient tactical theorem prover for the game of go
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Verifiable partial specifications for logic programming
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional and constraint logic programming
Constraints in computational logics
Information and Computation
Reasoning about nonlinear system identification
Artificial Intelligence
Translating refined logic programs to Mercury
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Reflection in conditional rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Integrating the Completion and the Well Founded Semantics
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Well-Typed Logic Programs Are not Wrong
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
The Head Condition and Polymorphic Recursion
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Program Debugging and Validation Using Semantic Approximations and Partial Specifications
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Generalization in Hierarchies of Online Program Specialization Systems
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Aspect-Oriented Logic Meta Programming
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Metaprogramming Domain Specific Metaprograms
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
UPV-CURRY: An Incremental CURRY Interpreter
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
A New Module System for Prolog
CL '00 Proceedings of the First International Conference on Computational Logic
A Denotational Semantics for First-Order Logic
CL '00 Proceedings of the First International Conference on Computational Logic
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Polymorphic directional types for logic programming
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
On logic programs that always succeed
Science of Computer Programming
Offline specialisation in Prolog using a hand-written compiler generator
Theory and Practice of Logic Programming
Classes of terminating logic programs
Theory and Practice of Logic Programming
Properties of Input-Consuming Derivations
Theory and Practice of Logic Programming
Verifying termination and error-freedom of logic programs with block declarations
Theory and Practice of Logic Programming
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
Typing constraint logic programs
Theory and Practice of Logic Programming
On termination of meta-programs
Theory and Practice of Logic Programming
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
Programming in the MPL-RM programming language
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Theory and Practice of Logic Programming
A three-valued semantics for logic programmers
Theory and Practice of Logic Programming
Using parametric set constraints for locating errors in CLP programs
Theory and Practice of Logic Programming
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
A Framework for Timed Concurrent Constraint Programming with External Functions
Electronic Notes in Theoretical Computer Science (ENTCS)
A practical type analysis for verification of modular prolog programs
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
Improving precision of type analysis using non-discriminative union
Theory and Practice of Logic Programming
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Spider vs. Prolog: computation control
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
Abstract verification and debugging of constraint logic programs
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
The use of a logic programming language in the animation of Z specifications
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A survey of automated deduction
Artificial intelligence today
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
A modular semantics for higher-order declarative programming with constraints
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Fast and accurate strong termination analysis with an application to partial evaluation
WFLP'09 Proceedings of the 18th international conference on Functional and Constraint Logic Programming
Towards the uniform implementation of declarative languages
Computer Languages
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax
Fundamenta Informaticae
Hi-index | 0.00 |