TU Darmstadt / ULB / TUbiblio

Clara: Partially Evaluating Runtime Monitors at Compile Time

Bodden, Eric and Lam, Patrick (2010):
Clara: Partially Evaluating Runtime Monitors at Compile Time.
Springer, In: 1st International Conference on Runtime Verification (RV), In: LNCS, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Bodden, Eric and Lam, Patrick
Title: Clara: Partially Evaluating Runtime Monitors at Compile Time
Language: English
Series Name: LNCS
Volume: 6418
Publisher: Springer
Uncontrolled Keywords: clara
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
Zentrale Einrichtungen
Event Title: 1st International Conference on Runtime Verification (RV)
Date Deposited: 21 Dec 2010 15:03
Additional Information:

Tutorial

Export:

Optionen (nur für Redakteure)

View Item View Item