Bodden, Eric ; Lam, Patrick ; Hendren, Laurie (2012)
Partially evaluating finite-state runtime monitors ahead of time.
In: ACM Transactions on Programming Languages and Systems (TOPLAS)
Article, Bibliographie
| Item Type: | Article |
|---|---|
| Erschienen: | 2012 |
| Creators: | Bodden, Eric ; Lam, Patrick ; Hendren, Laurie |
| Type of entry: | Bibliographie |
| Title: | Partially evaluating finite-state runtime monitors ahead of time |
| Language: | English |
| Date: | 2012 |
| Journal or Publication Title: | ACM Transactions on Programming Languages and Systems (TOPLAS) |
| Additional Information: | To appear. |
| 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 |
| Last Modified: | 05 Mar 2013 10:00 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum