作者: CURT 時間: 2025-3-21 21:58
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardwarl is really a program in a domain specific language defined by a monad for shared-state concurrency. Can these models be compiled into efficient implementations? This paper addresses this question and presents an overview of techniques for compiling monadic concurrency models directly into reasonabl作者: 波動 時間: 2025-3-22 02:53 作者: Collar 時間: 2025-3-22 06:46
Gel: A Generic Extensible Languagetic richness of custom languages. Generic Extensible Language (Gel) is a rich generic syntax that embodies many of the common syntactic conventions for operators, grouping and lists in widely-used languages. Prefix/infix operators are disambiguated by white-space, so that documents which violate com作者: 提升 時間: 2025-3-22 09:49 作者: liposuction 時間: 2025-3-22 16:27 作者: liposuction 時間: 2025-3-22 19:48
Unit Testing for Domain-Specific Languages However, a challenge is that tool support for DSLs is lacking when compared to the capabilities offered in general-purpose languages (GPLs), such as Java and C++. For example, support for unit testing a DSL program is absent and debuggers for DSLs are rare. This limits the ability of a developer to作者: Orthodontics 時間: 2025-3-23 00:44 作者: 增減字母法 時間: 2025-3-23 02:06 作者: 輕觸 時間: 2025-3-23 07:40
CLOPS: A DSL for Command Line Options’s parameterization and their option formats are simple. But as the program evolves, so does the parameterization and the available options. Gradually, option parsing, data structure complexity, and maintenance of related program documentation becomes unwieldy. This article introduces a novel DSL ca作者: 使?jié)M足 時間: 2025-3-23 13:02
Nettle: A Language for Configuring Routing Networksr this task is the . (BGP) [1], which allows autonomous systems to independently define their own route preferences and route advertisement policies. By careful design of these BGP policies, autonomous systems can achieve a variety of objectives..Currently available configuration and policy language作者: jagged 時間: 2025-3-23 14:02
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskellors useful for solving that particular class of problems. Such a language can be of two kinds: it can form a new language or it can be embedded as a sublanguage in an existing one. We describe an embedded DSL in the form of a library which extends a general purpose language. Our domain is that of vu作者: AXIS 時間: 2025-3-23 20:05
Domain-Specific Language for HW/SW Co-design for FPGAs configurable logic in addition to embedded processors, distributed RAM blocks, and DSP slices in order to help facilitate building HW/SW co-designed systems. A technical challenge in building such systems is that the practice of designing software and hardware requires different areas of expertise 作者: integrated 時間: 2025-3-23 22:14 作者: Connotation 時間: 2025-3-24 05:37 作者: 冰雹 時間: 2025-3-24 10:22
A DSL for Explaining Probabilistic Reasoningnations of how and why those results were obtained. We posit that if users are to understand computations produced by a language, that language should provide explanations to the user..As an example of such an explanation-oriented language we present a domain-specific language for explaining probabi作者: Bureaucracy 時間: 2025-3-24 13:54 作者: 廚師 時間: 2025-3-24 16:10
Operator Language: A Program Generation Framework for Fast Kernelseneration system Spiral beyond the transform domain. Using OL, we show how to automatically generate library functionality for the fast Fourier transform and multiple non-transform kernels, including matrix-matrix multiplication, synthetic aperture radar (SAR), circular convolution, sorting networks作者: 顯微鏡 時間: 2025-3-24 19:08
A MuDDy Experience–ML Bindings to a BDD Librarylgorithms before handing over the grunt work to the C library. I show how, with a relatively little effort, you can make a domain specific language for concurrent finite state-machines embedded in Standard ML and then write various custom model-checking algorithms for this domain specific embedded language?(DSEL).作者: 朝圣者 時間: 2025-3-25 01:24
A Haskell Hosted DSL for Writing Transformation Systemsegy control language in the tradition of Stratego and Strafunski. It is intended for writing reasonably efficient rewrite systems, makes use of type families to provide a delimited generic mechanism for tree rewriting, and provides support for efficient identity rewrite detection.作者: 人類學(xué)家 時間: 2025-3-25 05:35 作者: 使聲音降低 時間: 2025-3-25 10:26 作者: 變態(tài) 時間: 2025-3-25 12:29
Rosalba D’Onofrio,Elio Trusianior of explanations, we identify generic constructs for building stories out of events, and obtaining explanations by applying stories to specific examples. These generic constructs are then adapted to the particular explanation domain of probabilistic reasoning. Finally, we develop a visual notation for explaining probabilistic reasoning.作者: Feigned 時間: 2025-3-25 17:06
Rosalba D’Onofrio,Elio Trusianiterpretive overhead on deterministic parts of a model. We thus take advantage of the existing OCaml implementation to achieve competitive performance and ease of use. Inference algorithms can easily be embedded in probabilistic programs themselves.作者: hangdog 時間: 2025-3-25 22:13 作者: 向下五度才偏 時間: 2025-3-26 00:23 作者: 愉快么 時間: 2025-3-26 06:46 作者: 雄偉 時間: 2025-3-26 10:09
Embedded Probabilistic Programmingterpretive overhead on deterministic parts of a model. We thus take advantage of the existing OCaml implementation to achieve competitive performance and ease of use. Inference algorithms can easily be embedded in probabilistic programs themselves.作者: unstable-angina 時間: 2025-3-26 13:25
Operator Language: A Program Generation Framework for Fast Kernelsewriting systems, a structural architecture model and empirical search, we automatically generate very fast C implementations for state-of-the-art multicore CPUs that rival hand-tuned implementations.作者: GEM 時間: 2025-3-26 20:14
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardwarmentations? This paper addresses this question and presents an overview of techniques for compiling monadic concurrency models directly into reasonably efficient software and hardware implementations. The implementation techniques described in this article form the basis of a semantics-directed approach to model-driven engineering.作者: 天空 時間: 2025-3-27 00:34
Carolina Sampedro,Carlos F. Menalgorithms before handing over the grunt work to the C library. I show how, with a relatively little effort, you can make a domain specific language for concurrent finite state-machines embedded in Standard ML and then write various custom model-checking algorithms for this domain specific embedded language?(DSEL).作者: 拱墻 時間: 2025-3-27 02:05 作者: 逃避責(zé)任 時間: 2025-3-27 07:16 作者: arterioles 時間: 2025-3-27 10:50
Carolina Sampedro,Carlos F. Menamentations? This paper addresses this question and presents an overview of techniques for compiling monadic concurrency models directly into reasonably efficient software and hardware implementations. The implementation techniques described in this article form the basis of a semantics-directed approach to model-driven engineering.作者: BET 時間: 2025-3-27 17:18 作者: canonical 時間: 2025-3-27 18:01 作者: commensurate 時間: 2025-3-27 23:18 作者: 平靜生活 時間: 2025-3-28 05:55
Alexander Fekete,Frank Fiedrichll. To validate our design we implemented a simple transactional system following the description of the original Haskell system. CMTJava is implemented as a state passing monad using BBGA closures, a Java extension that supports closures in Java.作者: 坦白 時間: 2025-3-28 08:55
Resilience History and Focus in the USA parser that performs validity checks, and (3)?command line documentation. We have exercised CLOPS by specifying the options of a small set of programs like ., ., and . which have complex command line interfaces. These examples are provided with the Open Source release of the CLOPS system.作者: 絆住 時間: 2025-3-28 11:19 作者: 出生 時間: 2025-3-28 17:28
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applicationsized with respect to taxonomical information..We have implemented a visual environment to develop taxonomies and orchestration rules. Furthermore, we have developed a compiler for Pantagruel and successfully used it for applications in various pervasive computing areas, such as home automation and building management.作者: 支形吊燈 時間: 2025-3-28 18:52 作者: Congeal 時間: 2025-3-29 02:16 作者: 綁架 時間: 2025-3-29 04:35 作者: absolve 時間: 2025-3-29 10:15
Domain-Specific Languages978-3-642-03034-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: nullify 時間: 2025-3-29 14:20
Sustainable Development and Biodiversitye portable, but an unidiomatic translation jeopardizes performance because, in practice, language implementations favor the common cases. This tension arises especially when the domain calls for complex control structures. We illustrate this tension by revisiting Landin’s original correspondence bet作者: Binge-Drinking 時間: 2025-3-29 18:15 作者: PHAG 時間: 2025-3-29 21:15 作者: 向前變橢圓 時間: 2025-3-30 00:17
Gonzalo Rivas-Torres,Damian C. Adamstic richness of custom languages. Generic Extensible Language (Gel) is a rich generic syntax that embodies many of the common syntactic conventions for operators, grouping and lists in widely-used languages. Prefix/infix operators are disambiguated by white-space, so that documents which violate com作者: 無目標(biāo) 時間: 2025-3-30 07:11 作者: 容易懂得 時間: 2025-3-30 11:07
https://doi.org/10.1007/978-3-319-68179-5sal specifications from type-specific actions, (2) expressiveness and reusability of traversal specifications, and (3) supporting structure-shy traversal specifications that require minimal adaptation in the face of schema evolution. This paper presents .anguage for .mbedded qu.ry and traver.l (LEES作者: integral 時間: 2025-3-30 15:58
B. Raouyane,S. Khairi,I. Haddar,M. Bellafkih However, a challenge is that tool support for DSLs is lacking when compared to the capabilities offered in general-purpose languages (GPLs), such as Java and C++. For example, support for unit testing a DSL program is absent and debuggers for DSLs are rare. This limits the ability of a developer to作者: ASTER 時間: 2025-3-30 17:30 作者: 高歌 時間: 2025-3-30 23:02 作者: deceive 時間: 2025-3-31 03:19
Resilience History and Focus in the USA’s parameterization and their option formats are simple. But as the program evolves, so does the parameterization and the available options. Gradually, option parsing, data structure complexity, and maintenance of related program documentation becomes unwieldy. This article introduces a novel DSL ca作者: 抱狗不敢前 時間: 2025-3-31 07:46
Urban Disaster Resilience and Securityr this task is the . (BGP) [1], which allows autonomous systems to independently define their own route preferences and route advertisement policies. By careful design of these BGP policies, autonomous systems can achieve a variety of objectives..Currently available configuration and policy language作者: 善于騙人 時間: 2025-3-31 12:02
Private Military and Security Companiesors useful for solving that particular class of problems. Such a language can be of two kinds: it can form a new language or it can be embedded as a sublanguage in an existing one. We describe an embedded DSL in the form of a library which extends a general purpose language. Our domain is that of vu作者: insular 時間: 2025-3-31 14:39
Private Military and Security Companies configurable logic in addition to embedded processors, distributed RAM blocks, and DSP slices in order to help facilitate building HW/SW co-designed systems. A technical challenge in building such systems is that the practice of designing software and hardware requires different areas of expertise 作者: 刺耳的聲音 時間: 2025-3-31 20:37 作者: GRATE 時間: 2025-4-1 00:29
Rosalba D’Onofrio,Elio Trusianixperimentation on game theoretic models. Unfortunately, despite relying heavily on automation, this approach has not been well supported by tools. Here we present our continuing work on Hagl, a domain-specific language embedded in Haskell, intended to drastically reduce the development time of such 作者: Custodian 時間: 2025-4-1 05:29
Rosalba D’Onofrio,Elio Trusianinations of how and why those results were obtained. We posit that if users are to understand computations produced by a language, that language should provide explanations to the user..As an example of such an explanation-oriented language we present a domain-specific language for explaining probabi作者: 手勢 時間: 2025-4-1 08:18
Rosalba D’Onofrio,Elio Trusianiation of side effects. We use these techniques to build a DSL for ., for expressing countable probabilistic models and performing exact inference and importance sampling on them. Our language is embedded as an ordinary OCaml library and represents probability distributions as ordinary OCaml programs作者: Ascendancy 時間: 2025-4-1 11:26
Maintainability and Developmenteneration system Spiral beyond the transform domain. Using OL, we show how to automatically generate library functionality for the fast Fourier transform and multiple non-transform kernels, including matrix-matrix multiplication, synthetic aperture radar (SAR), circular convolution, sorting networks作者: 墊子 時間: 2025-4-1 14:48
