Abstract Stobjs and Their Application to ISA Modeling

Language

English
DOI (url)

10.4204/eptcs.114.5
Publication Date

2013/04/26
Journal

Electronic Proceedings in Theoretical Computer Science
Indian UGC (journal)
Refrences

8
Citations

1
Shilpi Goel Department of Computer Science, University of Texas at Austin
Warren A Hunt, Department of Computer Science, University of Texas at Austin
Matt Kaufmann Department of Computer Science, University of Texas at Austin

Journal Category

Science

Mathematics

Instruments and machines

Electronic computers

Computer science

Title	Journal	Journal Categories	Citations	Publication Date
Proof Styles in Operational Semantics				2004
Single-threaded Objects in ACL2				2002
Efficient execution in an automated reasoning environment				2008
A formal model of a large memory that supports efficient execution.				2012
Efficient Rewriting of Data Structures in ACL2

Title	Journal	Journal Categories	Citations	Publication Date
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications	Electronic Proceedings in Theoretical Computer Science	Science: Mathematics: Instruments and machines: Electronic computers. Computer science		2022

Category	Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science	1

The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications and was published in 2022. The most recent citation comes from a 2022 study titled Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications. This article reached its peak citation in 2022, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.