Compiler Optimization Correctness by Temporal Logic
Lacey, David ; Jones, Neil D. ; Van Wyk, Eric ; Frederiksen, Carl Christian
- Link zu diesem Datensatz
- https://d-nb.info/1294673653
- Titel
- Compiler Optimization Correctness by Temporal Logic
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen
- Autor(en)
-
- Lacey, David
- Jones, Neil D.
- Van Wyk, Eric
- Frederiksen, Carl Christian
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2004
- Umfang/Format
- Online-Ressource
- DOI
- 10.1023/B:LISP.0000029444.99264.c0
- Online
- https://doi.org/10.1023/B:LISP.0000029444.99264.c0
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Higher-order and symbolic computation
- Enthalten in: Higher-order and symbolic computation
- Enthalten in: Higher-order and symbolic computation
- Stand
- 03.07.2023 18:17
- Im Katalog seit
- 07.03.2026