https://resource-aware.org/twiki/bin/view/WG211 The WG211 web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2009 by contributing authors Walid Taha [[email protected]] Walid Taha [[email protected]] TWiki https://resource-aware.org/twiki/bin/view/WG211 https://resource-aware.org/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif https://resource-aware.org/twiki/bin/view/WG211/DSLSchedule?t=2009-07-10T06:51:02Z 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 ... (last changed by JeremyGibbons) 2009-07-10T06:51:02Z JeremyGibbons https://resource-aware.org/twiki/bin/view/WG211/DomainSpecificTypes?t=2009-07-10T03:48:47Z 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 ... (last changed by EmirPasalic) 2009-07-10T03:48:47Z EmirPasalic https://resource-aware.org/twiki/bin/view/WG211/DSLWC?t=2009-07-08T21:08:25Z 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 ... (last changed by JeremyGibbons) 2009-07-08T21:08:25Z JeremyGibbons https://resource-aware.org/twiki/bin/view/WG211/DSLAcceptedPapers?t=2009-05-11T14:26:10Z 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 ... (last changed by EmirPasalic) 2009-05-11T14:26:10Z EmirPasalic https://resource-aware.org/twiki/bin/view/WG211/WebHome?t=2009-04-29T15:10:58Z 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 ... (last changed by JuliaLawall) 2009-04-29T15:10:58Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Taha?t=2009-04-24T15:06:50Z Java Mint Walid Taha taha wg09.ppt: Slides (last changed by JuliaLawall) 2009-04-24T15:06:50Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Schedule?t=2009-04-24T15:05:21Z 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 ... (last changed by JuliaLawall) 2009-04-24T15:05:21Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Sloane?t=2009-04-22T19:02:41Z A Pure Object Oriented Embedding of Attribute Grammars Anthony Sloane Macquarie University (joint work with Lennart Kats and Eelco Visser, TU Delft) Attribute grammars ... (last changed by JuliaLawall) 2009-04-22T19:02:41Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7VanWyk?t=2009-04-22T18:56:33Z Verifiable Composition of Grammars August Schwerdfeger and Eric Van Wyk Abstract: One challenge in extensible languages arises in the composition of the concrete syntax ... (last changed by JuliaLawall) 2009-04-22T18:56:33Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Shan?t=2009-04-21T10:26:37Z Self applicable probabilistic inference without interpretive overhead Chung chieh Shan shan wg09.pdf: Slides (last changed by JuliaLawall) 2009-04-21T10:26:37Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Kamin?t=2009-04-21T10:22:50Z Typing program generators using the record calculus Sam Kamin kamin wg09.pdf: Slides (last changed by JuliaLawall) 2009-04-21T10:22:50Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Smaragdakis?t=2009-04-21T10:18:32Z Expressive and Safe Static Reflection with MorphJ Yannis Smaragdakis Recently, language extensions have been proposed for Java and C# to support pattern based reflective ... (last changed by JuliaLawall) 2009-04-21T10:18:32Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Bodik?t=2009-04-21T08:00:52Z Program Synthesis by Sketching Rastislav Bodik Software synthesis automatically derives programs that are efficient, even surprising, but it requires a domain theory ... (last changed by JuliaLawall) 2009-04-21T08:00:52Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Kelly?t=2009-04-20T15:28:03Z 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 ... (last changed by JuliaLawall) 2009-04-20T15:28:03Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Apel?t=2009-04-20T15:20:04Z FeatureHouse: Language Independent, Automated Software Composition Sven Apel Superimposition is a composition technique that has been applied successfully in many ... (last changed by JuliaLawall) 2009-04-20T15:20:04Z JuliaLawall https://resource-aware.org/twiki/bin/view/WG211/M7Stump?t=2009-04-20T15:01:02Z Purifying Natural Deduction Using Sequent Calculus Aaron Stump The Curry Howard isomorphism has proved a very fruitful connection between programming languages and ... (last changed by JuliaLawall) 2009-04-20T15:01:02Z JuliaLawall