@inproceedings{c38bd2ce3cf04b5180dce81788df6b3e,
title = "TVLA: A system for implementing static analyses",
abstract = "We present TVLA (Three-Valued-Logic Analyzer). TVLA is a {"}YACC{"}-like framework for automatically constructing static-analysis algorithms from an operational semantics, where the operational semantics is specified using logical formulae. TVLA has been implemented in Java and was successfully used to perform shape analysis on programs manipulating linked data structures (singly and doubly linked lists), to prove safety properties of Mobile Ambients, and to verify the partial correctness of several sorting programs.",
author = "Tal Lev-Ami and Mooly Sagiv",
year = "2000",
doi = "10.1007/978-3-540-45099-3_15",
language = "אנגלית",
isbn = "3540676686",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "280--302",
editor = "Jens Palsberg",
booktitle = "Static Analysis - 7th International Symposium, SAS 2000, Proceedings",
note = "7th International Symposium on Static Analysis, SAS 2000 ; Conference date: 29-06-2000 Through 01-07-2000",
}