Jan Heering and Paul Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, March 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....used when the user s requirements are not well defined. The proposed approach, i.e. the grammatical approach to problem solving, rests on the success reached by attribute grammars in the specification of language semantics [9] 4] and in the systematic implementation of language processing tools [7] [8] In the paper the grammatical approach to problem solving supported by an attribute grammar developed and written in an object oriented style (OOAG) is proposed. One of the benefits of the proposed approach is that it enables rapid prototyping and the validation of the user s requirements in ....

Jan Heering and Paul Klint. Semantics of programming languages: A tool-oriented ap- proach. ACM Sigplan Notices, 35(3):39-48, March 2000.

....emphasises on a different aspect and has its own benefits. We subsequently give a short overview of the main advantages of three commonly used approaches in the next paragraphs. For an overview of other semantical approaches such as Abstract State Machines and attribute grammars, etc. see e.g. [7, 23]. Operational semantics Operational semantics is used to give meaning to the dynamic part of a language. It is centred around the notions of a state and the transitions between the states (see e.g. 8] The transitions between the state can be described by means of a transition function. Various ....

....show exactly the behaviour described by the operational semantics. Several meta tools support the generation of parsers and scanners based on the formally defined syntax. Dependent on the type of semantics, the generation of interpreters and other language processing tools is also viable (see e.g. [13, 25, 3, 7]) 3 Related Work There are many publications describing the development of some specific DSL or which describe a set of (meta ) tools to support such development. There is, however, only little literature on methodological aspects of the design of domain specific languages (see [26] for an ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM Sigplan Notices, 35(3):39--48, 2000.

....substitutions by alpha renaming. On the other hand, some systems are notably more mature and robust, and have been used in commercial applications. Many features deserve credit, such as ASF SDF s list matching. A short survey of programming language tools and semantic specification can be found in [15]. Extensible grammars [11] form an essential component of the above systems. Phobos uses the model developed by Cardelli, Matthes, and Abadi, although at the moment our system only allows grammar addition and extension, but not update. Furthermore, we allow the generation of illegal abstract ....

Jan Heering and Paul Klint. Semantics of programming languages: a tool-oriented approach. ACM SIGPLAN Notices, 35(3):39--48, 2000.

....other language based tools can be automatically generated, such as: pretty printers, syntax directed editors, type checkers, dataflow analyzers, partial evaluators, debuggers, profilers, test case generators, visualizers, animators, documentation generators, etc. For a more complete list see [HK00] In most of these cases the core language definitions have to be augmented with the tool specific information. In other cases, just a part of formal language definitions is enough for automatic tool generation or implicit information must be extracted from the formal language definition in order ....

Jan Heering and Paul Klint. Semantics of programming languages: A tooloriented approach. ACM Sigplan Notices, 35(3):39--48, March 2000. 97] J. Haajanen, M. Pesonius, E. Sutien, T. Terasvirta, P. Vanninen, and J. Tarhio. Animation of user algorithms in the web. In VL'97 - IEEE Symposium on Visual Languages, pages 360--368. IEEE, September 1997.

....substitutions by alpha renaming. On the other hand, some systems are notably more mature and robust, and have been used in commercial applications. Many features deserve credit, such as ASF SDF s list matching. A short survey of programming language tools and semantic specification can be found in [13]. Extensible grammars [10] form an essential component of the above systems. Phobos uses the model developed by Cardelli, Matthes, and Abadi, although at the moment our system only allows grammar addition and extension, but not update. Furthermore, we allow the generation of illegal abstract ....

Jan Heering and Paul Klint. Semantics of programming languages: a tool-oriented approach. ACM SIGPLAN Notices, 35(3):39--48, 2000.

....grammars with action semantics allows complete language descriptions with exceptionally good modularity. Moreover, by specifying the descriptions in ASF SDF, the ASF SDF Meta Environment can be used to provide appropriate tool support. 1 Introduction As pointed out by Heering and Klint [3], it is highly desirable to be able to give complete formal descriptions of programming languages, and to use these for generating various tools, such as parsers, static analyzers, interpreters, and compilers. For practical applications, it is important that language descriptions have good ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, Mar. 2000.

