Skip to main content
main-content

Über dieses Buch

Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing? The disciplined study of domain-speci?c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the ?eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. – They relate to a well-de?ned domain of discourse, be it controlling tra?c lights or space ships. – They have well-de?ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. – The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di?erent notations that may be received very di?erently by users. – The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online.

Inhaltsverzeichnis

Frontmatter

Semantics

2009 | OriginalPaper | Buchkapitel

J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations

Olivier Danvy, Chung-chieh Shan, Ian Zerny

2009 | OriginalPaper | Buchkapitel

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software

William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein

Methods and Tools

2009 | OriginalPaper | Buchkapitel

A MuDDy Experience–ML Bindings to a BDD Library

Ken Friis Larsen

2009 | OriginalPaper | Buchkapitel

Gel: A Generic Extensible Language

Jose Falcon, William R. Cook

2009 | OriginalPaper | Buchkapitel

A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications

Zoé Drey, Julien Mercadal, Charles Consel

2009 | OriginalPaper | Buchkapitel

LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++

Sumant Tambe, Aniruddha Gokhale

2009 | OriginalPaper | Buchkapitel

Unit Testing for Domain-Specific Languages

Hui Wu, Jeff Gray, Marjan Mernik

2009 | OriginalPaper | Buchkapitel

Combining DSLs and Ontologies Using Metamodel Integration

Tobias Walter, Jürgen Ebert

Case Studies

2009 | OriginalPaper | Buchkapitel

A Domain Specific Language for Composable Memory Transactions in Java

André Rauber Du Bois, Marcos Echevarria

2009 | OriginalPaper | Buchkapitel

CLOPS: A DSL for Command Line Options

Mikoláš Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry

2009 | OriginalPaper | Buchkapitel

Nettle: A Language for Configuring Routing Networks

Andreas Voellmy, Paul Hudak

2009 | OriginalPaper | Buchkapitel

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell

A Domain-Specific Library for Computational Vulnerability Assessment
Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu

2009 | OriginalPaper | Buchkapitel

Domain-Specific Language for HW/SW Co-design for FPGAs

Jason Agron

2009 | OriginalPaper | Buchkapitel

A Haskell Hosted DSL for Writing Transformation Systems

Andy Gill

2009 | OriginalPaper | Buchkapitel

Varying Domain Representations in Hagl

Extending the Expressiveness of a DSL for Experimental Game Theory
Eric Walkingshaw, Martin Erwig

2009 | OriginalPaper | Buchkapitel

A DSL for Explaining Probabilistic Reasoning

Martin Erwig, Eric Walkingshaw

2009 | OriginalPaper | Buchkapitel

Embedded Probabilistic Programming

Oleg Kiselyov, Chung-chieh Shan

2009 | OriginalPaper | Buchkapitel

Operator Language: A Program Generation Framework for Fast Kernels

Franz Franchetti, Frédéric de Mesmay, Daniel McFarlin, Markus Püschel

Backmatter

Weitere Informationen

Premium Partner

Neuer Inhalt

BranchenIndex Online

Die B2B-Firmensuche für Industrie und Wirtschaft: Kostenfrei in Firmenprofilen nach Lieferanten, Herstellern, Dienstleistern und Händlern recherchieren.

Whitepaper

- ANZEIGE -

Product Lifecycle Management im Konzernumfeld – Herausforderungen, Lösungsansätze und Handlungsempfehlungen

Für produzierende Unternehmen hat sich Product Lifecycle Management in den letzten Jahrzehnten in wachsendem Maße zu einem strategisch wichtigen Ansatz entwickelt. Forciert durch steigende Effektivitäts- und Effizienzanforderungen stellen viele Unternehmen ihre Product Lifecycle Management-Prozesse und -Informationssysteme auf den Prüfstand. Der vorliegende Beitrag beschreibt entlang eines etablierten Analyseframeworks Herausforderungen und Lösungsansätze im Product Lifecycle Management im Konzernumfeld.
Jetzt gratis downloaden!

Bildnachweise