Filters








6,362 Hits in 2.4 sec

Building embedded systems with embedded DSLs

Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury
2014 SIGPLAN notices  
The autopilot is approximately 50k lines of C code generated from 10k lines of EDSL code and includes control laws, mode logic, encrypted communications system, and device drivers.  ...  We report on our experiences in synthesizing a fully-featured autopilot from embedded domain-specific languages (EDSLs) hosted in Haskell.  ...  Type-checking for embedded programming Build times are nontrivial for large software systems.  ... 
doi:10.1145/2692915.2628146 fatcat:6hnxyj264jdchig3gltwunctce

Building embedded systems with embedded DSLs

Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
The autopilot is approximately 50k lines of C code generated from 10k lines of EDSL code and includes control laws, mode logic, encrypted communications system, and device drivers.  ...  We report on our experiences in synthesizing a fully-featured autopilot from embedded domain-specific languages (EDSLs) hosted in Haskell.  ...  Type-checking for embedded programming Build times are nontrivial for large software systems.  ... 
doi:10.1145/2628136.2628146 dblp:conf/icfp/HickeyPEBL14 fatcat:z2a7dkk66jbc3kcdimjjhqul34

Embedded system design and code generation by using the DSL and T4

Phạm Văn Hưởng, Nguyễn Ngọc Bình
2013 Journal of Computer Science and Cybernetics  
vngugesD uild the orresponding metE models nd develop our frmeworkF he frmework is to design the models of emedded system suh s the rhiteturl model nd the omponent modelF st is lso to design the flow  ...  n ph¦n m·m trong h» thèng nhóngF ø mae h¼nh thi¸t k¸D dü tr ¶n aeng ngh» sinh m¢ R 1º sinh m¢ theo ¡ ngaen ngú kh¡ nhuF Abstract. sn the development trend of emedded tehnologyD the methods of emedded system  ...  We define the second DSL and build the metamodel for designing the component model of the embedded system.  ... 
doi:10.15625/1813-9663/28/4/973 fatcat:7rc5w6cku5ck5kegd45pxkxixu

HAAIS-DSL

Pedro J. Clemente, José M. Conejero, Juan Hernández, Lara Sánchez
2009 Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems - IIES '09  
The system implementation Back-End: The code for embedded devices (sensors, actuators, etc.)  ...  The system implementation Back-End: The code for embedded devices (sensors, actuators, etc.)  ... 
doi:10.1145/1519130.1519133 fatcat:gdpkkzeetvhojgbbex3aciyhcy

Embedded System Architecture Design and Optimization at the Model Level

Pham Van Pham Van, Nguyen Ngoc Binh
2012 International Journal of Computer and Communication Engineering  
 Abstract-Design and optimization of embedded systems play an important role in development trend of embedded technology.  ...  Index Terms-ESembedded system, embedded system design, pareto principle, multi-objective optimization, DSLdomain specific language, T4 -text template transformation toolkit, GAgenetic algorithm.  ...  as in After building the meta-model of the DSL, we package this framework as the tool which is used to design architectural model of embedded system.  ... 
doi:10.7763/ijcce.2012.v1.87 fatcat:aykfc2wpyvf6tnlcmdou7wrgye

A Compiler-Compiler for DSL Embedding [article]

Amir Shaikhha, Vojin Jovanovic, Christoph Koch
2018 arXiv   pre-print
This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of extensible optimizing compilers.  ...  In this paper, we present a framework to generate compilers for embedded domain-specific languages (EDSLs).  ...  Different system component libraries can be considered as different DSLs, for which system developers extend SC to build DSL compilers.  ... 
arXiv:1808.01344v1 fatcat:4ewqfcytxvha3dkzydsxfucxqq

Optimizing occupied memory of embedded software in the design phase

Phạm Văn Hưởng, Nguyễn Ngọc Bình, Phạm Ngọc Thanh
2012 Journal of Computer Science and Cybernetics  
In this paper, we propose a new method to optimize the occupied memory of embedded software in the design phase based on DSL, T4 and Topological sort.  ...  Nowadays, the optimizing embedded software plays an important role in the development of embedded software technology.  ...  According to the approach of embedded software and embedded system optimization based on DSL, we have proposed two optimization methods such as Hardware-software co-design to optimize embedded system in  ... 
doi:10.15625/1813-9663/28/3/895 fatcat:zwk3s52winbktkc74rh4lffndy

Polymorphic embedding of dsls

Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors
2008 Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08  
With polymorphic embedding, the static type-safety, modularity, composability and rapid prototyping of pure embedding are reconciled with the flexibility attainable by external toolchains.  ...  The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a single semantics.  ...  Recent research has shown that even complex type systems can be embedded into the type system of a host language with a sufficiently advanced type system [31] .  ... 
doi:10.1145/1449913.1449935 dblp:conf/gpce/HoferORM08 fatcat:zbfzv7p3e5hn3b7ha62tdyhpie

