登入選單

返回Google圖書搜尋

Extensible Syntax with Lexical Scoping

Luca CardelliFlorian MatthesMartín Abadi

出版	Digital, Systems Research Center, 1994
URL	http://books.google.com.hk/books?id=d48hAQAAIAAJ&hl=&source=gbs_api

註釋

Abstract: "A frequent dilemma in programming language design is the choice between a language with a rich set of notations and a small, simple core language. We address this dilemma by proposing extensible grammars, a syntax-definition formalism for incremental language extenions and restrictions. The translation of programs written in rich object languages into a small core language is defined via syntax-directed patterns. In contrast to macro-expansion and program-rewriting tools, our extensible grammars respect scoping rules. Therefore, we can introduce binding constructs while avoiding problems with unwanted name clashes. We develop extensible grammars and illustrate their use by extending the lambda calculus with let-bindings, conditionals, and constructs from database programming languages, such as SQL query expressions.