Suchergebnisse - "Algorithms Keywords Translation validation"

  • Treffer 1 - 6 von 6
Treffer weiter einschränken
  1. 1

    Verified Validation of Lazy Code Motion

    Autoren: Jean-baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Jean-baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Quelle: http://hal.inria.fr/docs/00/41/58/65/PDF/validation-LCM.pdf.

    Schlagwörter: Operational semantics General Terms Languages, Verification, Algorithms Keywords Translation validation, lazy code motion, redundancy elimination, verified compilers

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.1504

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.229.1504
    http://hal.inria.fr/docs/00/41/58/65/PDF/validation-LCM.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Verified Validation of Lazy Code Motion

    Autoren: Jean-Baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Jean-Baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Quelle: http://gallium.inria.fr/~xleroy/publi/validation-LCM.pdf.

    Schlagwörter: Operational semantics General Terms Languages, Verification, Algorithms Keywords Translation validation, lazy code motion, redundancy elimination, verified compilers

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.2667

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.2667
    http://gallium.inria.fr/~xleroy/publi/validation-LCM.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Formal verification of translation validators: A case study on instruction scheduling optimizations

    Autoren: Jean-baptiste Tristan The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Jean-baptiste Tristan The Pennsylvania State University CiteSeerX Archives

    Quelle: http://pauillac.inria.fr/~xleroy/publi/validation-scheduling.pdf.

    Schlagwörter: Mechanical verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages- Operational semantics, D.2.4 [Software Engineering, Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Translation validation, scheduling optimizations, verified compilers, the Coq

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.8717

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.8717
    http://pauillac.inria.fr/~xleroy/publi/validation-scheduling.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Formal verification of translation validators: A case study on instruction scheduling optimizations

    Autoren: Jean-baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Jean-baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Quelle: http://john-tristan.appspot.com/pubs/traceval.pdf.

    Schlagwörter: of Programs, Specifying and Verifying and Reasoning about Programs- Mechanical verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages- Operational semantics, D.2.4 [Software Engineering, Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Translation validation, scheduling optimizations, verified compilers, the Coq

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.2504

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.368.2504
    http://john-tristan.appspot.com/pubs/traceval.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Formal Verification of Translation Validators -- A Case Study on Instruction Scheduling Optimizations

    Autoren: Jean-baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Jean-baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Quelle: http://hal.inria.fr/docs/00/28/95/40/PDF/validation-scheduling.pdf.

    Schlagwörter: Mechanical verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages- Operational semantics, D.2.4 [Software Engineering, Software/Program Verification- Correctness proofs, D.3.4 [Programming Languages, Processors- Optimization General Terms Languages, Verification, Algorithms Keywords Translation validation, scheduling optimizations, verified compilers, the Coq

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.7839

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.230.7839
    http://hal.inria.fr/docs/00/28/95/40/PDF/validation-scheduling.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Verified Validation of Lazy Code Motion

    Autoren: Jean-Baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Jean-Baptiste Tristan Xavier Leroy The Pennsylvania State University CiteSeerX Archives

    Quelle: http://cristal.inria.fr/~xleroy/publi/validation-LCM.pdf.

    Schlagwörter: Operational semantics General Terms Languages, Verification, Algorithms Keywords Translation validation, lazy code motion, redundancy elimination, verified compilers

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.3595

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.3595
    http://cristal.inria.fr/~xleroy/publi/validation-LCM.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: