Class invariants as abstract interpretation of trace semantics
type: Item
instance of: scholarly article
title: Class invariants as abstract interpretation of trace semantics
zbMATH Open document ID: 1387.68052
author: Francesco Logozzo
published in: Computer Languages, Systems \& Structures
publication date: 2018-05-16T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6868996
zbMATH Keywords: abstract interpretation
zbMATH Keywords: class invariance
zbMATH Keywords: object-oriented programming
zbMATH Keywords: optimization
zbMATH Keywords: static analysis
zbMATH Keywords: trace semantics
zbMATH Keywords: verification
describes a project that uses: ASTREE
describes a project that uses: ESC/Java
describes a project that uses: LARCH
describes a project that uses: Eiffel
describes a project that uses: JML
describes a project that uses: Houdini
describes a project that uses: Featherweight Java
MaRDI profile type: Publication
full work available at URL: j.cl.2005.01.001
OpenAlex ID: W1967714136
cites work: Q4371400
cites work: Q4414726
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Abstract Interpretation Frameworks
cites work: Q4349925
cites work: Q3122694
cites work: Q2736342
cites work: Q4319801
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Algebraic Methodology and Software Technology
cites work: Q4813390
cites work: Q4495072
cites work: Q4024014
cites work: Q4282672
cites work: Q4411957
DOI: 10.1016/J.CL.2005.01.001
description: scientific article; zbMATH DE number 6868996