Minding the (semantic) gap: engineering programming language theory

Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring language theory to bear on both exciting and important realworld problems. Achieving this is not purely a mathematical task, but equally one of (semantic) engineering. Categories and Subject Descriptors D.3.1 [Prog. Lang.]: Formal Definitions and Theory General Terms Languages

• Type: Journal
• Year: 2010
• Where: SIGSOFT
• Authors: Arjun Guha, Shriram Krishnamurthi
• Keywords: General Terms Languages, Important Realworld Problems, Real-world Languages, SIGSOFT 2010, Software Engineering