Keynote Address: .QL for Source Code Analysis

Authors:
Oege de Moor;Mathieu Verbaere;Elnar Hajiyev;Pavel Avgustinov;Torbjorn Ekman;Neil Ongkingco;Damien Sereni;Julian Tibble
Affiliations:
Semmle Limited, UK;Semmle Limited, UK;Semmle Limited, UK;Semmle Limited, UK;Semmle Limited, UK;Semmle Limited, UK;Semmle Limited, UK;Semmle Limited, UK
Venue:
SCAM '07 Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation
Year:
2007

Citing 0
Cited 10

Type inference for datalog and its application to query optimisation

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SyQL: an object oriented, fuzzy, temporal query language for repositories of software artifacts

Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Addressing common crosscutting problems with Arcum

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
DeFacto: Language-Parametric Fact Extraction from Source Code

Software Language Engineering
Time warp, an approach for reasoning over system histories

Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
Type inference for datalog with complex type hierarchies

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Flexible architecture conformance assessment with ConQAT

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
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
A framework for the checking and refactoring of crosscutting concepts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming language evolution via source code query languages

Proceedings of the ACM 4th annual workshop on Evaluation and usability of programming languages and tools

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential programs precisely, there are only two algorithms for precise slicing of concurrent ...