The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase abstract interpretation (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-1987 (21) 1988 (15) 1989-1990 (26) 1991 (35) 1992 (52) 1993 (52) 1994 (45) 1995 (26) 1996 (29) 1997 (30) 1998 (34) 1999 (38) 2000 (24) 2001 (28) 2002 (76) 2003 (68) 2004 (95) 2005 (106) 2006 (84) 2007 (84) 2008 (92) 2009 (77) 2010 (65) 2011 (51) 2012 (57) 2013 (75) 2014 (48) 2015 (49) 2016 (50) 2017 (57) 2018 (45) 2019 (33)
Publication types (Num. hits)
article(284) book(4) incollection(5) inproceedings(1328) phdthesis(27) proceedings(19)
Venues (Conferences, Journals, ...)
VMCAI(502) SAS(100) ACM Trans. Program. Lang. Syst...(40) POPL(38) CoRR(35) ESOP(32) Electr. Notes Theor. Comput. S...(27) PLILP(26) Festschrift for Dave Schmidt(25) PEPM(24) Theor. Comput. Sci.(20) CAV(17) APLAS(16) PLDI(16) ICLP(15) LOPSTR(15) More (+10 of total 345)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1048 occurrences of 409 keywords

Results
Found 1667 publication records. Showing 1667 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
93Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han Goal-directed weakening of abstract interpretation results. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
85Alan Mycroft Completeness and predicate-based abstract interpretation. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
78Jan Midtgaard, Thomas P. Jensen Control-flow analysis of function calls and returns by abstract interpretation. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
74Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Abstract Interpretation with Specialized Definitions. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
73Roberto Giacobazzi, Elisa Quintarelli Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
70Francesco Ranzato, Francesco Tapparo Strong Preservation as Completeness in Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
69Alessandro Fantechi, Stefania Gnesi, Diego Latella Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
67Gerda Janssens, Wim Simoens On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. Search on Bibsonomy CC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
67Francesco Ranzato, Francesco Tapparo Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67Mila Dalla Preda, Roberto Giacobazzi Semantic-Based Code Obfuscation by Abstract Interpretation. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation
66Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Making abstract domains condensing. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic program analysis, abstract interpretation, completeness, linear logic, condensation, Abstract domain
66Roberto Giacobazzi, Isabella Mastroeni Adjoining Declassification and Attack Models by Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
66Frank Huch Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF distributed system, model checking, verification, abstract interpretation, Erlang
65Matthew Might, Benjamin Chambers, Olin Shivers Model Checking Via GammaCFA. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF abstract counting, abstract garbage collection, ?CFA, static analysis, Abstract interpretation, higher-order languages
65Roberto Giacobazzi, Isabella Mastroeni Domain Compression for Complete Abstractions. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
63Mila Dalla Preda, Roberto Giacobazzi Control Code Obfuscation by Abstract Interpretation. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
62Bor-Yuh Evan Chang, K. Rustan M. Leino Abstract Interpretation with Alien Expressions and Heap Structures. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
62Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato Complementation in Abstract Interpretation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF functional and logic programming, program analysis, abstract interpretation, closure operator, complementation, abstract domain
62Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF logic programming, program analysis, abstract interpretation
61Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi A framework for abstract interpretation of timed concurrent constraint programs. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
61Patricia M. Hill, Fausto Spoto Deriving escape analysis by abstract interpretation. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Garbage collection, Abstract interpretation, Denotational semantics
61Roberto Giacobazzi, Isabella Mastroeni Abstract non-interference: parameterizing non-interference by abstract interpretation. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstract interpretation, language-based security, non-interference, abstract domains
61Xavier Rival Abstract Interpretation-Based Certification of Assembly Code. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF compilation, Abstract Interpretation, Static program analysis
59Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck Abstract interpretation for constraint handling rules. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract interpretation, constraint handling rules
59Soonho Kong, Wontae Choi, Kwangkeun Yi Abstract parsing for two-staged languages with concatenation. Search on Bibsonomy GPCE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-staged languages, program analysis, abstract interpretation, parsing
58Michael Leuschel A framework for the integration of partial evaluation and abstract interpretation of logic programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logic programming, program transformation, abstract interpretation, partial evaluation, flow analysis, Partial deduction
58Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization
58Baudouin Le Charlier, Pascal Van Hentenryck Experimental Evaluation of a Generic Abstract Interpretation Algorithm for PROLOG. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fixpoint algorithm, PROLOG, Prolog, abstract interpretation
58Sebastian Hunt, Isabella Mastroeni The PER Model of Abstract Non-interference. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF abstract interpretation, Information flow, language-based security, non-interference
57Roberta Gori, Giorgio Levi An Experiment in Type Inference and Verification by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Elvira Albert, Germán Puebla, Manuel V. Hermenegildo Abstraction-Carrying Code: a Model for Mobile Code Safety. Search on Bibsonomy New Generation Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mobile Code Safety, Logic Programming, Static Analysis, Abstract Interpretation, Program Verification
56Fosca Giannotti, Manuel V. Hermenegildo A Technique for Recursive Invariance Detection and Selective Program Specification. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Cycle Invariant Detection, Compile-time Optimization, Logic Programming, Program Transformation, Abstract Interpretation, Program Specialization, Parallel Logic Programming
55Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco Checking security of Java bytecode by abstract interpretation. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF security, Java, abstract interpretation, information flow, Java bytecode
55Roberta Gori An Abstract Interpretation Approach to Termination of Logic Programs. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Infinite derivations, Universal termination, Logic programming, Abstract interpretation
54Shmuel Sagiv On the Expressive Power of Canonical Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
54Renganathan Sundararajan, John S. Conery An Abstract Interpretation Scheme for Groundedness, Freeness, and Sharing Analysis of Logic Programs. Search on Bibsonomy FSTTCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF logic programming, abstract interpretation, groundness analysis, sharing analysis
53Patrick Cousot, Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Search on Bibsonomy POPL The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
52Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi Distinctness and Sharing Domains for Static Analysis of Java Programs. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
52Roberto Giacobazzi, Francesca Scozzari A Logical Model for Relational Abstract Domains. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Heyting completion, condensing analysis, directional types, reduced cardinal power, static analysis, abstract interpretation, constraint logic programming, domains, closure operators, intuitionistic logic
52Dominique Cansell, Dominique Méry Abstract Animator for Temporal Specifications: Application to TLA. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
52Ulf Nilsson Abstract Interpretation: A Kind of Magic. (long version: TCS 142(1): 125-139 (1995)) Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
51Thomas P. Jensen, Fausto Spoto Class Analysis of Object-Oriented Programs through Abstract Interpretation. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis
51Francesco Ranzato, Francesco Tapparo An Abstract Interpretation Perspective on Linear vs. Branching Time. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51John P. Gallagher, Germán Puebla Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
51Antoine Miné The octagon abstract domain. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation
51Hyoung Seok Hong, Insup Lee, Oleg Sokolsky Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. Search on Bibsonomy SCAM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
50Nicoletta De Francesco, Luca Martini Instruction-level security typing by abstract interpretation. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Abstract interpretation, Information flow, Language based security
50Patrick Cousot, Radhia Cousot An abstract interpretation-based framework for software watermarking. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing
50Roberto Giacobazzi, Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF directional types, logic programming, static analysis, Abstract interpretation, domains, intuitionistic logic
50Roberto Giacobazzi A Tutorial on Domain Theory in Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
50Michel Ferreira, Luís Damas WAM Local Analysis. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Prolog Compilation, Multiple Specialization, Abstract Interpretation
49Florian Martin 0001 PAG - An Efficient Program Analyzer Generator. Search on Bibsonomy STTT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
48Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla Abstraction carrying code and resource-awareness. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness
48Roberto Giacobazzi, Isabella Mastroeni Non-Standard Semantics for Program Slicing. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF reduced power, transfinite semantics, semantics, abstract interpretation, program slicing, compositional semantics, program manipulation
48Charles Hymans Verification of an Error Correcting Code by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
47Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo Efficient Negation Using Abstract Interpretation. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
47Nicolas Halbwachs, Mathias Péron Discovering properties about arrays in simple programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF sentinel, invariant synthesis, abstract interpretation, program verification, arrays, sorting algorithms
47Jérôme Feret The Arithmetic-Geometric Progression Abstract Domain. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF numerical domains, static analysis, Abstract Interpretation
46Francesco Ranzato, Francesco Tapparo An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Robert Muller, Yuli Zhou Abstract Interpretation in Weak Powerdomains. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
45Xavier Allamigeon Static analysis of memory manipulations by abstract interpretation - Algorithmics of tropical polyhedra, and application to abstract interpretation. (Analyse statique de manipulations de mémoire par interprétation abstraite - Algorithmique des polyèdres tropicaux, et application à l'interprétation abstraite). Search on Bibsonomy 2009   RDF
44Mila Dalla Preda Completeness Refinement in Abstract Symbolic Trajectory Evaluation. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation
44Germán Puebla, Manuel V. Hermenegildo Abstract specialization and its applications. Search on Bibsonomy PEPM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic programming, static analysis, abstract interpretation, partial evaluation, program optimization, program specialization, program parallelization
44Patricia M. Hill, Roberto Bagnara, Enea Zaffanella The Correctness of Set-Sharing. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF occur-check, rational trees, set-sharing, logic programming, abstract interpretation
44Roberto Giacobazzi, Isabella Mastroeni Transforming Abstract Interpretations by Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
44Johannes Kinder, Florian Zuleger, Helmut Veith An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Francesco Logozzo Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. Search on Bibsonomy VMCAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Cinzia Bernardeschi, Nicoletta De Francesco Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Roberto Giacobazzi, Isabella Mastroeni Timed Abstract Non-interference. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF security, Abstract interpretation, non-interference, timing channels
43Roberto Giacobazzi, Isabella Mastroeni Proving Abstract Non-interference. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstract non-interference, verification, Abstract interpretation, language-based security
43Paolo Volpe Abstractions of Uniform Proofs. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF uniform proofs, inference rule systems, abstract interpretation
43Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci Decomposing bytecode verification by abstract interpretation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Abstract interpretation, bytecode verification
43Zhang Hong, Liu Lei An Abstract Interpretation Frame of the Calculus of Boxed Ambients Based on the Ambient Occurrence Counting. Search on Bibsonomy ISECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Boxed Ambients, the ambient occurrence counting, abstract interpretation
43Pietro Ferrara Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
43Chiara Bodei, Pierpaolo Degano, Corrado Priami Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
43Lunjin Lu A Mode Analysis of Logic Programs by Abstract Interpretation. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Abstract Unification, Abstract Interpretation, Sharing, Aliasing, Mode
43Kim Marriott, Harald Søndergaard, Neil D. Jones Denotational Abstract Interpretation of Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
43Prakash Panangaden Abstract Interpretation and Indeterminacy. Search on Bibsonomy Seminar on Concurrency The full citation details ... 1984 DBLP  DOI  BibTeX  RDF indeterminate operators, hiatons, dataflow networks, fairness, abstract interpretation
42Reinhard Wilhelm, Björn Wachter Abstract Interpretation with Applications to Timing Validation. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Sunae Seo, Hongseok Yang, Kwangkeun Yi Automatic Construction of Hoare Proofs from Abstract Interpretation Results. Search on Bibsonomy APLAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Geoffrey L. Burn A Relationship Between Abstract Interpretation and Projection Analysis. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
41Jichang Tan, I-Peng Lin Compiling Dataflow Analysis of Logic Programs. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Prolog
41Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. Search on Bibsonomy SAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF logic programming, filtering, abstract interpretation, bottom-up evaluation
41Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo A Forward-Backward Abstraction Refinement Algorithm. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Gianluca Amato, Fausto Spoto Abstract Compilation for Sharing Analysis. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF linear refinement, logic programming, Abstract interpretation, linear logic, domain theory
40Patrick Cousot Automatic Verification by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Damien Massé Property Checking Driven Abstract Interpretation-Based Static Analysis. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Roberto Giacobazzi "Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. Search on Bibsonomy STACS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
40Agostino Cortesi, Gilberto Filé, William H. Winsborough Comparison of Abstract Interpretations. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
40David Monniaux Automatic modular abstractions for linear constraints. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF program transformation, abstract interpretation, quantifier elimination, linear inequalities
40Fausto Spoto, Thomas P. Jensen Class analyses as abstract interpretations of trace semantics. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Abstract interpretation, denotational semantics, class analysis
40Antoine Miné The Octagon Abstract Domain. Search on Bibsonomy WCRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF linear invariants, abstract interpretation, safety analysis, abstract domains, static analysis tools
40Maria Handjieva, Stanislav Tzolovski Refining Static Analyses by Trace-Based Partitioning Using Control Flow. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF reduced cardinal power, abstract interpretation, trace semantics
40Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens Global Analysis of Constraint Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF global program analysis, program analysis, abstract interpretation, constraint logic programming
39Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi Opaque Predicates Detection by Abstract Interpretation. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Reinhard Wilhelm Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Giorgio Levi, Paolo Volpe Derivation of Proof Methods by Abstract Interpretation. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Danny De Schreye, Maurice Bruynooghe An Application of Abstract Interpretation in Source Level Program Transformation. Search on Bibsonomy PLILP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
38Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Vincent Laviron, Francesco Logozzo Refining Abstract Interpretation-Based Static Analyses with Hints. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1667 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license