A formalism is presented for obtaining a normal form to be used in representing programs for compiler testing. Examples are used to motivate the features that must be considered when developing such a formalism. It is particularly suitable for heuristically optimized code and has been successfully used in a system for proving that programs written in a subset of LISP are correctly translated to assembly language. I
Abstract. In this article, we describe a framework for formally verify-ing the correctness of compil...
In this paper, we describe our construction of a test harness to measure conformance of some popular...
Abstract. We present a method for analyzing assembly programs obtained by compilation and checking s...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
This thesis tries to improve on the relatively uncommon practice of random testing of compilers.Rand...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
Software testing is a critical and important stage of the application software development life-cycl...
This paper presents the design and implementation of a compiler that translates programs written in ...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
Given a complete, formal description of the semantics of a programming language, it should be possib...
This text treats of the compiler into assembly language of the programming language which is derived...
Abstract:- In this study, the source codes for the formulations of various normality tests are estab...
This thesis deals with issues of normal forms from theory of formal languages. Basic terms from this...
Traditionally, compilers available to the software developer/tester have only supported two software...
Domain-specific Languages (DSLs) are languages specifically tailored for an application or expert do...
Abstract. In this article, we describe a framework for formally verify-ing the correctness of compil...
In this paper, we describe our construction of a test harness to measure conformance of some popular...
Abstract. We present a method for analyzing assembly programs obtained by compilation and checking s...
A tool for compiler testing is implemented. The tool is driven by a BNF grammar extended by a device...
This thesis tries to improve on the relatively uncommon practice of random testing of compilers.Rand...
AbstractThe paper presents a novel approach to automated compiler test suite generation based on the...
Software testing is a critical and important stage of the application software development life-cycl...
This paper presents the design and implementation of a compiler that translates programs written in ...
A system for assisting in the testing phase of compilers is described. The definition of the languag...
Given a complete, formal description of the semantics of a programming language, it should be possib...
This text treats of the compiler into assembly language of the programming language which is derived...
Abstract:- In this study, the source codes for the formulations of various normality tests are estab...
This thesis deals with issues of normal forms from theory of formal languages. Basic terms from this...
Traditionally, compilers available to the software developer/tester have only supported two software...
Domain-specific Languages (DSLs) are languages specifically tailored for an application or expert do...
Abstract. In this article, we describe a framework for formally verify-ing the correctness of compil...
In this paper, we describe our construction of a test harness to measure conformance of some popular...
Abstract. We present a method for analyzing assembly programs obtained by compilation and checking s...
DOI
Add to ORKG