Translation Validation for an Optimizing Compiler

ACM SIGPLAN Notices
doi 10.1145/358438.349314
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols

Proceedings of the ACM on Programming Languages
2017English

Development of Robot Control Program With Optimizing Compiler.

Journal of the Robotics Society of Japan
1995English

A Portable and Optimizing Back End for the SML/NJ Compiler

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Ada Compiler Validation Procedures, Version 3.1

1992English

Ada Compiler Validation Summary Report: Certificate Number: 940223W1. 11338 Green Hills Software, Inc. Green Hills Optimizing Ada Compiler, 1.8.7 SPARCstation 10 Under SunOS, Release 4.1.3

1994English

Register Liveness Analysis for Optimizing Dynamic Binary Translation

English

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices
2012English

Evaluating Value-Graph Translation Validation for LLVM

ACM SIGPLAN Notices
2011English

1978 Fortran Compiler Validation System User's Guide, Version 2.1

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy