50 Recent Changes in WG211 Web retrieved at 02:35 (GMT)
Statistics for nop WG211 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
Welcome to the homepage of IFIP TC 2 working group on Program Generation (WG 2.11) Program generation has the potential to revolutionize software development in the ...
IFIP Working Group 2.11, Ninth Meeting September 3 5, 2011, Bordeaux, France This meeting will be co located with the 2011 Working Conference on Domain specific Languages ...
IFIP Working Group 2.11, Ninth Meeting December 1 3, 2010, Waterloo, Canada Venue The meeting will be held in the Davis Center (DC) Building on the campus of the ...
Migration of Applications across Object Oriented APIs Thiago Tonelli Bartolomei Evolving requirements may necessitate API migration: re engineering an application ...
Modeling Programming Technologies Ralf Lämmel I will present preliminary results of an effort on understanding programming technologies at an ontological and megamodeling ...
Extending code generators by transforming generated code Bernd Fischer Code generated from high level specifications often requires modification before deployment ...
Globally Parallel, Locally Sequential Walid Taha A broad and important and resource intensive class of computations codes are simulators for physical (or "natural ...
Software product lines in Clafer Kacper Bak Clafer is a meta modeling language with first class support for feature modeling. It can model various aspects of software ...
Towards a Generalization of Specialization Edwin Westbrook Code specialization is a powerful technique for optimizing programs in general purpose languages. Unfortunately ...
Profile based analysis of attribute evaluation patterns Anthony M. Sloane Attribute grammars enable complex algorithms to be defined on tree structures using simple ...
The structure of typed generic code generators Jacques Carette Now that the feasibility of writing complex typed code generators has been established, along with ...
Synthesizing executable code from declarative abstraction functions Derek Rayside Data abstraction has been the dominant structuring paradigm for programs for decades ...
Open Platforms: New Challenges for Software Engineering Emilie Balland Recently, platforms running third party applications have become very popular, in particular ...
IFIP Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford New! information, a blog, and a list of accepted papers are now available. Newer ...
Ask by need: generating multiple answer RPC/web requests Oleg Kiselyov At the 2009 meeting of WG2.11, William Cook presented a new remote procedure call (RPC) mechanism ...
The MetaOCaml files Oleg Kiselyov, Chung chieh Shan MetaOCaml, a dialect of OCaml, is the best developed way today to write custom code generators and assure them ...
Variability Analysis of Legacy C Code: Parsing and Type Checking Millions of Product Line Variants Christian Kaestner Despite much research on sophisticated programming ...
IFIP Working Group 2.11, Eighth Meeting March 1 3, 2010, St. Andrews Scotland Organizers {kh,ch} at cs dot st hyphen andrews dot ac dot uk Registration here Meeting ...
An embedded DSL for the parameterised specification, resource analysis and scheduling of systems composed of functional building blocks Christoph Hermann
Recovering Grammar Relationships for the Java Language Specification Ralf Lämmel We describe a refined method for grammar convergence, and we use it in a major study ...
Discussion on teaching program generation and DSLs Ulrik Schultz The goal of this discussion is to share experience regarding teaching program generation and domain ...
Implementing Domain Specific Languages using Dependent Types and Partial Evaluation Ed Brady In this talk, I will describe the efficient implementation of domain ...
Language Support for Robust and Reversible Self Reconfiguration Ulrik Schultz Modular, self reconfigurable robots are robots that can change their own shape by physically ...
Mint: Java Multi stage Programming Using Weak Separability Ed Westbrook Multi stage programming (MSP) provides a disciplined approach to run time code generation ...
Generating optimised multiplatform finite element solvers from high level representations Graham Markall High performance implementations of finite element methods ...
DoMinion : Generating Efficient Constraint Programming Solvers Christopher Jefferson Constraint Programming is a field where the efficiency of software tools is paramount ...
Bidirectional Attribute Grammars and their use in Extensible Languages Eric Van Wyk We discuss how bidirectional transformations can be realized in higher order attribute ...
Building IDEs for Domain Specific Languages with Spoofax/IMP Eelco Visser Domain specific languages are a key component of program generation. While we have ample ...
AnySL: Efficient and Portable Multi Language Shading Sebastian Hack In graphics, shaders have become a key part of 3D scene descriptions especially since programmable ...
Datapath and control correspond to language and program John O'Donnell Complex digital circuits are usually organised in two sections: datapath and control. Traditional ...
Software Product Lines Ina Schaeffer A software product line is a set of systems with well defined commonalities and variabilities. Because of the huge number of ...
Safe Generation in Feature Oriented Software Development Sven Apel Feature oriented software development (FOSD) is an emerging paradigm that provides a multitude ...
An experiment with the fourth Futamura projection Robert Glueck We have experimentally validated the theoretical insight, that a compiler generator is a generating ...
Programming for adaptive sensor networks: back to the future Simon Dobson Programming for sensor networks sometimes seems to combine the entire history of computer ...
Online Partial Evaluation of Model Interpreters in Java William Cook I'll about my ongoing work to implement model compilers by partial evaluation of model interpreters ...
Relating Staged Computation to the Record Calculus Baris Aktemur It has been previously shown that there is a close relation between record calculus and program generation ...
Virtual separation of concerns Toward preprocessors 2.0 Christian Kaestner Conditional compilation with preprocessors like cpp is a simple but effective means to ...
IFIP TC2 Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford All talks consist of 25 minutes of presentation, followed by 5 minute response ...
Domain Specific Types. Oege de Moor. Abstract Little languages allow richer type systems. I'll illustrate this by considering type systems for Datalog, a query ...
Accepted Papers Papers to be presented at the IFIP DSL'09 Working Conference at Oxford, July 15 17, 2009. Domain Speci #64257;c Language for HW/SW Co Design ...
Java Mint Walid Taha taha wg09.ppt: Slides
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Seventh Meeting April 15 17, 2009, Mountain View, California Registration Registration. The fee is $180. Please ...
A Pure Object Oriented Embedding of Attribute Grammars Anthony Sloane Macquarie University (joint work with Lennart Kats and Eelco Visser, TU Delft) Attribute grammars ...
Verifiable Composition of Grammars August Schwerdfeger and Eric Van Wyk Abstract: One challenge in extensible languages arises in the composition of the concrete syntax ...
Self applicable probabilistic inference without interpretive overhead Chung chieh Shan shan wg09.pdf: Slides
Typing program generators using the record calculus Sam Kamin kamin wg09.pdf: Slides
Expressive and Safe Static Reflection with MorphJ Yannis Smaragdakis Recently, language extensions have been proposed for Java and C# to support pattern based reflective ...
Program Synthesis by Sketching Rastislav Bodik Software synthesis automatically derives programs that are efficient, even surprising, but it requires a domain theory ...
SIMD and SIMT Code Generation for Visual Effects using indexed dependence metadata Paul H J Kelly Imperial College London, UK This talk is about a project to build ...
Number of topics: 50
See also: 
RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 16 Aug 2001 - 19:58:33 - PeterThoeny
 |
|
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.Webs: Main | TWiki | Africa | CPSX | EmbeddedSystems | Forum | Glossary | Gpce | Houston | International | K12 | MainOld | MetaOCaml | MulticoreOCR | ProgrammingLanguages | RAP | RIDL | Sandbox | SpeechClub | Teaching | Texbot | WG211
Web Actions:
WG211 Web 
Create New Topic 
Index 
Search 
Changes 
Notifications 
Statistics 
PreferencesLog In or Register