Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
A generalization of the differential approach to recursive query evaluation
Journal of Logic Programming
Predicate calculus and program semantics
Predicate calculus and program semantics
The C Information Abstraction System
IEEE Transactions on Software Engineering
Programming: the derivation of algorithms
Programming: the derivation of algorithms
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
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
Large-scale C++ software design
Large-scale C++ software design
A Validation of Object-Oriented Design Metrics as Quality Indicators
IEEE Transactions on Software Engineering
Design of Flexible Static Program Analyzers with PQL
IEEE Transactions on Software Engineering
A logical foundation for deductive object-oriented databases
ACM Transactions on Database Systems (TODS)
Agile Software Development: Principles, Patterns, and Practices
Agile Software Development: Principles, Patterns, and Practices
A Metrics Suite for Object Oriented Design
IEEE Transactions on Software Engineering
A Query Algebra for Program Databases
IEEE Transactions on Software Engineering
Arranging language features for more robust pattern-based crosscuts
Proceedings of the 2nd international conference on Aspect-oriented software development
Navigating and querying code without getting lost
Proceedings of the 2nd international conference on Aspect-oriented software development
Aspect-Oriented Logic Meta Programming
Reflection '99 Proceedings of the Second International Conference on Meta-Level Architectures and Reflection
Extensible Grammars for Language Specialization
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Implementing relational views of programs
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Architecture of the XL C++ browser
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Jedd: a BDD-based relational extension of Java
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
JQuery: finding your way through tangled code
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Structural Complexity of Software: An Experimental Test
IEEE Transactions on Software Engineering
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Semantics of static pointcuts in aspectJ
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Code Quality: The Open Source Perspective (Effective Software Development Series)
Code Quality: The Open Source Perspective (Effective Software Development Series)
A static aspect language for checking design rules
Proceedings of the 6th international conference on Aspect-oriented software development
ASTLOG: a language for examining abstract syntax trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A comparison of logic-based infrastructures for concern detection and extraction
Proceedings of the 3rd workshop on Linking aspect technology and evolution
Polyglot: an extensible compiler framework for Java
CC'03 Proceedings of the 12th international conference on Compiler construction
Using datalog with binary decision diagrams for program analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Expressive pointcuts for increased modularity
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
abc: an extensible AspectJ compiler
Transactions on Aspect-Oriented Software Development I
CodeQuest: scalable source code queries with datalog
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Automatic incrementalization of prolog based static analyses
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Practically Applicable Formal Methods
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
EASY meta-programming with Rascal
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
What have we learnt from deductive object-oriented database research?
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
Datalog-Based program analysis with BES and RWL
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Modular specification and checking of structural dependencies
Proceedings of the 12th annual international conference on Aspect-oriented software development
| Hi-index | 0.00 |
These notes are an introduction to .QL, an object-oriented query language for any type of structured data. We illustrate the use of .QL in assessing software quality, namely to find bugs, to compute metrics and to enforce coding conventions. The class mechanism of .QL is discussed in depth, and we demonstrate how it can be used to build libraries of reusable queries.