....emphasises on a di#erent aspect and has its own benefits. We subsequently give a short overview of the main advantages of three commonly used approaches in the next paragraphs. For an overview of other semantical approaches such as Abstract State Machines and attribute grammars, see e.g. [10,24]. 10 Operational semantics Operational semantics is used to give meaning to the dynamic part of a language. It is centred around the notions of a state and the transitions between the states (see e.g. 11] The transitions between the state can be described by means of a transition function. ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM Sigplan Notices, 35(3):39--48, 2000.

....contributes to generic testing technology to form an integral part of generic language technology (just in the same way as nowadays parser generators, tree walkers, code generators and others do) Similar ideas are pursued in [DRW96] but on less formal grounds. According to the general tone in [HK00] a testing framework for a language is yet another tool to be derived from the formal language de nition (maybe enriched by ingredients speci c to testing) Generic language technology enriched by generic testing technology would be bene cial in the following contexts: Design of domain speci ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, 35(3):39-48, March 2000.

....functional programming communities, other approaches are favoured, e.g. monads [38,18] and action semantics [40] Regardless of the formalism to be used, more work is needed to develop useful language design methods. Similar objectives are pursued in the domain specific language community (cf. [23]) Format migration Based on Laptob, we investigate suitable transformation frameworks, and language constructs to formulate and implement format migration procedures. The general problem can be stated as follows. Given are two format definitions A and B, e.g. in the form of many sorted ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, 35(3):39--48, March 2000.

....that enables the rapid implementation of tools to support program and system analysis and or transformations. One could say that such refactories are the future compilers of our existing software assets, meant to compile them into refactored systems better capable of meeting new business needs [73, 59]. What should be the properties of a refactory You would expect it depends on the changes to the existing software are likely to occur. In the refactoring book an extensive list is presented, which could serve as a starting guideline. However, when dealing with software that has a large ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, March 2000.

....one to also support maintenance, enhancement and ultimately renovation. The first signs of this trend are already visible, for instance Microsoft and IBM provide support in some of their contemporary compilers to tap the entire abstract syntax tree (AST) for program comprehension purposes. Also in [52] it is emphasized that language oriented tools ranging from scanners parsers to software maintenance and renovation tools should be developed as soon as a language sees the light. At the moment we are not in such a situation, but every effort to ease the construction of software renovation ....

....during the life cycle of software: ffl compilers, ffl debuggers resp. animators, ffl profilers, ffl pretty printers, ffl language reference manuals, ffl language browsers, ffl software analysis tools, ffl code preprocessing tools, ffl software modification tools, ffl and so on. See [52] for an even more elaborate list. In Section 2.1 we will elaborate on the various grammars that play a role for such tools, and in Section 2.2 we discuss the connections between the different grammars. 2.1 The Grammar Gamut There are many grammars that we use day in and out, often without ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, March 2000.

No context found.

J. Heering and P. Klint. Semantics of programming languages: A tooloriented approach. ACM SIGPLAN Notices, 35(3):39--48, March 2000.

No context found.

J. Heering and P. Klint. Semantics of programming languages: A tooloriented approach. ACM SIGPLAN Notice, 35(3):39--48, March 2000.

....they were selected primarily for their favorable mathematical or logical properties rather than their user friendliness. Also, these properties tend to become less important when language descriptions become large. To turn language development systems into true language design assistants (LDAs) [11], improvements can be sought in various directions: Incorporation of language concepts and design rules. Visual or semi visual meta languages. The latter are partly graphical and partly textual. Description by example of some (necessarily limited) language aspects such as prettyprinting ....

J. Heering and P. Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, March 2000. also: CoRR E-print Server xxx.lanl.gov/abs/cs.PL/9911001.

No context found.

Jan Heering and Paul Klint. Semantics of programming languages: A tool-oriented approach. ACM SIGPLAN Notices, March 2000.

No context found.

J. Heering and P. Klint. Semantics of programming languages: A tooloriented approach. SIGPLAN Notices, 35(3):39--48, 2000.

No context found.

J. Heering, P. Klint, Semantics of programming languages: A tool-oriented approach, ACM Sigplan Notices 35 (3) (2000) 39--48.

No context found.

J. Heering and P. Klint. Semantics of programming languages: a tool-oriented approach. ACM SIGPLAN Notices, 35(3):39--48, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC