首页>外文会议>其他>Proceedings of the Tenth international conference on generative programming and component engineering.

Proceedings of the Tenth international conference on generative programming and component engineering.

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Less is More: Unparser-completeness of Metalanguages for Template Engines

机译：少即是多：模板引擎元语言的解析器完整性
- 作者：B.J. Arnoldus;M.G.J. van den Brand;A. Serebrenik
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- code generation;
- templates;
- unparser;
2.Growing a Language Environment with Editor Libraries

机译：通过编辑器库发展语言环境
- 作者：Sebastian Erdweg;Lennart C. L. Kats;Tillmann Rendel;Christian Kaestner;Klaus Ostermann;Eelco Visser
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- language extensibility;
- library;
- DSL embedding;
- language workbench;
3.Helping Programmers Help Users

机译：帮助程序员帮助用户
- 作者：John Freeman;Jaakko Jaervi;Wonseok Kim;Mat Marcus;Sean Parent
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- user interfaces;
- software reuse;
- constraint systems;
- software architecture;
4.Theorem-based Circuit Derivation in Cryptol

机译：密码中基于定理的电路推导
- 作者：John Launchbury
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- cryptography;
- functional programming;
- domain-specific language;
- FPGA;
- AES;
- theorem-based refinement;
5.Feature Interactions, Products, and Composition

机译：功能交互，产品和组成
- 作者：Don Batory;Peter Hoefner;Jongwook Kim
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- FOSD;
- CIDE;
- back-propagation;
- feature interactions;
- feature products;
6.Pragmatics for Formal Semantics

机译：形式语义学的语用学
- 作者：Olivier Danvy
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- algorithms;
- languages;
- theory;
7.Static Analysis of Aspect Interaction and Composition in Component Models

机译：组件模型中方面交互和组成的静态分析
- 作者：Abdelhakim Hannousse;Remi Douence;Gilles Ardourel
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- aspectized component models;
- aspect interaction analysis;
- aspect composition;
8.Generation of Geometric Programs Specified by Diagrams

机译：由图指定的几何程序的生成
- 作者：Yulin Li;Gordon S. Novak Jr.
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- program generation;
- software components;
- reusable libraries;
- geometry;
- theorem proving;
- visual programming;
- model-based programming;
9.Reflection in Direct Style

机译：直接风格的反思
- 作者：Kenichi Asai
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- reflection;
- metacircular interpreter;
- metacontinuation;
- continuation-passing slyle (CPS);
- direct style;
- partial evaluation;
10.Firepile: Run-time Compilation for GPUs in Scala

机译：Firepile：Scala中用于GPU的运行时编译
- 作者：Nathaniel Nystrom;Derek White;Kishen Das
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- GPU;
- scala;
- OpenCL;
- run-time code generation;
11.Multilingual Component Programming in Racket

机译：球拍中的多语言组件编程
- 作者：Matthias Felleisen
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- multi-lingual component programming;
12.Tailoring Dynamic Software Product Lines

机译：量身定制动态软件产品线
- 作者：Marko Rosenmueller;Norbert Siegmund;Mario Pukall;Sven Apel
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- software product lines;
- dynamic binding;
- featureoriented programming;
13.On the Impact of Feature Dependencies when Maintaining Preprocessor-based Software Product Lines

机译：维护基于预处理器的软件产品线时功能依赖性的影响
- 作者：Marcio Ribeiro;Felipe Queiroz;Paulo Borba;Tarsis Toledo;Claus Brabrand;Seergio Soares
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- preprocessors;
- software product lines;
- modularity;
14.Investigating the Safe Evolution of Software Product Lines

机译：调查软件产品线的安全发展
- 作者：Lais Neves;Leopoldo Teixeira;Paulo Borba;Vander Alves;Demostenes Sena;Una Kulesza
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- software product lines;
- refinement;
- product line safe evolution;
15.Infrastructure for Component-Based DDS Application Development

机译：基于组件的DDS应用程序开发的基础结构
- 作者：William R. Otte;Aniruddha Gokhale;Douglas C. Schmidt;Johnny Willemsen
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- component-based real-time systems;
- predictable deployment;
16.Model-Driven Engineering and Run-Time Model-Usage in Service Robotics

机译：服务机器人中的模型驱动工程和运行时模型使用
- 作者：Andreas Steck;Alex Lotz;Christian Schlegel
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- component based software engineering;
- model-driven engineering;
- run-time model usage;
- service robotics;
17.Generating Database Migrations for Evolving Web Applications

机译：为不断发展的Web应用程序生成数据库迁移
- 作者：Sander D. Vermolen;Guido Wachsmuth;Eelco Visser
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- evolution;
- domain specific language;
- data migration;
- web application;
18.Application of Model Based Development to Flexible Code Generation

机译：基于模型的开发在灵活代码生成中的应用
- 作者：Gary Shubert
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- performance;
- design;
- reliability;
- experimentation;
- languages;
- verification;
19.Monitoring Aspects for the Customization of Automatically Generated Code for Big-Step Models

机译：监视针对大步模型自动生成的代码的定制方面
- 作者：Shahram Esmaeilsabzali;Bernd Fischer;Joanne M. Atlee
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- AspectJ;
- semantics;
- slatecharts;
- MDE;
- AOP;
20.Declaratively Defining Domain-Specific Language Debuggers

机译：以声明方式定义特定于域的语言调试器
- 作者：Ricky T. Lindeman;Lennart C. L. Kats;Eelco Visser
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- debugging;
- domain-specific language;
- language workbench;
- spoofax;
21.Towards Automatic Generation of Formal Specifications to Validate and Verify Reliable Distributed Systems A Method Exemplified by an Industrial Case Study

机译：实现自动生成正式规格以验证和验证可靠的分布式系统的方法，以工业案例研究为例
- 作者：Vidar Slatten;Frank Alexander Kraemer;Peter Herrmann
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- model-driven engineering;
- reliable systems;
- fault tolerance;
- component contracts;
- compositional verification;
- model checking;
22.Comparing Complexity of API Designs: An Exploratory Experiment on DSL-based Framework Integration

机译：比较API设计的复杂性：基于DSL的框架集成的探索性实验
- 作者：Stefan Sobernig;Patrick Gaubatz;Mark Strembeck;Uwe Zdun
- 会议名称：《Proceedings of the Tenth international conference on generative programming and component engineering.》 | 2011年
- domain-specific language;
- application programming interface;
- complexity;
- object points;