BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × USA
Collaborated with:
A.Pnueli
Talks about:
program (2) analysi (2) compil (2) valid (2) product (1) cross (1)

Person: Anna Zaks

DBLP DBLP: Zaks:Anna

Contributed to:

FM 20082008
PASTE 20082008

Wrote 2 papers:

FM-2008-ZaksP #compilation #named #program analysis #validation
CoVaC: Compiler Validation by Program Analysis of the Cross-Product (AZ, AP), pp. 35–51.
PASTE-2008-ZaksP #compilation #program analysis #validation
Program analysis for compiler validation (AZ, AP), pp. 1–7.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.