A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Building embedded systems with embedded DSLs
2014
SIGPLAN notices
Preserved Fulltext
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
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Journal of Computer Science and Cybernetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems - IIES '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Computer and Communication Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2012
Journal of Computer Science and Cybernetics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2010
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 8th International Joint Conference on Software Technologies
english
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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