Browse Prior Art Database

Automatic generation of origin location information propagation rules for program transformation systems

IP.com Disclosure Number: IPCOM000238853D
Publication Date: 2014-Sep-22
Document File: 1 page(s) / 31K

Publishing Venue

The IP.com Prior Art Database

Abstract

Disclosed is a method to propagate origin information through a generated compiler's intermediate representation based on a TYPE SYSTEM.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 100% of the total text.

Page 01 of 1

Automatic generation of origin location information propagation rules for program transformation systems

Compiler generators need to generate compilers that emit meaningful error messages , specifically error messages that report the LOCATION of the error in the input program . This involves including some kind of origin tracking in the generated code . In current compiler generators, compiler programmers manually specify this origin tracking.

The proposed a method propagates origin information through the generated compiler 's intermediate representation based on a TYPE SYSTEM , of which intermediate representation nodes can carry location information .

The compiler specification, used by the compiler generator, is specified in a FORMAL SYSTEM that is sufficiently well defined to have an associated TYPE INFERENCE discipline.

The TYPE SYSTEM includes a special type marker, "CanCarryLocation", which is inferred and propagated as usual for type systems . The generated code for the formal system then automatically propagates location information to all intermediate data nodes with the CanCarryLocation property.

1