TU Darmstadt / ULB / TUbiblio

Partially evaluating finite-state runtime monitors ahead of time

Bodden, Eric and Lam, Patrick and Hendren, Laurie (2012):
Partially evaluating finite-state runtime monitors ahead of time.
In: ACM Transactions on Programming Languages and Systems (TOPLAS), [Article]

Item Type: Article
Erschienen: 2012
Creators: Bodden, Eric and Lam, Patrick and Hendren, Laurie
Title: Partially evaluating finite-state runtime monitors ahead of time
Language: English
Journal or Publication Title: ACM Transactions on Programming Languages and Systems (TOPLAS)
Divisions: Zentrale Einrichtungen
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
20 Department of Computer Science > EC SPRIDE
LOEWE
20 Department of Computer Science
LOEWE > LOEWE-Zentren
Date Deposited: 04 Apr 2012 07:20
Additional Information:

To appear.

Export:

Optionen (nur für Redakteure)

View Item View Item