|
|
||
|
|
Start of topic | Skip to actions
Results from WG211 webretrieved at 18:52 (Local)
IFIP WG2.11, meeting schedule 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 ...
IFIP Working Conference on Domain Specific Languages (DSL WC) July 15 17, 2009, Oxford New! Local information, a conference blog, and a list of accepted papers are ...
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 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 [email protected] caml [email protected] [email protected] oon [email protected] [email protected] haskell ...
WG211 Web Preferences The following settings are web preferences of the WG211 web. These preferences overwrite the site level preferences in ., and can be ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Sixth Meeting June 19 21, 2008, Passau, DE. Registration Meeting Fee: EUR 160, payable by credit card or ...
Doctoral/Postdoc Position Available at the University of Passau, Germany Project: Programming Methods for Manycore Architectures Website: http://www.infosun.fim ...
Doctoral/Postdoc Position Available at the University of Passau, Germany Project: FeatureFoundation: Algebra Based Feature Oriented Program Synthesis Website: ...
EmirPasalic 15 Jun 2008 CFP DSL.pdf: CFP DSL.pdf cfp.pdf: cfp.pdf
Sublanguages for generating digital circuits John O'Donnell Functional circuit specification constitutes a natural domain specific language: circuits are modelled ...
What are the important research issues in domain specific languages? Julia Lawall Many of us have developed, used, or desired domain specific languages (DSLs) in a ...
Strategic Programming by Model Interpretation and Partial Evaluation William Cook Abstract: Strategic Programming is a programming paradigm based on factoring programs ...
Combining Attribution and Rewriting Anthony M Sloane Attribute grammars and term rewriting systems have proven to be useful high level specification paradigms for ...
You can throw a loop a curve Armin Groesslinger Automatic, model based program transformation relies on the ability to generate code from a model description of the ...
Discussion: Whether or not to (and how to) set up a related teaching repository? Ralf Laemmel Many of us are giving courses at various levels with relevance for program ...
In earlier work (presented at the last WG 2.11 meeting), I presented an initial effort at facilitating software development for modular self reconfigurable robots ...
Recent Developments in Feature Feature Oriented Software Development Sven Apel Feature oriented software development is an emerging paradigm that provides a multitude ...
The talk investigates conceptually the self generation of compiler generators and program specializers. The question whether the generation process stagnates or progresses ...
The Expression Lemma Ralf L mmel, joint work with Ondrej Rypacek Algebraic data types and catamorphisms (folds) play a central role in functional programming as they ...
A model based framework for statically and dynamically checking component interactions Anne Francoise Le Meur Building applications by assembling software components ...
Pantaxou: a Domain Specific Language for Developing Safe Coordination Services Charles Consel Coordinating entities in a networked environment has always been a ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Fourth Meeting Schedule October 27 28, 2006, Portland, Oregon. Your Checklist: Directions to University ...
Code Generation by Model Transformation The realization of model driven software development requires effective techniques for implementing code generators. In this ...
IFIP WG2.11, meeting schedule IFIP Working Group 2.11 Fifth Meeting August 20 22, 2007, Copenhagen, Denmark. Business meeting There will be a business meeting late ...
Statistics for WG211 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
From the airport to the hotel: The hotel is quite near the airport. By taxi it costs around 150DKK and takes around 10 minutes. As you leave the baggage area, ...
Number of topics: 50
Topic Actions: Edit | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r1 | More topic actions
Webs: Main | TWiki | Africa | CPSX | EmbeddedSystems | Gpce | Houston | International | K12 | 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
This work is licensed under a Creative Commons Attribution 2.5 License. Please follow our citation guidelines.