A sparse evaluation technique for detailed semantic analyses

DOI10.1016/J.CL.2014.05.001MaRDI QIDQ2339156zbMATH OpenOpenAlexFDO

Authors Yoonseok Ko, Kihong Heo, Hakjoo Oh

Publication date 31 March 2015

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2014.05.001

zbMATH Keywords

abstract interpretationstatic analysisdata-flow analysissparse evaluation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On sparse evaluation representations
• scientific article; zbMATH DE number 1862262
• Sparse methods for automatic relevance determination
• Empirical analysis on a keyword-based semantic system

Cites work

• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• Abstract Interpretation Frameworks
• Access analysis-based tight localization of abstract memories
• Grammar Analysis and Parsing by Abstract Interpretation
• On sparse evaluation representations
• Precise interprocedural dataflow analysis with applications to constant propagation
• Programming Languages and Systems
• Semi-sparse flow-sensitive pointer analysis
• Sound non-statistical clustering of static analysis alarms
• The octagon abstract domain
• The program dependence graph and its use in optimization
• Why does Astrée scale up?

Cited in

(2)

• On sparse evaluation representations
• Conducting sparse feature selection on arbitrarily long phrases in text corpora with a focus on interpretability

Describes a project that uses

Uses Software

• Octagon

This page was built for publication: A sparse evaluation technique for detailed semantic analyses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2339156)