Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Specification and Description Language (SDL-2000) has formal definitions for syntax, ll-formedness, and dynamic semantics. While these definitions have ll-understood mathematical foundations, engineers prefer to execute formal definitions, instead of studying them on paper.  present a tool chain which starts with the formal definition, and translates that into a compiler. The resulting compiler starts with a textual representation of the specification, and produces a program in the underlying formal calculus (Abstract State Machines, ASM). The ASM program, when executed, produces a trace of the SDL specification according to the formal language definition. In the process of developing this compiler, a number of errors re found in the formal semantics, which have been corrected.
['Andreas Prinz', 'Martin von Löwis']
I am writing a research paper on a idea Generating a compiler for SDL from the formal language definition
[{"from": "human", "value": "I am writing a research paper on a idea Generating a compiler for SDL from the formal language definition"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Specification and Description Language (SDL-2000) has formal definitions for syntax, ll-formedness, and dynamic semantics. While these definitions have ll-understood mathematical foundations, engineers prefer to execute formal definitions, instead of studying them on paper.  present a tool chain which starts with the formal definition, and translates that into a compiler. The resulting compiler starts with a textual representation of the specification, and produces a program in the underlying formal calculus (Abstract State Machines, ASM). The ASM program, when executed, produces a trace of the SDL specification according to the formal language definition. In the process of developing this compiler, a number of errors re found in the formal semantics, which have been corrected."}]