Minding the (semantic) gap: engineering programming language theory

Authors:
Arjun Guha;Shriram Krishnamurthi
Affiliations:
Brown University, Providence, RI, USA;Brown University, Providence, RI, USA
Venue:
Proceedings of the FSE/SDP workshop on Future of software engineering research
Year:
2010

Citing 5
Cited 0

Software engineering (extended abstract): an unconsummated marriage

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction
Confessions of a used programming language salesman

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex
The essence of javascript

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 real-world problems. Achieving this is not purely a mathematical task, but equally one of (semantic) engineering.