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 (28) 1991 (35) 1992 (52) 1993 (53) 1994 (46) 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 (46) 2019 (45)
Publication types (Num. hits)
article(290) book(4) incollection(6) inproceedings(1337) phdthesis(28) proceedings(19)
Venues (Conferences, Journals, ...)
VMCAI(502) SAS(100) ACM Trans. Program. Lang. Syst...(40) CoRR(40) POPL(38) ESOP(32) Electr. Notes Theor. Comput. S...(27) PLILP(26) Festschrift for Dave Schmidt(25) PEPM(24) Theor. Comput. Sci.(20) CAV(17) PLDI(17) APLAS(16) ICLP(15) LOPSTR(15) More (+10 of total 348)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1048 occurrences of 409 keywords

Results
Found 1684 publication records. Showing 1684 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
86Sunae 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
77Alan Mycroft Completeness and predicate-based abstract interpretation. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
73Jan 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
67Germá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
66Roberto 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
63Francesco Ranzato, Francesco Tapparo Strong Preservation as Completeness in Abstract Interpretation. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
63Mila 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
63Francesco 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
62Alessandro 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
62Roberto 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
62Frank 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
61Matthew 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
61Roberto 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
61Gerda 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
60Xavier 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
60Roberto 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
60Mila 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
59Roberto 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
59Agostino 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
59Roberto 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
59Bor-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
58Moreno 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
58Patricia 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
57Tom 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
56Michael 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
56Francisco 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
56Baudouin 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
54Roberta 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
54Soonho 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
53Sebastian 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
53Roberto 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
53Roberta 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
52Renganathan 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
51Elvira 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
51Fosca 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
50Shmuel Sagiv On the Expressive Power of Canonical Abstraction. Search on Bibsonomy VMCAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
49Thomas 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
49Patrick 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
49Nicoletta 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
49Patrick 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
49Roberto 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
48Isabelle 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
48Roberto 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
47Hyoung 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
47Ulf 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
47Antoine 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
46Francesco 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
46John 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
46Susana 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
46Xavier 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
46Charles Hymans Verification of an Error Correcting Code by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Michel 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
46Roberto Giacobazzi A Tutorial on Domain Theory in Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
46Jé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
45Dominique 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
45Florian 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
44Manuel 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
44Roberto 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
43Nicolas 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
43Johannes 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
43Francesco 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
43Cinzia 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
42Francesco 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
42Cinzia 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
42Zhang 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
42Pietro 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
42Chiara 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
42Lunjin 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
42Kim 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
42Prakash 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
42Roberto Giacobazzi, Isabella Mastroeni Transforming Abstract Interpretations by Abstract Interpretation. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Robert Muller, Yuli Zhou Abstract Interpretation in Weak Powerdomains. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
42Byeong-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
41Mila 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
41Germá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
41Patricia 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
40Roberto 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
40Roberto 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
40Paolo 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
40Damien Massé Property Checking Driven Abstract Interpretation-Based Static Analysis. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Patrick Cousot Automatic Verification by Abstract Interpretation. Search on Bibsonomy VMCAI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Reinhard Wilhelm, Björn Wachter Abstract Interpretation with Applications to Timing Validation. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Sunae 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
39Geoffrey L. Burn A Relationship Between Abstract Interpretation and Projection Analysis. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
38Gianluca 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
38Francesco 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
37David 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
37Fausto 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
37Antoine 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
37Maria 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
37Maria 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
37Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine Abstract Interpretation of Cellular Signalling Networks. Search on Bibsonomy VMCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Pierre Ganty, Jean-François Raskin, Laurent Van Begin A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. Search on Bibsonomy VMCAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Julien Bertrane Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Mila 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
36Reinhard 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
36Giorgio Levi, Paolo Volpe Derivation of Proof Methods by Abstract Interpretation. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
36Danny 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
36Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. Search on Bibsonomy VMCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
36Isabella Mastroeni Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. Search on Bibsonomy Festschrift for Dave Schmidt The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1684 (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