Namespace-based Language Modelling

David Schmidt
University Distinguished Professor
Kansas State University
일시: 
2010년 11월 4일 목요일 PM 2:00
장소: 
302 Building, Room 105

요약

Although few of us design general-purpose programming languages, experienced programmers regularly design Domain-Specific Programming Languages (DSLs) for specialized domains like telecommunications, avionics, graphics, text processing, databases, bioinformatics, gaming, and so on.

Language design should follow a methodology, just like software development does. But language design based on denotational semantics or small-step operational semantics has failed --- the techniques are too formal and artificial.

This talk shows how to use namespaces (dictionaries) as the main semantic concept for designing, explaining, and implementing a programming language. Combined with Strachey's suggestions for application-domain selection and Tennent's language-extension principles, we obtain a semantics methodology that is a practical alternative to formal semantics.

In the talk, the methodology is applied to a simple example to explore the choices available to a DSL designer.