- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Lacey, David
Jones, Neil D.
Van Wyk, Eric
Frederiksen, Carl Christian
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1023/B:LISP.0000029444.99264.c0
- URN
-
urn:nbn:de:101:1-2023070209093870102498
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lacey, David
- Jones, Neil D.
- Van Wyk, Eric
- Frederiksen, Carl Christian
- SpringerLink (Online service)
Ähnliche Objekte (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]