Filters








15 Hits in 8.9 sec

fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components [article]

Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan
2020 arXiv   pre-print
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]

Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan
2020 Lecture Notes in Computer Science  
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

Christos Antonopoulos, Katerina Asimogloy, Sarah Chiti, Luca D'Onofrio, Simone Gianfranceschi, Danping He, Antonio Iodice, Stavros Koubias, Christos Koulamas, Luciano Lavagno, Mihai Lazarescu, Gabriel Mujica (+12 others)
2016 Sensors  
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

Bjarne Stroustrup
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
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]

Sultan S. Al-Qahtani, Pawel Pietrzynski, Luis F. Guzman, Rafik Arif, Adrien Tevoedjre
2010 arXiv   pre-print
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

Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
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

Raul Schmidlin Fajardo Silva
2013
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

Sébastien Schertenleib
2006
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

Aymeric Fromherz
2022
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

Maria João, Varanda Pereira, José Leal, Alberto Simões, Maria João, Varanda Pereira, José Leal, Alberto Simões, Daniel Cremers, Barbara Hammer, Marc Langheinrich, Dorothea Wagner
3 rd Symposium on Languages, Applications and Technologies SLATE'14   unpublished
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

Jacob Eberhardt, Technische Universität Berlin, Stefan Tai
2021
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

Niksa Visic
2016 unpublished
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

Gregory M Essertel
2019
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)

Georg Carle, Hervé Debar, Falko Dressler, Hartmut König, Rainer Koschke, Ira Baxter, Michael Conradt, James Cordy, Daniel Keim, Fabrice Rossi, Thomas Seidl, Michel Verleysen (+5 others)
2012 unpublished
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]

Mathias Slawik, Technische Universität Berlin, Technische Universität Berlin, Axel Küpper
2018
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