Article

Natural-Semantics-Based Abstract Interpretation (Preliminary Version)

Author:

David A. SchmidtAuthors Info & Claims

SAS '95: Proceedings of the Second International Symposium on Static Analysis

Pages 1 - 18

Published: 25 September 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Bodin MGardner PJensen TSchmitt A(2019)Skeletal semantics and their interpretationsProceedings of the ACM on Programming Languages10.1145/32903573:POPL(1-31)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290357
Bodin MJensen TSchmitt ALeroy XTiu A(2015)Certified Abstract Interpretation with Pretty-Big-Step SemanticsProceedings of the 2015 Conference on Certified Programs and Proofs10.1145/2676724.2693174(29-40)Online publication date: 13-Jan-2015
https://dl.acm.org/doi/10.1145/2676724.2693174
Cousot PCousot RHenzinger TMiller D(2014)Abstract interpretationProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603165(1-10)Online publication date: 14-Jul-2014
https://dl.acm.org/doi/10.1145/2603088.2603165
Show More Cited By

Index Terms

Natural-Semantics-Based Abstract Interpretation (Preliminary Version)
1. Information systems
  1. Information retrieval
    1. Information retrieval query processing
2. Theory of computation
  1. Logic
    1. Constraint and logic programming

Index terms have been assigned to the content through auto-classification.

Recommendations

RFC2145: Use and Interpretation of HTTP Version Numbers
Adding semantics for version propagation in OODBs
DEXA '96: Proceedings of the 7th International Workshop on Database and Expert Systems Applications

Object version propagation is a means of managing versions of complex objects automatically. Complex objects are objects linked to other objects by dependence relations such as composition, inheritance, association, equivalence, etc. The object version ...
Abstract Object State and Version Recovery in N-Version Programming
TOOLS '99: Proceedings of the Technology of Object-Oriented Languages and Systems

This paper deals with the use of software diversity, specifically, N-version programming (NVP) in object-oriented (OO) systems. We formulate the problem of faulty version recovery and show how our NVP scheme, developed recently, can be extended to solve ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SAS '95: Proceedings of the Second International Symposium on Static Analysis

September 1995

421 pages

ISBN:3540603603

Editor:
Alan Mycroft

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 25 September 1995

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bodin MGardner PJensen TSchmitt A(2019)Skeletal semantics and their interpretationsProceedings of the ACM on Programming Languages10.1145/32903573:POPL(1-31)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290357
Bodin MJensen TSchmitt ALeroy XTiu A(2015)Certified Abstract Interpretation with Pretty-Big-Step SemanticsProceedings of the 2015 Conference on Certified Programs and Proofs10.1145/2676724.2693174(29-40)Online publication date: 13-Jan-2015
https://dl.acm.org/doi/10.1145/2676724.2693174
Cousot PCousot RHenzinger TMiller D(2014)Abstract interpretationProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603165(1-10)Online publication date: 14-Jul-2014
https://dl.acm.org/doi/10.1145/2603088.2603165
Hardekopf BWiedermann BChurchill BKashyap V(2014)Widening for Control-FlowProceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 831810.1007/978-3-642-54013-4_26(472-491)Online publication date: 19-Jan-2014
https://dl.acm.org/doi/10.1007/978-3-642-54013-4_26
Midtgaard J(2012)Control-flow analysis of functional programsACM Computing Surveys10.1145/2187671.218767244:3(1-33)Online publication date: 14-Jun-2012
https://dl.acm.org/doi/10.1145/2187671.2187672
Bagnara RHill PZaffanella E(2009)Applications of polyhedral computations to the analysis and verification of hardware and software systemsTheoretical Computer Science10.1016/j.tcs.2009.07.033410:46(4672-4691)Online publication date: 1-Nov-2009
https://dl.acm.org/doi/10.1016/j.tcs.2009.07.033
Schmidt D(2002)Structure-preserving binary relations for program abstractionThe essence of computation10.5555/860256.860269(245-265)Online publication date: 1-Jan-2002
https://dl.acm.org/doi/10.5555/860256.860269
Tip FPalsberg J(2000)Scalable propagation-based call graph construction algorithmsACM SIGPLAN Notices10.1145/354222.35319035:10(281-293)Online publication date: 1-Oct-2000
https://dl.acm.org/doi/10.1145/354222.353190
Tip FPalsberg JRosson MLea D(2000)Scalable propagation-based call graph construction algorithmsProceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/353171.353190(281-293)Online publication date: 1-Oct-2000
https://dl.acm.org/doi/10.1145/353171.353190
Palsberg JPavlopoulou CMacQueen DCardelli L(1998)From polyvariant flow information to intersection and union typesProceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/268946.268963(197-208)Online publication date: 21-Jan-1998
https://dl.acm.org/doi/10.1145/268946.268963
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

RFC2145: Use and Interpretation of HTTP Version Numbers

Adding semantics for version propagation in OODBs

Abstract Object State and Version Recovery in N-Version Programming

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations