標(biāo)題: Titlebook: Domain-Specific Program Generation; International Semina Christian Lengauer,Don Batory,Martin Odersky Book 2004 Springer-Verlag Berlin Heid [打印本頁] 作者: raff淫雨霏霏 時(shí)間: 2025-3-21 17:38
書目名稱Domain-Specific Program Generation影響因子(影響力)
書目名稱Domain-Specific Program Generation影響因子(影響力)學(xué)科排名
書目名稱Domain-Specific Program Generation網(wǎng)絡(luò)公開度
書目名稱Domain-Specific Program Generation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Domain-Specific Program Generation被引頻次
書目名稱Domain-Specific Program Generation被引頻次學(xué)科排名
書目名稱Domain-Specific Program Generation年度引用
書目名稱Domain-Specific Program Generation年度引用學(xué)科排名
書目名稱Domain-Specific Program Generation讀者反饋
書目名稱Domain-Specific Program Generation讀者反饋學(xué)科排名
作者: 無能性 時(shí)間: 2025-3-21 20:14
Program Optimization in the Domain of High-Performance ParallelismI consider the problem of the domain-specific optimization of programs. I review different approaches, discuss their potential, and sketch instances of them from the practice of high-performance parallelism. Readers need not be familiar with high-performance computing.作者: 無關(guān)緊要 時(shí)間: 2025-3-22 04:10
Christian Lengauer,Don Batory,Martin OderskyIncludes supplementary material: 作者: Occipital-Lobe 時(shí)間: 2025-3-22 07:51
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/e/image/282528.jpg作者: 幼稚 時(shí)間: 2025-3-22 10:34
Domain-Specific Program Generation978-3-540-25935-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 吞吞吐吐 時(shí)間: 2025-3-22 13:06
https://doi.org/10.1007/978-3-319-95198-0res including higher-order functions, polymorphic types, arbitrary but sized user-defined data structures, asynchronous processes, lightweight exception handling, automatic memory management and domain-specific meta-programming features, whilst seeking to guarantee strong space/time behaviour and maintaining overall determinacy.作者: 吞吞吐吐 時(shí)間: 2025-3-22 20:26
How Should We Teach Physics Today?,ake it possible to use almost the same syntax as in the .. The advantages of this library with respect to a simple . interpreter are that we can transmit any value along names, we can get control over them using the type system, and we have access to the full power of . in terms of expressiveness and libraries.作者: 半身雕像 時(shí)間: 2025-3-22 23:14 作者: FOLD 時(shí)間: 2025-3-23 03:43
,: A Hosted Language for Pi-Calculus Style Concurrencyake it possible to use almost the same syntax as in the .. The advantages of this library with respect to a simple . interpreter are that we can transmit any value along names, we can get control over them using the type system, and we have access to the full power of . in terms of expressiveness and libraries.作者: 脾氣暴躁的人 時(shí)間: 2025-3-23 06:42 作者: 的闡明 時(shí)間: 2025-3-23 12:23 作者: 含糊 時(shí)間: 2025-3-23 17:35 作者: CHASM 時(shí)間: 2025-3-23 20:52 作者: 專橫 時(shí)間: 2025-3-23 22:31 作者: hazard 時(shí)間: 2025-3-24 05:52 作者: mortgage 時(shí)間: 2025-3-24 07:42
https://doi.org/10.1007/978-3-319-95198-0res including higher-order functions, polymorphic types, arbitrary but sized user-defined data structures, asynchronous processes, lightweight exception handling, automatic memory management and domain-specific meta-programming features, whilst seeking to guarantee strong space/time behaviour and ma作者: LINE 時(shí)間: 2025-3-24 13:54
https://doi.org/10.1007/978-3-319-96163-7are specification fit well within functional languages, leading in many cases to a perfect embedding. There are some situations, including netlist generation and software logic probes, where the DSL does not fit exactly within the host functional language. A new solution to these problems is based o作者: Silent-Ischemia 時(shí)間: 2025-3-24 17:53
https://doi.org/10.1007/978-3-319-96163-7stream of technological advances on aspects ranging from physical infrastructures to mobile terminals. As a result, services for this domain are known to be very unpredictable and volatile. This situation is even worse when considering services relying heavily on multimedia activities (. games, audi作者: aggrieve 時(shí)間: 2025-3-24 22:19
How Should We Teach Physics Today?,ake it possible to use almost the same syntax as in the .. The advantages of this library with respect to a simple . interpreter are that we can transmit any value along names, we can get control over them using the type system, and we have access to the full power of . in terms of expressiveness an作者: 提名的名單 時(shí)間: 2025-3-25 02:44
Marisa Michelini,Alberto Stefanelral form. VMs can be implemented with an interpreter to be simple, portable, quick to start and have low memory requirements. These advantages make VM interpreters especially useful for minority-use and domain-specific languages. VM interpreters contain large amounts of repeated or similar code. Fur作者: ineptitude 時(shí)間: 2025-3-25 07:05
Urban Climate and Dengue Epidemics in Brazilists of the transformation language Stratego and the XT collection of transformation tools. Stratego is based on the paradigm of rewriting under the control of programmable rewriting strategies. The XT tools provide facilities for the infrastructure of transformation systems including parsing and pr作者: 無聊的人 時(shí)間: 2025-3-25 08:30
Urban Climate and Dengue Epidemics in Brazil, a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, . is implemented in Prolog; the schemas thus use abstract syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual d作者: VOC 時(shí)間: 2025-3-25 15:18 作者: 特征 時(shí)間: 2025-3-25 18:56 作者: hegemony 時(shí)間: 2025-3-25 23:53
Saskia ter Ellen,Willem F. C. VerschooraskGraph represents a fragment of code which is constructed and manipulated at runtime, then compiled, dynamically linked and executed. TaskGraphs are initialised using macros and overloading, which forms a simplified, C-like sub-language with first-class arrays and no pointers. Once a TaskGraph has作者: Neolithic 時(shí)間: 2025-3-26 02:47
https://doi.org/10.1007/978-3-319-98714-9n our view general-purpose languages are not yet general-purpose enough, and progress needs to be made before we can provide domain-specific languages that are both fast and safe. We outline some goals in this regard, and describe a possible implementation technology: ., a technique for building com作者: conservative 時(shí)間: 2025-3-26 04:22 作者: 逢迎春日 時(shí)間: 2025-3-26 10:06
978-3-540-22119-7Springer-Verlag Berlin Heidelberg 2004作者: 陳腐的人 時(shí)間: 2025-3-26 13:47
Book 2004vel of today‘s source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the?quality and stability of the product...This book is about domain-specific program generation作者: 奇思怪想 時(shí)間: 2025-3-26 17:04
Embedding a Hardware Description Language in Template Haskelleration and software logic probes, where the DSL does not fit exactly within the host functional language. A new solution to these problems is based on program transformations performed automatically by metaprograms in Template Haskell.作者: Myofibrils 時(shí)間: 2025-3-26 21:35
Melissa Keeley,Lisa Benton-Shortuery processing programs automatically. I argue that the road that they have so successfully followed is the same road that the generative programming, domain-specific languages, and automatic programming communities are now traversing.作者: inflate 時(shí)間: 2025-3-27 02:23 作者: 撫育 時(shí)間: 2025-3-27 06:28
Melissa Keeley,Lisa Benton-Shortrative programming. Two of these languages (MetaOCaml and Template Haskell) are research languages, while the third (C++) is already in wide industrial use. The paper identifies several dimensions that can serve as a basis for comparing generative languages.作者: 男生如果明白 時(shí)間: 2025-3-27 12:04
Pablo Sarricolea,Oliver Meseguer-Ruizl skeletons in detail and investigate the potential of optimizing sequences of these skeletons by replacing them by more efficient sequences. Experimental results based on a draft implementation of our skeleton library are shown.作者: Glower 時(shí)間: 2025-3-27 17:05
Saskia ter Ellen,Willem F. C. Verschoor been constructed, we can analyse its dependence structure and perform optimisations. In this Chapter, we present the design of the TaskGraph library, and two sample applications to demonstrate its use for runtime code specialisation and restructuring optimisation.作者: evaculate 時(shí)間: 2025-3-27 21:50
0302-9743 ons and efficient implementations at the level of today‘s source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the?quality and stability of the product...This book 作者: Locale 時(shí)間: 2025-3-27 23:01
https://doi.org/10.1007/978-3-319-96163-7eration and software logic probes, where the DSL does not fit exactly within the host functional language. A new solution to these problems is based on program transformations performed automatically by metaprograms in Template Haskell.作者: accessory 時(shí)間: 2025-3-28 04:15
Book 2004wed revised full papers presented?are organized into topical sections on..- surveys of domain-specific programming technologies.- domain-specific programming languages.- tool support for program generation.- domain-specific techniques?for program optimization.作者: monologue 時(shí)間: 2025-3-28 08:39 作者: 責(zé)難 時(shí)間: 2025-3-28 12:22 作者: Eructation 時(shí)間: 2025-3-28 16:00 作者: 吃掉 時(shí)間: 2025-3-28 22:21
Domain-Specific Optimizations of Composed Parallel Components and 3) optimizing remote execution of components’ compositions in the context of Java RMI (Remote Method Invocation) in Grid-like distributed environments. We demonstrate our optimizations using application case studies and report experimental results on the achieved performance improvements.作者: 考得 時(shí)間: 2025-3-28 23:21 作者: 壓倒性勝利 時(shí)間: 2025-3-29 05:10 作者: 絕食 時(shí)間: 2025-3-29 10:17 作者: ROOF 時(shí)間: 2025-3-29 11:42 作者: 輕快來事 時(shí)間: 2025-3-29 17:55
A Gentle Introduction to Multi-stage Programmingxtension of OCaml called MetaOCaml, and presents a detailed analysis of the issues that arise in staging an interpreter for a small programming language. The tutorial concludes with pointers to various resources that can be used to probe further into related topics.作者: intellect 時(shí)間: 2025-3-29 20:09
A Personal Outlook on Generator Researchors that often makes research work be less valuable to other generator writers who are unfamiliar with the domain. I propose directions on what should be considered promising research for the community, what I believe are useful principles for generator design, and what community building measures we can take.作者: 極小量 時(shí)間: 2025-3-30 02:31 作者: sparse 時(shí)間: 2025-3-30 05:41
Guaranteed Optimization for Domain-Specific Programmingus provide the relevant performance improvements. They can also function as decision procedures, suggesting an approach of ‘optimizers as theorem provers,’ in which optimizing compilers can be used to check domain-specific safety properties and check proofs embedded in programs.作者: 削減 時(shí)間: 2025-3-30 08:34 作者: bile648 時(shí)間: 2025-3-30 15:24 作者: Nausea 時(shí)間: 2025-3-30 17:45 作者: DOLT 時(shí)間: 2025-3-30 23:14
Optimizing Sequences of Skeleton Callsl skeletons in detail and investigate the potential of optimizing sequences of these skeletons by replacing them by more efficient sequences. Experimental results based on a draft implementation of our skeleton library are shown.作者: 舊石器時(shí)代 時(shí)間: 2025-3-31 01:10
Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation been constructed, we can analyse its dependence structure and perform optimisations. In this Chapter, we present the design of the TaskGraph library, and two sample applications to demonstrate its use for runtime code specialisation and restructuring optimisation.作者: 善于 時(shí)間: 2025-3-31 05:04
0302-9743 ramming technologies.- domain-specific programming languages.- tool support for program generation.- domain-specific techniques?for program optimization.978-3-540-22119-7978-3-540-25935-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: tariff 時(shí)間: 2025-3-31 09:37
https://doi.org/10.1007/978-3-319-96163-7 implementation strategies to enable this paradigm to be supported by existing software infrastructures..Our DSL paradigm is uniformly used to develop a platform for communication services, named Nova. This platform addresses various domains of services including telephony services, e-mail processin作者: Reclaim 時(shí)間: 2025-3-31 14:19
Marisa Michelini,Alberto Stefanel optimisations to the generated C code for each VM instruction, and across instructions. Using profile-directed feedback and experimentation the programmer can rapidly optimise the interpreter for new architectures, environments and applications.作者: 時(shí)代錯(cuò)誤 時(shí)間: 2025-3-31 21:30
Urban Climate and Dengue Epidemics in Brazilgrate individual schemas without forcing a disruptive migration of the entire system to a different meta-programming language. First experiences show that a smooth migration can be achieved. Moreover, it can result in a considerable reduction of the code size and improved readability of xthe code. I作者: 偏離 時(shí)間: 2025-4-1 01:03
A DSL Paradigm for Domains of Services: A Study of Communication Services implementation strategies to enable this paradigm to be supported by existing software infrastructures..Our DSL paradigm is uniformly used to develop a platform for communication services, named Nova. This platform addresses various domains of services including telephony services, e-mail processin作者: Urologist 時(shí)間: 2025-4-1 03:02
A Language and Tool for Generating Efficient Virtual Machine Interpreters optimisations to the generated C code for each VM instruction, and across instructions. Using profile-directed feedback and experimentation the programmer can rapidly optimise the interpreter for new architectures, environments and applications.作者: 北極熊 時(shí)間: 2025-4-1 08:22 作者: muscle-fibers 時(shí)間: 2025-4-1 13:01
The Road to Utopia: A Future for Generative Programmingd automatic programming. While each of these areas is still in its infancy, a spectacularly successful example of their combination was realized twenty-five years ago: relational query optimization. In this paper, I chart the successes and mindset used by database researchers to generate efficient q作者: 騷擾 時(shí)間: 2025-4-1 15:48
From a Program Family to a Domain-Specific Languagemunications and financial products. Yet, the development of a DSL is still an obscure process and its assessment is often partial..This paper proposes to structure the development of a DSL on the notion of program family. We outline the main steps of such development. Furthermore, we argue that a pr作者: Painstaking 時(shí)間: 2025-4-1 20:45
A Gentle Introduction to Multi-stage Programmingthrough concise, carefully-designed language extensions that support runtime code generation and program execution. Additionally, type systems for MSP languages are designed to statically ensure that dynamically generated programs are type-safe, and therefore require no type checking after they are 作者: 宇宙你 時(shí)間: 2025-4-2 02:29 作者: 笨重 時(shí)間: 2025-4-2 06:51 作者: NEG 時(shí)間: 2025-4-2 10:37 作者: 舉止粗野的人 時(shí)間: 2025-4-2 11:30
