Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal semantics from another.
['Olivier Danvy']
I am writing a research paper on a idea Pragmatics for formal semantics
[{"from": "human", "value": "I am writing a research paper on a idea Pragmatics for formal semantics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal semantics from another."}]