50 Recent Changes in WG211 Web retrieved at 21:48 (GMT)
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 ...
Statistics for nop WG211 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...
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 ...
IFIP Working Group 2.11, Ninth Meeting December 1 3, 2010, Waterloo, Canada
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 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. ...
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 ...
FeatureHouse: Language Independent, Automated Software Composition Sven Apel Superimposition is a composition technique that has been applied successfully in many ...
Purifying Natural Deduction Using Sequent Calculus Aaron Stump The Curry Howard isomorphism has proved a very fruitful connection between programming languages and ...
Adventures in Dependently Typed Metatheory Stephanie Weirich with Limin Jia, Jianzhou Zhao, Vilhelm Sj"oberg Work in progress report Dependent type systems allow users ...
Enforcing the Use of API Functions in Linux Code Julia Lawall DIKU In the Linux kernel source tree, header files typically define many small functions that have a ...
Slice, Partition, and Reforest for Data Access and Distribution William R. Cook One of the problems with Remote Procedure Calls (RPC) is that they are latency additive ...
Timing Verification of Hume Box Compositions via Abstractions in Agda2 Christoph Herrmann Hume is a language developed for functional programming of safety critical ...
Modern Mechanized Mathematics Jacques Carrette Doing mathematics by computer is divided into two camps: numerical analysis and symbolic computation, both with very ...
LNgen: Tool Support for Locally Nameless Representations Stephanie Weirich and Brian Aydemir Abstract: Given the complexity of the metatheoretic reasoning involved ...
Automated Synthesis of Propositional Satisfiability Solvers Doug Smith Last year we carried out automated derivations of several SAT solvers using Kestrel's Specware ...
Calculating Refinements in Algorithm and System Design Doug Smith I've been working on a unified treatment of algorithm and system design. The key is to treat system ...
Automatic Generation of Network Protocol Gateways Laurent Réveillère The emergence of networked devices in the home has made it possible to develop applications that ...
Theory of mind and bounded rationality without interpretive overhead Oleg Kiselyov and Chung chieh Shan Computers and humans that work well together have beliefs about ...
Mailing Lists mailto:prog lang #64;diku.dk caml list #64;yquem.inria.fr boost #64;lists.boost.org oon list #64;oonumerics.org planetmde #64 ...
nop WG211 Web Preferences The following settings are web preferences of the WG211 web. These preferences overwrite the site level preferences in ., and can ...
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
Preferences
Log In or Register