- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Compiler Optimization Correctness by Temporal Logic ; volume:17 ; number:3 ; pages:173-206 ; date:9.2004
Higher-order and symbolic computation ; 17, Heft 3, 173-206, 9.2004
- Creator
-
Lacey, David
Jones, Neil D.
Van Wyk, Eric
Frederiksen, Carl Christian
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1023/B:LISP.0000029444.99264.c0
- URN
-
urn:nbn:de:101:1-2023070209093870102498
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:59 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lacey, David
- Jones, Neil D.
- Van Wyk, Eric
- Frederiksen, Carl Christian
- SpringerLink (Online service)
Other Objects (12)
Compositional compiler correctness via parametric simulations
Trace-Relating Compiler Correctness and Secure Compilation
MUST: Compiler-aided MPI correctness checking with TypeART
Towards compiler-aided correctness checking of adjoint MPI applications
Contributions to mechanical proofs of correctness for compiler front ends
Temporal Logic
Concurrent temporal logic
Markov temporal logic
Program optimization for temporal reasoning within a logic programming framework
Temporal logic, Pt. 2
Temporal logic, [Pt. 1]
Tense or temporal logic
Compositional compiler correctness via parametric simulations
Trace-Relating Compiler Correctness and Secure Compilation
MUST: Compiler-aided MPI correctness checking with TypeART
Towards compiler-aided correctness checking of adjoint MPI applications
Contributions to mechanical proofs of correctness for compiler front ends
Temporal Logic
Concurrent temporal logic
Markov temporal logic
Program optimization for temporal reasoning within a logic programming framework
Temporal logic, Pt. 2
Temporal logic, [Pt. 1]
Tense or temporal logic
Compositional compiler correctness via parametric simulations
Trace-Relating Compiler Correctness and Secure Compilation
MUST: Compiler-aided MPI correctness checking with TypeART
Towards compiler-aided correctness checking of adjoint MPI applications
Contributions to mechanical proofs of correctness for compiler front ends
Temporal Logic
Concurrent temporal logic
Markov temporal logic
Program optimization for temporal reasoning within a logic programming framework
Temporal logic, Pt. 2
Temporal logic, [Pt. 1]