Language virtualization for heterogeneous parallel computing

Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun
2010 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10  
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, OpenCL).  ...  We propose language virtualization as a new principle that enables the construction of highly efficient parallel domain specific languages that are embedded in a common host language.  ...  Embedded DSLs and Language Virtualization Embedded DSLs [22] overcome the problems with external DSLs and make DSL development more tractable. An embedded DSL lives inside of a host language.  ... 
doi:10.1145/1869459.1869527 dblp:conf/oopsla/ChafiDMRSHOO10 fatcat:wgsarnltdnebfmfkp6xejvwl6m

Domain specific language implementation via compile-time meta-programming

Laurence Tratt
2008 ACM Transactions on Programming Languages and Systems  
I conclude by separating out the parts of Converge fundamental to homogeneous DSL embedding, and explain how such features could be integrated into similar systems.  ...  DSL input using the src info concept, and how DSL embeddings can be made hygienic (analogous to LISP macros [Kohlbecker et al. 1986] ).  ...  Building on its compile-time meta-programming features, the main feature to allow DSL embeddings is the DSL block, which allows arbitrary syntaxes to be embedded in the language.  ... 
doi:10.1145/1391956.1391958 fatcat:ekqgxxwzlbfyvd2v5birrowo7u

Language virtualization for heterogeneous parallel computing

Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun
2010 SIGPLAN notices  
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, OpenCL).  ...  We propose language virtualization as a new principle that enables the construction of highly efficient parallel domain specific languages that are embedded in a common host language.  ...  Embedded DSLs and Language Virtualization Embedded DSLs [22] overcome the problems with external DSLs and make DSL development more tractable. An embedded DSL lives inside of a host language.  ... 
doi:10.1145/1932682.1869527 fatcat:b26cnd5a5vbmpktbmjb7gcigfm

Embedding and Parsing Combined for Efficient Language Design
english

Gergely Dévai, Dániel Leskó, Máté Tejfel
2013 Proceedings of the 8th International Joint Conference on Software Technologies  
This paper presents the lessons learnt from a DSL development research project in industry-university cooperation, that combined the advantages of the two approaches: the flexibility of embedding in the  ...  One way to develop domain specific languages is to define their concrete syntax and create support for it using classical compiler technology (maybe with the support of language workbenches).  ...  ACKNOWLEDGEMENTS This paper evaluates a language development methodology that starts the design and implementation with an embedded language, then defines concrete syntax and implements support for it.  ... 
doi:10.5220/0004591802440250 dblp:conf/icsoft/DevaiLT13 fatcat:dteg53aprzbrbaesywz6fvgpx4

Composition and Reuse with Compiled Domain-Specific Languages [chapter]

Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun
2013 Lecture Notes in Computer Science  
In this paper, we present four new performance-oriented DSLs developed with Delite, an extensible DSL compilation framework.  ...  Lexer Parser Type checker Embedded front--end External front--end Full embedding (composable) Front--end embedding (not composable)  ...  We are grateful to the anonymous reviewers for their detailed suggestions, to Nada Amin for her assistance with the Scala-Virtualized compiler, and to Peter Kessler and Zach DeVito for reviewing previous  ... 
doi:10.1007/978-3-642-39038-8_3 fatcat:i7dx3t7xjze7rls2cl2dmke7ue

Implementing modular domain specific languages and analyses

Daniel Ratiu, Markus Voelter, Zaur Molotnikov, Bernhard Schaetz
2012 Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12  
This paper presents our approach for using the Meta-Programming System to implement domain specific languages and analyses both as extensions of C and in the domain of intelligent buildings.  ...  Language fragments (aka. language modules) together with a set of analyses defined for them can be reused between different DSLs, making the implementation of analyses significantly easier.  ...  To simplify this approach, we modularize DSLs along two orthogonal dimensions. Application domains -e.g. embedded systems, smart buildings Analysis tools -e.g.  ... 
doi:10.1145/2427376.2427383 fatcat:x5c6jil3xreipbkipectvbxdaa

Scala-virtualized

Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky
2012 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12  
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embeddings of DSLs.  ...  Supporting artifacts of our tool include web-based tutorials, nightly builds, and an Eclipse update site hosting an up-to-date version of the Scala IDE for Eclipse based on the Virtualized Scala compiler  ...  Applying this principle naively, you end up with a "shallow embedding": DSL programs are just thinly veiled Scala programs.  ... 
doi:10.1145/2103746.2103769 dblp:conf/pepm/MoorsRHO12 fatcat:rlvilrxd3rawvcq275epve7oe4
« Previous Showing results 1 — 15 out of 6,362 results