IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar

Source URL: jorgenavas.github.io

• Software engineering
• Computing
• Software
• Compilers
• Compiler construction
• Compiler optimizations
• Abstract interpretation
• LLVM
• Programming language implementation
• Intermediate representation
• Polyspace
• Static program analysis

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Mathematics
• Algebras
• Multilinear algebra
• Lie algebras
• Hopf algebras
• Category theory
• Universal enveloping algebra
• PoincarBirkhoffWitt theorem
• Exterior algebra
• F-algebra

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Source URL: isabelle.in.tum.de

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Mathematical logic
• Algebraic structures
• Predicate logic
• Distributive lattice
• Complete Heyting algebra
• Mereology
• Partially ordered set

Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International

Source URL: www.kestrel.edu

• Mathematical analysis
• Mathematics
• Abstract interpretation
• Function
• Exponential function
• Complex analysis
• Formal methods
• Centripetal CatmullRom spline

Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour

Source URL: jorgenavas.github.io

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Lattice
• Partially ordered set
• KnasterTarski theorem
• Complete lattice
• Binary relation
• Join and meet
• Monotonic function

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Source URL: mirror.clarkson.edu

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Mathematical logic
• Algebraic structures
• Predicate logic
• Distributive lattice
• Complete Heyting algebra
• Mereology
• Partially ordered set

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Source URL: www.cl.cam.ac.uk

• Mathematics
• Order theory
• Algebra
• Abstract algebra
• Lattice theory
• Mathematical logic
• Algebraic structures
• Predicate logic
• Distributive lattice
• Complete Heyting algebra
• Mereology
• Partially ordered set

UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

Anaphora, accessibility, and bridging Bart Geurts Abstract Dynamic theories of discourse interpretation seek to describe and explain antecedent-anaphor relations with the help of discourse referents. In a

Source URL: ncs.ruhosting.nl

Polyhedral Abstract Interpretation ´ Laure Gonnord – Maˆıtre de conferences Universite´ Lyon1/LIP Keywords

Source URL: laure.gonnord.org