Static analysis of linear congruence equalities among variables of a program
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Abstract interpretation and application to logic programs
Journal of Logic Programming
Inductive definitions, semantics and abstract interpretations
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Array abstractions using semantic analysis of trapezoid congruences
ICS '92 Proceedings of the 6th international conference on Supercomputing
Formal bases for dataflow analysis of logic programs
Advances in logic programming theory
Semantic analysis of shared-memory concurrent languages using abstract model-checking
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Abstract interpretation: a semantics-based tool for program analysis
Handbook of logic in computer science (vol. 4)
Formal language, grammar and set-constraint-based program analysis by abstract interpretation
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Automatic discovery of linear restraints among variables of a program
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper)
Proceedings of the International Conference on Formal Methods in Programming and Their Applications
System F and Abstract Interpretation
SAS '95 Proceedings of the Second International Symposium on Static Analysis
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Proceedings of the 7th International Conference on Computer Aided Verification
On the need for a popular formal semantics
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Operational methods in theoretical computer science
ACM Computing Surveys (CSUR)
Making abstract interpretations complete
Journal of the ACM (JACM)
Jakarta: A Toolset for Reasoning about JavaCard
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
Declarative Agent Languages and Technologies VI
S-semantics for logic programming: A retrospective look
Theoretical Computer Science
Theoretical foundations and semantics of logic programming
A 25-year perspective on logic programming
Hi-index | 0.00 |