Search results for "DSL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto	Adaptation-Based Programming in Haskell	DSL	2011	DBLP DOI BibTeX RDF
1	Olivier Danvy, Chung-chieh Shan (eds.)	Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011.	DSL	2011	DBLP DOI BibTeX RDF
1	Azer Bestavros, Assaf J. Kfoury	A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report).	DSL	2011	DBLP DOI BibTeX RDF
1	William R. Cook, Ralf Lämmel	Tutorial on Online Partial Evaluation	DSL	2011	DBLP DOI BibTeX RDF
1	Tiark Rompf, Arvind K. Sujeeth, HyoukJoong Lee, Kevin J. Brown, Hassan Chafi, Martin Odersky, Kunle Olukotun	Building-Blocks for Performance Oriented DSLs	DSL	2011	DBLP DOI BibTeX RDF
1	Basile Starynkevitch	MELT - a Translated Domain Specific Language Embedded in the GCC Compiler	DSL	2011	DBLP DOI BibTeX RDF
1	Keiko Nakata 0001	Resumption-based big-step and small-step interpreters for While with interactive I/O	DSL	2011	DBLP DOI BibTeX RDF
1	Jerzy Karczmarczuk	Specific "scientific" data structures, and their processing	DSL	2011	DBLP DOI BibTeX RDF
1	Lucas Beyak, Jacques Carette	SAGA: A DSL for Story Management	DSL	2011	DBLP DOI BibTeX RDF
1	Oleg Kiselyov	Implementing Explicit and Finding Implicit Sharing in Embedded DSLs	DSL	2011	DBLP DOI BibTeX RDF
1	Jeremy Gibbons	Maximum Segment Sum, Monadically (distilled tutorial)	DSL	2011	DBLP DOI BibTeX RDF
1	Walid Taha, Verónica Gaspes, Rex L. Page	Accurate Programming: Thinking about programs in terms of properties	DSL	2011	DBLP DOI BibTeX RDF
1	Eric Walkingshaw, Martin Erwig	A DSEL for Studying and Explaining Causation	DSL	2011	DBLP DOI BibTeX RDF
1	Dominic A. Orchard, Alan Mycroft	Efficient and Correct Stencil Computation via Pattern Matching and Static Typing	DSL	2011	DBLP DOI BibTeX RDF
1	William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein	Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.	DSL	2009	DBLP DOI BibTeX RDF
1	Jason Agron	Domain-Specific Language for HW/SW Co-design for FPGAs.	DSL	2009	DBLP DOI BibTeX RDF
1	Oleg Kiselyov, Chung-chieh Shan	Embedded Probabilistic Programming.	DSL	2009	DBLP DOI BibTeX RDF
1	Andy Gill	A Haskell Hosted DSL for Writing Transformation Systems.	DSL	2009	DBLP DOI BibTeX RDF
1	Zoé Drey, Julien Mercadal, Charles Consel	A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications.	DSL	2009	DBLP DOI BibTeX RDF	Visual Rule-Based Language, Pervasive Computing
1	Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry	CLOPS: A DSL for Command Line Options.	DSL	2009	DBLP DOI BibTeX RDF
1	Jose Falcon, William R. Cook	Gel: A Generic Extensible Language.	DSL	2009	DBLP DOI BibTeX RDF
1	Tobias Walter, Jürgen Ebert	Combining DSLs and Ontologies Using Metamodel Integration.	DSL	2009	DBLP DOI BibTeX RDF
1	Daniel Lincke, Patrik Jansson, Marcin Zalewski, Cezar Ionescu	Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell.	DSL	2009	DBLP DOI BibTeX RDF
1	Walid Mohamed Taha (eds.)	Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings	DSL	2009	DBLP DOI BibTeX RDF
1	Andreas Voellmy, Paul Hudak	Nettle: A Language for Configuring Routing Networks.	DSL	2009	DBLP DOI BibTeX RDF
1	Ken Friis Larsen	A MuDDy Experience-ML Bindings to a BDD Library.	DSL	2009	DBLP DOI BibTeX RDF
1	Eric Walkingshaw, Martin Erwig	Varying Domain Representations in Hagl.	DSL	2009	DBLP DOI BibTeX RDF
1	Hui Wu, Jeffrey G. Gray, Marjan Mernik	Unit Testing for Domain-Specific Languages.	DSL	2009	DBLP DOI BibTeX RDF	Domain-specific languages, unit testing, tool generation
1	Olivier Danvy, Chung-chieh Shan, Ian Zerny	J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations.	DSL	2009	DBLP DOI BibTeX RDF
1	Sumant Tambe, Aniruddha S. Gokhale	LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++.	DSL	2009	DBLP DOI BibTeX RDF
1	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
1	Franz Franchetti, Frédéric de Mesmay, Daniel S. McFarlin, Markus Püschel	Operator Language: A Program Generation Framework for Fast Kernels.	DSL	2009	DBLP DOI BibTeX RDF	Library generation, high performance software, multicore CPU, program generation, automatic performance tuning
1	Martin Erwig, Eric Walkingshaw	A DSL for Explaining Probabilistic Reasoning.	DSL	2009	DBLP DOI BibTeX RDF
1	John Peterson, Gregory D. Hager	Monadic robotics.	DSL	1999	DBLP DOI BibTeX RDF
1	James Reichwein, Gregg Rothermel, Margaret M. Burnett	Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging.	DSL	1999	DBLP DOI BibTeX RDF
1	Dale Parson	Using Java reflection to automate extension language parsing.	DSL	1999	DBLP DOI BibTeX RDF
1	Samuel Z. Guyer, Calvin Lin	An annotation language for optimizing software libraries.	DSL	1999	DBLP DOI BibTeX RDF
1	Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic	DSL implementation using staging and monads.	DSL	1999	DBLP DOI BibTeX RDF
1	Du Li, Richard R. Muntz	A collaboration specification language.	DSL	1999	DBLP DOI BibTeX RDF
1	Mary F. Fernandez, Dan Suciu, Igor Tatarinov	Declarative specification of data-intensive Web sites.	DSL	1999	DBLP DOI BibTeX RDF
1	Emin Gün Sirer, Brian N. Bershad	Using production grammars in software testing.	DSL	1999	DBLP DOI BibTeX RDF
1	Lloyd H. Nakatani, Mark A. Ardis, Robert G. Olsen, Paul M. Pontrelli	Jargons for domain engineering.	DSL	1999	DBLP DOI BibTeX RDF
1	James Jennings, Eric Beuscher	Verischemelog: Verilog embedded in Scheme.	DSL	1999	DBLP DOI BibTeX RDF
1	Daan Leijen, Erik Meijer 0001	Domain specific embedded compilers.	DSL	1999	DBLP DOI BibTeX RDF
1	Vijay Menon 0002, Keshav Pingali	A case for source-level transformations in MATLAB.	DSL	1999	DBLP DOI BibTeX RDF
1	Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith	Hancock: a language for processing very large-scale data.	DSL	1999	DBLP DOI BibTeX RDF
1	Thomas Ball (eds.)	Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), Austin, Texas, USA, October 3-5, 1999	DSL	1999	DBLP DOI BibTeX RDF
1	Samuel N. Kamin, David Hyatt	A Special-Purpose Language for Picture-Drawing.	DSL	1997	DBLP BibTeX RDF
1	Luca Cardelli, Rowan Davies	Service Combinators for Web Computing.	DSL	1997	DBLP BibTeX RDF
1	Yannis Smaragdakis, Don S. Batory	DiSTiL: A Transformation Library for Data Structures.	DSL	1997	DBLP BibTeX RDF
1	Scott Thibault, Renaud Marlet, Charles Consel	A Domain Specific Language for Video Device Drivers: From Design to Implementation.	DSL	1997	DBLP BibTeX RDF
1	Marco Antoniotti, Aleks Göllü	SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.	DSL	1997	DBLP BibTeX RDF
1	Matthew Fuchs	Domain Specific Languages for ad hoc Distributed Applications.	DSL	1997	DBLP BibTeX RDF
1	David L. Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth C. Cox, Peter Mataga, Kenneth Rehor	Experience with a Domain Specific Language for Form-based Services.	DSL	1997	DBLP BibTeX RDF
1	Nils Klarlund, Michael I. Schwartzbach	A Domain-Specific Language for Regular Sets of Strings and Trees.	DSL	1997	DBLP BibTeX RDF
1	Daniel E. Stevenson, Margaret M. Fleck	Programming Language Support for Digitized Images or, The Monsters in the Closet.	DSL	1997	DBLP BibTeX RDF
1	Frédéric Bertrand, Michel Augeraud	BDL: A Language to Control the Behavior of Concurrent Objects.	DSL	1997	DBLP BibTeX RDF
1	Conal Elliott	Modeling Interactive 3D and Multimedia Animation with an Embedded Language.	DSL	1997	DBLP BibTeX RDF
1	Keith Wansbrough, John Hamer	A Modular Monadic Action Semantics.	DSL	1997	DBLP BibTeX RDF
1	Daniel C. Wang, Andrew W. Appel, Jeffrey L. Korn, Christopher S. Serra	The Zephyr Abstract Syntax Description Language.	DSL	1997	DBLP BibTeX RDF
1	Paul Hudak	Keynote Address - The Promise of Domain-Specific Languages.	DSL	1997	DBLP BibTeX RDF
1	Chris Ramming (eds.)	Proceedings of the Conference on Domain-Specific Languages, DSL'97, Santa Barbara, California, USA, October 15-17, 1997	DSL	1997	DBLP BibTeX RDF
1	Roger F. Crew	ASTLOG: A Language for Examining Abstract Syntax Trees.	DSL	1997	DBLP BibTeX RDF
1	Zhong Shao	Typed Common Intermediate Format.	DSL	1997	DBLP BibTeX RDF
1	Satish Chandra 0001, James R. Larus, Michael Dahlin, Brad Richards, Randolph Y. Wang, Thomas E. Anderson	Experience with a Language for Writing Coherence Protocols.	DSL	1997	DBLP BibTeX RDF
1	James M. Stichnoth, Thomas R. Gross	Code Composition as an Implementation Language for Compilers.	DSL	1997	DBLP BibTeX RDF
1	J. Christopher Ramming	Opening Remarks.	DSL	1997	DBLP BibTeX RDF
1	Nenad Medvidovic, David S. Rosenblum	Domains of Concern in Software Architectures and Architecture Description Languages.	DSL	1997	DBLP BibTeX RDF
1	Rickard E. Faith, Lars S. Nyland, Jan F. Prins	KHEPERA: A System for Rapid Implementation of Domain Specific Languages.	DSL	1997	DBLP BibTeX RDF
1	T. B. Dinesh, Frank Tip	A Slicing-Based Approach for Locating Type Errors.	DSL	1997	DBLP BibTeX RDF
1	Luc Moreau 0001, Christian Queinnec	Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing.	DSL	1997	DBLP BibTeX RDF
1	Diomidis Spinellis, V. Guruprasad	Lightweight Languages as Software Engineering Tools.	DSL	1997	DBLP BibTeX RDF
1	Dawson R. Engler	Incorporating Application Semantics and Control into Compilation.	DSL	1997	DBLP BibTeX RDF

Publications at "DSL"( http://dblp.L3S.de/Venues/DSL )