Proceedings of the 1st International Workshop on Real World Domain Specific Languages最新文献

Industrial Application of Domain Specific Languages Combined with Formal Techniques 领域特定语言与形式化技术相结合的工业应用

Proceedings of the 1st International Workshop on Real World Domain Specific Languages Pub Date : 2016-03-12 DOI: 10.1145/2889420.2889421

Mathijs Schuts, J. Hooman

引用次数: 3

Automatic Generation of Code Analysis Tools: The CastQL Approach 代码分析工具的自动生成:CastQL方法

Proceedings of the 1st International Workshop on Real World Domain Specific Languages Pub Date : 2016-03-12 DOI: 10.1145/2889420.2889422

Christakis Lezos, G. Dimitroulakos, I. Latifis, K. Masselos

{"title":"Automatic Generation of Code Analysis Tools: The CastQL Approach","authors":"Christakis Lezos, G. Dimitroulakos, I. Latifis, K. Masselos","doi":"10.1145/2889420.2889422","DOIUrl":"https://doi.org/10.1145/2889420.2889422","url":null,"abstract":"Source code analysis and manipulation tools have become an essential part of software development processes. Automating the development of such tools can heavily reduce development time, effort and cost. This paper proposes a framework for the efficient development of code analysis software. A tool for automatically generating the front end of analysis tools for a given language grammar is proposed. The proposed approach can be applied to any language that can be described using the BNF notation. The proposed framework also provides a domain specific language to concisely express queries on the internal representation generated by the front end. This language tackles the problem of writing complex code in a general purpose programming language in order to retrieve information from the internal representation. The approach has been evaluated through two different realistic usage scenarios applied to a number of different benchmark applications. The front end generator has also been tested for twenty input grammars. In all cases the software generated by the proposed framework functions according to the input grammar while the development time has been reduced on average down to 12% compared to equivalent handwritten implementations. The experimental results give evidence that the use of the proposed framework can heavily reduce the relevant design effort and cost.","PeriodicalId":321825,"journal":{"name":"Proceedings of the 1st International Workshop on Real World Domain Specific Languages","volume":"404 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122864852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Why So Many?: A Brief Tour of Haskell DSLs for Parallel Programming 为什么这么多?并行编程的Haskell dsl简介

Proceedings of the 1st International Workshop on Real World Domain Specific Languages Pub Date : 2016-03-12 DOI: 10.1145/2889420.2893172

Patrick Maier

{"title":"Why So Many?: A Brief Tour of Haskell DSLs for Parallel Programming","authors":"Patrick Maier","doi":"10.1145/2889420.2893172","DOIUrl":"https://doi.org/10.1145/2889420.2893172","url":null,"abstract":"The proliferation of inexpensive parallel compute devices, from multicore CPUs and GPUs to manycore co-processors and FPGAs, has increased the demand for parallel programming languages. Yet, unlike in the 1970s and 80s, this has not spawned a flurry of entirely new programming languages. Rather, it has driven the development of parallel extensions and libraries for existing languages. Functional programming has been hailed as an answer to the parallel software crisis, even before that crisis erupted. Absence of side effects and mutable state, the argument goes, eliminates many of the thorny issues (like locking and data races) that plague developers in mainstream imperative programming languages, while also enabling automated scheduling of parallelism. This leaves the functional programmer to concentrate solely on introducing parallelism into their application. Voilà, the dream of declarative parallel programming come true. The popular functional language Haskell should have been wellplaced to deliver on these promises. In fact, the GUM system [17, 16] did just that in the 1990s, providing an elegant declarative task parallel programming model and a runtime system for transparently scheduling tasks across the network. Proper compiler support for this programming model on multicores, however, did not arrive until 2009 [12, 2, 10], half a decade after multicore CPUs became ubiquitous. And when multicore support went mainstream with GHC release 6.12, it became apparent that the programming model, while elegant, is intricately interwoven with Haskell’s non-strict evaluation order. This makes predicting the behaviour of a parallel Haskell program more difficult than it would be in a strict language, and constitutes a major hurdle for parallel programmers, particularly for Haskell novices. Moreover, by 2009 multicores weren’t the only parallel game anymore; GPUs had the buzz. Yet, the task parallel programming model that works well on multicore CPUs is not suited for offloading computations to data parallel devices like GPUs.","PeriodicalId":321825,"journal":{"name":"Proceedings of the 1st International Workshop on Real World Domain Specific Languages","volume":"512 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116332456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Proceedings of the 1st International Workshop on Real World Domain Specific Languages 第一届“真实世界领域特定语言”国际研讨会论文集

Proceedings of the 1st International Workshop on Real World Domain Specific Languages Pub Date : 2016-03-12 DOI: 10.1145/2889420

Robert J. Stewart, G. Michaelson

引用次数: 0

Are there Domain Specific Languages? 是否存在领域特定语言?

Proceedings of the 1st International Workshop on Real World Domain Specific Languages Pub Date : 2016-03-12 DOI: 10.1145/2889420.2892271

G. Michaelson

引用次数: 0

Visual Instance Inlining and Specialization: Building Domain-Specific Diagrams from Reusable Types 可视化实例内联和专门化:从可重用类型构建领域特定图

Proceedings of the 1st International Workshop on Real World Domain Specific Languages Pub Date : 2016-03-12 DOI: 10.1145/2889420.2889423

Niklas Fors, G. Hedin

引用次数: 2

An Image Processing Language: External and Shallow/Deep Embeddings 一种图像处理语言:外部和浅/深嵌入

Proceedings of the 1st International Workshop on Real World Domain Specific Languages Pub Date : 2016-03-12 DOI: 10.1145/2889420.2892270

Robert J. Stewart

引用次数: 3