Skip to main content
Conference ProceedingsOPEN ACCESS

TVLA: A system for generating abstract interpreters

IFIP Advances in Information and Communication Technology (2004) 156 367-375
DOI: 10.1007/978-1-4020-8157-6_28
13Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

TVLA (Three-Valued-Logic Analyzer) is a "YACC"-like framework for automatically constructing abstract interpreters from an operational semantics. The operational semantics is specified as a generic transition system based on first-order logic. TVLA was implemented in Java and successfully used to prove interesting properties of (concurrent) Java programs manipulating dynamically allocated linked data structures. © 2004 Springer Science + Business Media, Inc.

Cite

CITATION STYLE

APA

Lev-Ami, T., Manevich, R., & Sagiv, M. (2004). TVLA: A system for generating abstract interpreters. In IFIP Advances in Information and Communication Technology (Vol. 156, pp. 367–375). Springer New York LLC. https://doi.org/10.1007/978-1-4020-8157-6_28

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free