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.
Filters
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components
[article]
2020
arXiv
pre-print
Preserved Fulltext
This paper introduces fault, a Python embedded hardware verification language that aims to empower design teams to realize the full potential of generators. ...
While hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. ...
This paper presents fault, a domain-specific language (DSL) embedded in Python designed to enable the flexible construction of portable verification components. ...
arXiv:2006.11669v1
fatcat:z4evdff7xnfologjqp6usnhs5a
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
[chapter]
2020
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 2020; you can also visit the original URL.
The file type is application/pdf.
This paper introduces fault, a Python embedded hardware verification language that aims to empower design teams to realize the full potential of generators. ...
While hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. ...
This paper presents fault, a domain-specific language (DSL) embedded in Python designed to enable the flexible construction of portable verification components. ...
doi:10.1007/978-3-030-53288-8_19
fatcat:xoh54ovm5vbe7dl67xj36mrwde
Integrated Toolset for WSN Application Planning, Development, Commissioning and Maintenance: The WSN-DPCM ARTEMIS-JU Project
2016
Sensors
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.
The project acknowledged from the beginning that the technical work of system integrators relies heavily on existing hardware and software components and should focus on application-specific parts, as ...
The tools are integrated in a single platform which promotes software reuse by automatically selecting suitable library components for application synthesis and the abstraction of the underlying architecture ...
but expressive domain-specific language, VectorL. ...
doi:10.3390/s16060804
pmid:27271622
pmcid:PMC4934230
fatcat:yodadujopvefzpj4vujkbjrs5m
Evolving a language in and for the real world
2007
Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III
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.
Specific topics include separate compilation of templates, exception handling, and support for embedded systems programming. ...
During most of the period covered here, C++ was a mature language with millions of users. ...
)
• Games
• • Graphics
• Hardware design and verification [87]
• Low-level system components (device drivers, network
layers, ... ...
doi:10.1145/1238844.1238848
dblp:conf/hopl/Stroustrup07
fatcat:at7lmbdzh5fsnofqizm3a4b2ue
Comparing Selected Criteria of Programming Languages Java, PHP, C++, Perl, Haskell, AspectJ, Ruby, COBOL, Bash Scripts and Scheme Revision 1.0 - a Team CPLgroup COMP6411-S10 Term Report
[article]
2010
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.
Comparison of programming languages is a common topic of discussion among software engineers. ...
Multiple programming languages are designed, specified, and implemented every year in order to keep up with the changing programming paradigms, hardware evolution, etc. ...
HaXML is a domain specific language for parsing, filtering, transforming, and generating XML documents. ...
arXiv:1008.3434v1
fatcat:yc767tog7ze7xf2zboj4lfcaqy
A history of Haskell
2007
Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III
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 2008; you can also visit the original URL.
The file type is application/pdf.
Here they are, with their affiliations during the lifetime of the committee, and identifying those who served as Editor for some iteration of the language: Arvind (MIT), Lennart Augustsson (Chalmers University ...
The members of the Haskell Committee played a particularly important role, however. ...
However, Haskell has been particularly successful for domain-specific embedded languages. Below is a collection of examples. ...
doi:10.1145/1238844.1238856
dblp:conf/hopl/HudakHJW07
fatcat:7i7s3ivrkzhotgoyvjnxcjglxu
Contract Testing for Reliable Embedded Systems
2013
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.
Thanks to many discussions with people from different specific areas of the ECOMODIS project, ...
Surprisingly for me, I have learned about relations and communication as much as I have learned about my subject. ...
We chose Python for its simplicity, also allowing for rapid prototyping thanks to its memory management, metaprogramming features and dynamic typing. ...
doi:10.11588/heidok.00015941
fatcat:2g6nmpletrd4jpcmopzvlvz4aa
A multitasking and data-driven architecture for multi-agents simulations
2006
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.
Our architecture relies on extending the Component Based Development (CBD) model for multitasking architectures. ...
This obliges to define specific patterns either directly inspired by other fields in computer science or dedicated for 3DRTS. ...
in mind. • Embedded scripting languages like [Python] or [Lua] . ...
doi:10.5075/epfl-thesis-3545
fatcat:p7mjymobsvdwdbnftyxefeoqmm
A Proof-Oriented Approach to Low-Level, High-Assurance Programming
2022
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 2022; you can also visit the original URL.
The file type is application/pdf.
We first propose a methodology to composeand verify C and assembly cryptographic implementations against shared specifications. ...
To this end, we present Steel, a novel verificationframework based on a higher-order, impredicative concurrent separation logic shallowly embedded in the F? proof assistant. ...
To tackle this issue, we propose in this chapter an embedded domain-specific language (DSL) within F , based on SteelCore. ...
doi:10.1184/r1/19196696.v1
fatcat:7yx5iem65bglvpryckrq3cf5ru
OASIcs-OpenAccess Series in Informatics
3 rd Symposium on Languages, Applications and Technologies SLATE'14
unpublished
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.
comprehension tools to be used in the maintenance phase, creating domain specific languages or dealing with problems concerning with natural language processing (NLP) and other topics that relate languages ...
This set of presentations is divided into the following five sessions: Domain Specific Languages, includes one full paper and four short papers dedicated to the creation of new DSLs and techniques to implement ...
e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-037281. ...
fatcat:2pxrjyvxijdu5ao3jktis5qbc4
Scalable and privacy-preserving off-chain computations
2021
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 2021; you can also visit the original URL.
The file type is application/pdf.
To bridge this gap, we present ZoKrates, the first language and toolbox for zk-SNARK-based verifiable off-chain computations that allow [...] ...
These properties, however, do not come for free. Unlike other large-scale distributed systems, blockchains do not scale. ...
Efficiency The efficiency goal refers to the domain-specific language for off-chain computations as well as the tooling provided: Programs written in the domain-specific language should translate to an ...
doi:10.14279/depositonce-11883
fatcat:givpsqfi2rgkbjz2ohkpdbr3r4
Language-oriented modeling method engineering
2016
unpublished
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.
To leverage this similarity, a language (MM-DSL) that includes all the relevant metamodeling concepts has been designed. ...
MM-DSL together with its supporting technology enables language-oriented modeling method engineering, where one writes a program that describes a modeling method and translates it to a modeling tool by ...
Groovy itself, because of its support for metaprogramming, is used to create internal or embedded DSLs. ...
doi:10.25365/thesis.43056
fatcat:rtjvzv72kzaapikd5dxsmpnaya
IMPROVING PERFORMANCE OF DATA-CENTRIC SYSTEMS THROUGH FINE-GRAINED CODE GENERATION
2019
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.
The availability of modern hardware with large amounts of memory created a shift in the development of data-centric software; from optimizing I/O operations to optimizing computation. ...
These kinds of systems offer a much simpler interface and allow programmers and scientists to write in a few lines what would have been thousands of lines of low-level MPI code. ...
The embedded code generators in such systems often emit C source code for debuggability, portability, and to benefit from the best compiler for a given hardware platform (e.g., Intel's ICC for x86 processors ...
doi:10.25394/pgs.11413206
fatcat:xffkofd4k5hgre6z3plml2abwm
Network Attack Detection and Defense Early Warning Systems-Challenges and Perspectives (Dagstuhl Seminar 12061) Software Clone Management Towards Industrial Application (Dagstuhl Seminar 12071) Information Visualization, Visual Data Mining and Machine Learning (Dagstuhl Seminar 12081) Principles of Provenance (Dagstuhl Seminar 12091)
2012
unpublished
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.
Arun Bahulkar for the intense discussions and feedback on the software system's problems.
Participants Participants of this working group were as follows: ...
One might choose some kind of abstract interconnection model (e.g., UML, Component/Connector architectues, [9] , Module Interconnection Languages [14] ) or a (set of cooperating) domain specific languages ...
A key problem is choosing an appropriate specification language (raising the domain analysis/engineering question), and determining a specification that can be realized to match the clone instances. ...
fatcat:wwwsqzlhend7ne4x3a5grebnbi
Managing cloud ecosystems
[article]
2018
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.
In addition to these "giants", many smaller ecosystems address more specific challenges. ...
An example is the TRESOR cloud ecosystem, which provides secure cloud services for the German healthcare sector. ...
Domain Specific Languages (DSLs) The presented approach relies on domain-specific languages (DSLs) to persist service descriptions and business vocabularies. ...
doi:10.14279/depositonce-7328
fatcat:qj2cs6grzjgubkhd5s24oq7lfm