[조성근]

안녕하세요? 조성근입니다.

11월 4일 목요일 낮 2시 302동 105호에서 CSE Distinguised Lecture가 있습니다.
프로그래밍 언어 분야 저명한 교수님께서 강의하시는 내용이니 도움이 될 듯 합니다.

그리하여 내일 참석하시는 분들께 가산점을 드립니다. 강의들으러 오셔서 저를 찾아서 알려주시면 됩니다. 많은 분들 참석 바랍니다.


제목: Namespace-based Language Modelling
발표자: Professor David Schmidt (University Distinguished Professor, Kansas State University, USA)
일시: 2pm, 11/4, 목요일
장소: 302 -105

내용 요약:
Although few of us design general-purpose programming languages, experienced programmers regularly design Domian-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 languages 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.