Dynamic Language Embedding With Homogeneous Tool Support
Author: Lukas Renggli
Publisher: Lukas Renggli
Published: 2010
Total Pages: 176
ISBN-13:
DOWNLOAD EBOOKPosts
Dynamic Language Embedding
Author: Lukas Renggli
Publisher: Lulu.com
Published: 2010-09-24
Total Pages: 176
ISBN-13: 1387214586
DOWNLOAD EBOOKIn this dissertation we present Helvetia, a novel approach to embed languages into an existing host language by leveraging the underlying representation of the host language used by these tools. We introduce Language Boxes, an approach that offers a simple, modular mechanism to encapsulate (i) compositional changes to the host language, (ii) transformations to address various concerns such as compilation and syntax highlighting, and (iii) scoping rules to control visibility of fine-grained language changes. We describe the design and implementation of Helvetia and Language Boxes, discuss the required infrastructure of a host language enabling language embedding, and validate our approach by case studies that demonstrate different ways to extend or adapt the host language syntax and semantics.
Software Languages
Author: Ralf Lämmel
Publisher: Springer
Published: 2018-05-17
Total Pages: 448
ISBN-13: 3319908006
DOWNLOAD EBOOKThis book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software development. It presents software languages primarily from a software engineering perspective, i.e., it addresses how to parse, analyze, transform, generate, format, and otherwise process software artifacts in different software languages, as they appear in software development. To this end, it covers a wide range of software languages – most notably programming languages, domain-specific languages, modeling languages, exchange formats, and specifically also language definition languages. Further, different languages are leveraged to illustrate software language engineering concepts and techniques. The functional programming language Haskell dominates the book, while the mainstream programming languages Python and Java are additionally used for illustration. By doing this, the book collects and organizes scattered knowledge from software language engineering, focusing on application areas such as software analysis (software reverse engineering), software transformation (software re-engineering), software composition (modularity), and domain-specific languages. It is designed as a textbook for independent study as well as for bachelor’s (advanced level) or master’s university courses in Computer Science. An additional website provides complementary material, for example, lecture slides and videos. This book is a valuable resource for anyone wanting to understand the fundamental concepts and important engineering principles underlying software languages, allowing them to acquire much of the operational intelligence needed for dealing with software languages in software development practice. This is an important skill set for software engineers, as languages are increasingly permeating software development.
ECOOP 2010 -- Object-Oriented Programming
Author: Theo D'Hondt
Publisher: Springer
Published: 2010-06-29
Total Pages: 610
ISBN-13: 3642141072
DOWNLOAD EBOOKAnnotation This book constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. The 24 revised full papers, presented together with one extended abstract were carefully reviewed and selected from a total of 108 submissions. The papers cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, concurrency models in Java, empirical methods, type systems, language design and implementation, concurrency abstractions and experiences.
Languages, Design Methods, and Tools for Electronic System Design
Author: Marie-Minerve Louërat
Publisher: Springer
Published: 2014-08-21
Total Pages: 326
ISBN-13: 3319063170
DOWNLOAD EBOOKThis book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems and mixed-technology systems.
Embedded Systems Handbook
Author: Richard Zurawski
Publisher: CRC Press
Published: 2005-08-16
Total Pages: 1161
ISBN-13: 1420038168
DOWNLOAD EBOOKEmbedded systems are nearly ubiquitous, and books on individual topics or components of embedded systems are equally abundant. Unfortunately, for those designers who thirst for knowledge of the big picture of embedded systems there is not a drop to drink. Until now. The Embedded Systems Handbook is an oasis of information, offering a mix of basic a
Advances in Software Tools for Scientific Computing
Author: Hans P. Langtangen
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 362
ISBN-13: 3642571727
DOWNLOAD EBOOKTo make full use of the ever increasing hardware capabilities of modern com puters, it is necessary to speedily enhance the performance and reliability of the software as well, and often without having a suitable mathematical theory readily available. In the handling of more and more complex real-life numerical problems in all sorts of applications, a modern object-oriented de sign and implementation of software tools has become a crucial component. The considerable challenges posed by the demand for efficient object-oriented software in all areas of scientific computing make it necessary to exchange ideas and experiences from as many different sources as possible. Motivated by the success of the first meeting of this kind in Norway in 1996, we decided to organize another International Workshop on Modern Software Tools for Scientific Computing, often referred to as SciTools'98. This workshop took place in Oslo, Norway, September 14-16, 1998. The ob jective was again to provide an open forum for exchange and discussion of modern, state-of-the-art software techniques applied to challenging numerical problems. The organization was undertaken jointly by the research institute SINTEF Applied Mathematics, the Departments of Mathematics and Infor matics at the University of Oslo, and the company Numerical Objects AS.
Embedded Systems Development
Author: Alberto Sangiovanni-Vincentelli
Publisher: Springer Science & Business Media
Published: 2013-07-19
Total Pages: 219
ISBN-13: 1461438799
DOWNLOAD EBOOKThis book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.
Design Technology for Heterogeneous Embedded Systems
Author: Gabriela Nicolescu
Publisher: Springer Science & Business Media
Published: 2012-02-02
Total Pages: 473
ISBN-13: 9400711255
DOWNLOAD EBOOKDesign technology to address the new and vast problem of heterogeneous embedded systems design while remaining compatible with standard “More Moore” flows, i.e. capable of simultaneously handling both silicon complexity and system complexity, represents one of the most important challenges facing the semiconductor industry today and will be for several years to come. While the micro-electronics industry, over the years and with its spectacular and unique evolution, has built its own specific design methods to focus mainly on the management of complexity through the establishment of abstraction levels, the emergence of device heterogeneity requires new approaches enabling the satisfactory design of physically heterogeneous embedded systems for the widespread deployment of such systems. Heterogeneous Embedded Systems, compiled largely from a set of contributions from participants of past editions of the Winter School on Heterogeneous Embedded Systems Design Technology (FETCH), proposes a necessarily broad and holistic overview of design techniques used to tackle the various facets of heterogeneity in terms of technology and opportunities at the physical level, signal representations and different abstraction levels, architectures and components based on hardware and software, in all the main phases of design (modeling, validation with multiple models of computation, synthesis and optimization). It concentrates on the specific issues at the interfaces, and is divided into two main parts. The first part examines mainly theoretical issues and focuses on the modeling, validation and design techniques themselves. The second part illustrates the use of these methods in various design contexts at the forefront of new technology and architectural developments.
Readings in Hardware/Software Co-Design
Author: Giovanni De Micheli
Publisher: Morgan Kaufmann
Published: 2002
Total Pages: 714
ISBN-13: 1558607021
DOWNLOAD EBOOKThis title serves as an introduction ans reference for the field, with the papers that have shaped the hardware/software co-design since its inception in the early 90s.
