Showing 1–4 of 4 results for author: Klint, P

M3: An Open Model for Measuring Code Artifacts

Authors: Anastasia Izmaylova, Paul Klint, Ashim Shahi, Jurgen Vinju

Abstract: This document details design considerations of M3: a meta model for source code artifacts This document details design considerations of M3: a meta model for source code artifacts △ Less

Submitted 4 December, 2013; originally announced December 2013.

Rascal: From Algebraic Specification to Meta-Programming

Authors: Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju

Abstract: Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely Asf and Asf+Sdf), we are now focusing on using the best concepts from algebraic specification an… ▽ More Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely Asf and Asf+Sdf), we are now focusing on using the best concepts from algebraic specification and integrating these into a new programming language: Rascal. This language is easy to learn by non-experts but is also scalable to very large meta-programming applications. We explain the algebraic roots of Rascal and its main application areas: software analysis, software transformation, and design and implementation of domain-specific languages. Some example applications in the domain of Model-Driven Engineering (MDE) are described to illustrate this. △ Less

Submitted 30 June, 2011; originally announced July 2011.

Comments: In Proceedings AMMSE 2011, arXiv:1106.5962

ACM Class: D.3.2

Journal ref: EPTCS 56, 2011, pp. 15-32

Compiling Language Definitions: The ASF+SDF Compiler

Authors: M. G. J. van den Brand, J. Heering, P. Klint, P. A. Olivier

Abstract: The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program analysis and transformation tools, production of software renovation tools, and general specification and prototyping. It uses conditional rewrite rules to define the dynamic semantics and other tool-oriented aspects of la… ▽ More The ASF+SDF Meta-Environment is an interactive language development environment whose main application areas are definition of domain-specific languages, generation of program analysis and transformation tools, production of software renovation tools, and general specification and prototyping. It uses conditional rewrite rules to define the dynamic semantics and other tool-oriented aspects of languages, so the effectiveness of the generated tools is critically dependent on the quality of the rewrite rule implementation. The ASF+SDF rewrite rule compiler generates C code, thus taking advantage of C's portability and the sophisticated optimization capabilities of current C compilers as well as avoiding potential abstract machine interface bottlenecks. It can handle large (10 000+ rule) language definitions and uses an efficient run-time storage scheme capable of handling large (1 000 000+ node) terms. Term storage uses maximal subterm sharing (hash-consing), which turns out to be more effective in the case of ASF+SDF than in Lisp or SML. Extensive benchmarking has shown the time and space performance of the generated code to be as good as or better than that of the best current rewrite rule and functional language compilers. △ Less

Submitted 6 July, 2000; originally announced July 2000.

Comments: 36 pages, 5 figures

Report number: SEN-R0014 ACM Class: D.3.1; D.3.2; D.3.4; F.4.2

Journal ref: ACM Transactions on Programming Languages and Systems 24 4 (July 2002) 334-368

Semantics of Programming Languages: A Tool-Oriented Approach

Authors: Jan Heering, Paul Klint

Abstract: By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact. Ultimately, this may lead to ``Language Design Assistants'' incorporating substantial amounts of semantic knowledge. By paying more attention to semantics-based tool generation, programming language semantics can significantly increase its impact. Ultimately, this may lead to ``Language Design Assistants'' incorporating substantial amounts of semantic knowledge. △ Less

Submitted 26 November, 1999; v1 submitted 4 November, 1999; originally announced November 1999.

Comments: 12 pages, 2 figures. Submitted to ACM SIGPLAN Notices

Report number: SEN-R9920 (CWI, Amsterdam) ACM Class: D.2.2; D.3.1; D.3.4; F.3.2

Journal ref: ACM SIGPLAN Notices V. 35(3) March 2000 pp. 39-48