Navigating and querying code without getting lost
Proceedings of the 2nd international conference on Aspect-oriented software development
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
A Logic Programming Framework for Rough Sets
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Aspect-Oriented Logic Meta Programming
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
A New Module System for Prolog
CL '00 Proceedings of the First International Conference on Computational Logic
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects
CL '00 Proceedings of the First International Conference on Computational Logic
A Documentation Generator for (C)LP Systems
CL '00 Proceedings of the First International Conference on Computational Logic
Cross-fertilizing logic programming and XML for knowledge representation
Knowledge media in healthcare
A Declarative Evolution Framework for Object-Oriented Design Patterns
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Protection in flexible operating system architectures
ACM SIGOPS Operating Systems Review
cTI: a constraint-based termination inference tool for ISO-Prolog
Theory and Practice of Logic Programming
Computing convex hulls with a linear solver
Theory and Practice of Logic Programming
Multi-paradigm Java-Prolog integration in tuProlog
Science of Computer Programming
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Refactoring-based support for binary compatibility in evolving frameworks
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
The architecture and design of a malleable object-oriented prolog engine
Proceedings of the 2008 ACM symposium on Applied computing
Theory and Practice of Logic Programming
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
On Just in Time Indexing of Dynamic Predicates in Prolog
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
A four-valued logic for rough set-like approximate reasoning
Transactions on rough sets VI
Automated termination analysis for logic programs with cut*
Theory and Practice of Logic Programming
Formally specified type checkers for domain specific languages: experience report
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Dependency triples for improving termination analysis of logic programs with cut
LOPSTR'10 Proceedings of the 20th international conference on Logic-based program synthesis and transformation
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Well-typed narrowing with extra variables in functional-logic programming
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Isolating process-level concerns using padus
BPM'06 Proceedings of the 4th international conference on Business Process Management
Theory and Practice of Logic Programming - Prolog Systems
A framework for reasoning with rough sets
Transactions on Rough Sets IV
A linear operational semantics for termination and complexity analysis of ISO prolog
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Control Generation by Program Transformation
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Hi-index | 0.00 |