Author: Mikael Pettersson
Publisher: Springer
ISBN: 3540488235
Category : Computers
Languages : en
Pages : 252
Get Book Here
Book Description
Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.
Author: Mikael Pettersson
Publisher: Springer
ISBN: 9783662202326
Category : Computers
Languages : en
Pages : 246
Get Book Here
Book Description
Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches.
Author: David E. Lightfoot
Publisher: Springer Science & Business Media
ISBN: 3540409270
Category : Computers
Languages : en
Pages : 424
Get Book Here
Book Description
This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on languages, implementation and linking, formal and modelling, concurrency, components, performance, and case studies.
Author: David Lightfoot
Publisher: Springer
ISBN: 3540409289
Category : Computers
Languages : en
Pages : 424
Get Book Here
Book Description
This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006. The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on languages, implementation and linking, formal and modelling, concurrency, components, performance, and case studies.
Author: Mikael Pettersson
Publisher:
ISBN:
Category : Semantics
Languages : en
Pages : 14
Get Book Here
Book Description
Abstract: "Natural semantics is a formalism used for specifying both semantics and implementations of programming languages. Until recently, no practical implementation of the formalism existed. We have defined the Relational Meta-Language, RML, as an executable specification language for natural semantics. After a brief outline of the language, we describe the compilation strategy used by our rm12c compiler: transformations are applied to minimize non-determinism, and a continuation-passing style form is produced and simplified. Finally the CPS is emitted as low-level C code, using an efficient technique for implementing tailcalls. We also present performance measurements that support our choice of compilation strategy."
Author: Martin Sjölund
Publisher: Linköping University Electronic Press
ISBN: 9175190710
Category : Debugging in computer science
Languages : en
Pages : 243
Get Book Here
Book Description
Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. However, current state-of-the-art tools do not provide the user with enough information when errors appear or simulation results are wrong. It is of paramount importance that such tools should give the user enough information to correct errors or understand where the problems that lead to wrong simulation results are located. However, understanding the model translation process of an EOO compiler is a daunting task that not only requires knowledge of the numerical algorithms that the tool executes during simulation, but also the complex symbolic transformations being performed. As part of this work, methods have been developed and explored where the EOO tool, an enhanced Modelica compiler, records the transformations during the translation process in order to provide better diagnostics, explanations, and analysis. This information is used to generate better error-messages during translation. It is also used to provide better debugging for a simulation that produces unexpected results or where numerical methods fail. Meeting deadlines is particularly important for real-time applications. It is usually essential to identify possible bottlenecks and either simplify the model or give hints to the compiler that enable it to generate faster code. When profiling and measuring execution times of parts of the model the recorded information can also be used to find out why a particular system model executes slowly. Combined with debugging information, it is possible to find out why this system of equations is slow to solve, which helps understanding what can be done to simplify the model. A tool with a graphical user interface has been developed to make debugging and performance profiling easier. Both debugging and profiling have been combined into a single view so that performance metrics are mapped to equations, which are mapped to debugging information. The algorithmic part of Modelica was extended with meta-modeling constructs (MetaModelica) for language modeling. In this context a quite general approach to debugging and compilation from (extended) Modelica to C code was developed. That makes it possible to use the same executable format for simulation executables as for compiler bootstrapping when the compiler written in MetaModelica compiles itself. Finally, a method and tool prototype suitable for speeding up simulations has been developed. It works by partitioning the model at appropriate places and compiling a simulation executable for a suitable parallel platform.
Author: R.N. Horspool
Publisher: Springer
ISBN: 038735350X
Category : Computers
Languages : en
Pages : 355
Get Book Here
Book Description
This state-of-the-art book aims to address problems and solutions in implementing complex and high quality systems past the year 2000. In particular, it focuses on the development of languages, methods and tools and their further evaluation. Among the issues discussed are the following: evolution of software systems; specific application domains; supporting portability and reusability of software components; the development of networking software; and software architectures for various application domains. This book comprises the proceedings of the International Conference on Systems Implementation 2000: Languages, Methods and Tools, sponsored by the International Federation for Information Processing (IFIP) and was held in Germany, in February 1998. It will be particularly relevant to researchers in the field of software engineering and to software developers working in larger companies.
Author: Donald Davidson
Publisher: Springer
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 800
Get Book Here
Book Description
The idea that prompted the conferenee for which many of these papers were written, and that inspired this book, is stated in the Editorial Introduction reprinted below from Volume 21 of Synthese. The present volume contains the artieles in Synthese 21, Numbers 3-4 and Synthese 22, Numbers 1-2. In addition, it ineludes new papers by Saul Kripke, James McCawley, John R. Ross, and Paul Ziff, and reprints 'Grammar and Philosophy' by P. F. Strawson. Strawson's artiele first appeared in the Proceedings of the Aristotelian Society, Volume 70, and is reprinted with the kind permission of the author and the Aristotelian Society. We also repeat our thanks to the Olivetti Companyand Edizione di Comunita of Milan for permission to inelude the paper by Dana Scott; it also appeared in Synthese 21. DONALO DAVIDSON GILBERT HARMAN EDITORIAL INTRODUCTION The success of linguistics in treating naturallanguages as formal syntactic systems has aroused the interest of a number of linguists in a paralleI or related development of semantics. For the most part quite independ ently, many philosophers and logicians have reeently been applying formai semantic methods to structures increasingly like naturallanguages. While differenees in training, method and vocabulary tend to veil the fact, philosophers and linguists are converging, it seerns, on a common set of interrelated probiems. Sinee philosophers and linguists are working on the same, or very similar, probiems, it would obviously be instructive to compare notes.
Author: Peter Fritzson
Publisher: John Wiley & Sons
ISBN: 1118859162
Category : Computers
Languages : en
Pages : 1268
Get Book Here
Book Description
Fritzson covers the Modelica language in impressive depth from the basic concepts such as cyber-physical, equation-base, object-oriented, system, model, and simulation, while also incorporating over a hundred exercises and their solutions for a tutorial, easy-to-read experience. The only book with complete Modelica 3.3 coverage Over one hundred exercises and solutions Examines basic concepts such as cyber-physical, equation-based, object-oriented, system, model, and simulation
Author: Dines Bjørner
Publisher: Springer
ISBN: 3540455752
Category : Computers
Languages : en
Pages : 561
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.
