Search results for "DSL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
176	Richard B. Kieburtz	Implementing Closed Domain-Specific Languages.	SAIG	2000	DBLP DOI BibTeX RDF
118	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
100	Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic	DSL implementation using staging and monads.	DSL	1999	DBLP DOI BibTeX RDF
99	Hui Wu, Jeff Gray 0001	Testing domain-specific languages in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, eclipse, grammar
88	Marjan Mernik, Jan Heering, Anthony M. Sloane	When and how to develop domain-specific languages.	ACM Comput. Surv.	2005	DBLP DOI BibTeX RDF	application language, language development system, Domain-specific language, domain analysis
88	Hui Wu, Jeff Gray 0001	Automated generation of testing tools for domain-specific languages.	ASE	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, grammar
81	Frédéric Jouault, Jean Bézivin	KM3: A DSL for Metamodel Specification.	FMOODS	2006	DBLP DOI BibTeX RDF
78	Andy Gill	A Haskell Hosted DSL for Writing Transformation Systems.	DSL	2009	DBLP DOI BibTeX RDF
78	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
77	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
77	Shih-Hsi Liu, Adam Cardenas, Xang Xiong, Marjan Mernik, Barrett R. Bryant, Jeff Gray 0001	Can domain-specific languages be implemented by service-oriented architecture?	SAC	2010	DBLP DOI BibTeX RDF	service-oriented architecture, domain-specific languages
77	Chidamber Kulkarni, Gordon J. Brebner, Graham Schelle	Mapping a domain specific language to a platform FPGA.	DAC	2004	DBLP DOI BibTeX RDF	platform FPGA, domain specific language, network processing
77	Scott Thibault, Renaud Marlet, Charles Consel	Domain-Specific Languages: From Design to Implementation Application to Video Device Drivers Generation.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	video cards, domain-specific language, partial evaluation, device drivers, GAL
70	Mark P. Jones	Experience report: playing the DSL card.	ICFP	2008	DBLP DOI BibTeX RDF	Timber, component configuration, functional programming, domain-specific languages, Haskell
70	Sándor Székely, Szabolcs Máté Kis	Benchmarking Symmetrical DSL Modems with Different Protocol Stacks.	ISCC	2005	DBLP DOI BibTeX RDF
70	Ahmad Arif Rahman	Research of Capability of Existing Network for Broadband Applications; Simulation with x-DSL Technology on Indonesian Condition.	ISPAN	2004	DBLP DOI BibTeX RDF
68	Frédéric Jouault, Jean Bézivin, Ivan Kurtev	TCS: a DSL for the specification of textual concrete syntaxes in model engineering.	GPCE	2006	DBLP DOI BibTeX RDF	model driven engineering, DSL, concrete syntax
67	Ivan Kurtev, Jean Bézivin, Frédéric Jouault, Patrick Valduriez	Model-based DSL frameworks.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	DSL engineering, tool-based approaches, MDA, model-driven engineering
67	Martin Erwig, Eric Walkingshaw	A DSL for Explaining Probabilistic Reasoning.	DSL	2009	DBLP DOI BibTeX RDF
66	Atzmon Hen-Tov, David H. Lorenz, Lior Schachter	An interpretive domain specific language workbench.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	modeltalk, domain specific language, language workbench
66	Felienne Hermans, Martin Pinzger 0001, Arie van Deursen	Domain-Specific Languages in Practice: A User Study on the Success Factors.	MoDELS	2009	DBLP DOI BibTeX RDF
64	Gregor Maier, Anja Feldmann, Vern Paxson, Mark Allman	On dominant characteristics of residential broadband internet traffic.	Internet Measurement Conference	2009	DBLP DOI BibTeX RDF	application mix, http usage, residential broadband traffic, tcp performance, network measurement, dsl
63	Oleg Kiselyov, Chung-chieh Shan	Embedded Probabilistic Programming.	DSL	2009	DBLP DOI BibTeX RDF
63	Lloyd H. Nakatani, Mark A. Ardis, Robert G. Olsen, Paul M. Pontrelli	Jargons for domain engineering.	DSL	1999	DBLP DOI BibTeX RDF
59	Bram De Wachter, Alexandre Genon, Thierry Massart, Cédric Meuter	The formal design of distributed controllers with dSL and Spin.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Transparent code distribution, Verification, Spin, Industrial process control
56	Lucas Beyak, Jacques Carette	SAGA: A DSL for Story Management	DSL	2011	DBLP DOI BibTeX RDF
55	Matt Spear, Xiaoming Lu, Shyhtsun Felix Wu	Davis Social Links or: How I Learned to Stop Worrying and Love the Net.	CSE (4)	2009	DBLP DOI BibTeX RDF
55	Eelco Visser	WebDSL: A Case Study in Domain-Specific Language Engineering.	GTTSE	2007	DBLP DOI BibTeX RDF
55	Luis Pedro, Levi Lucio, Didier Buchs	Principles for System Prototype and Verification Using Metamodel Based Transformations.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
55	Gopal Gupta 0001, Enrico Pontelli	Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
52	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
52	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
52	Sumant Tambe, Aniruddha S. Gokhale	LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++.	DSL	2009	DBLP DOI BibTeX RDF
48	Laurence Tratt	Evolving a DSL Implementation.	GTTSE	2007	DBLP DOI BibTeX RDF
48	Huanzhao Wang, Bei Dong, Peijun Chen, Qian Chen, Junjun Kong	LATEX DSL: A Coverage Control Protocol for heterogeneous Wireless Sensor Networks.	ICSNC	2007	DBLP DOI BibTeX RDF	coverage degree, wireless sensor networks, topology control, node scheduling
48	Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe	A Generative Programming Approach to Developing DSL Compilers.	GPCE	2005	DBLP DOI BibTeX RDF
48	Dimitris Toumpakaris, John M. Cioffi, Daniel Gardan	Reduced-delay protection of DSL systems against nonstationary disturbances.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
48	Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller	On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components.	GPCE	2004	DBLP DOI BibTeX RDF
48	Bram De Wachter, Thierry Massart, Cédric Meuter	dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.	OPODIS	2003	DBLP DOI BibTeX RDF	transparent code distribution, execution migration, Industrial process control
48	Ravi Kalakota, Pavan Gundepudi, Jonathan Wareham, Arun Rai, Richard J. Welke	The Economics of DSL Regulation.	Computer	2002	DBLP DOI BibTeX RDF
48	Mikael Peltier	MTrans, a DSL for Model Transformation.	EDOC	2002	DBLP DOI BibTeX RDF
48	Ruowen Rong, Dave Brooks, Gang Fu, Elliot Eichen	Web-based expert system for automated DSL loop qualification.	NOMS	2000	DBLP DOI BibTeX RDF
45	Josh G. M. Mengerink, Bram van der Sanden, Bram C. M. Cappers, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand	Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository.	MODELSWARD	2018	DBLP DOI BibTeX RDF
44	Dan Wang 0002, Jiangchuan Liu	A Dynamic Skip List-Based Overlay for On-Demand Media Streaming with VCR Interactions.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Applications, Protocol architecture
44	Gerardo de Geest, Sander Vermolen, Arie van Deursen, Eelco Visser	Generating Version Convertors for Domain-Specific Languages.	WCRE	2008	DBLP DOI BibTeX RDF
44	Marco Brambilla 0001, Piero Fraternali, Massimo Tisi	A Transformation Framework to Bridge Domain Specific Languages to MDA.	MoDELS (Workshops)	2008	DBLP DOI BibTeX RDF
44	Vincent M. K. Chan, Wei Yu 0001	Multiuser Spectrum Optimization for Discrete Multitone Systems With Asynchronous Crosstalk.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
44	Theodor G. Wyeld, Patrick Crogan, Brett Leavy	A Conversation on the Efficacies of the Game Engine to Address Notions of Sacred Space: The Digital Songlines Project and Transgressions of Sacredness.	VSMM	2007	DBLP DOI BibTeX RDF	Sacred Places, Sacredness, Uluru, Digital Songlines, Cultural Heritage, 3D games
44	Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur	Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language.	GPCE	2005	DBLP DOI BibTeX RDF
44	Jeff Gray 0001, Gabor Karsai	An Examination of DSLs for Concisely Representing Model Traversals and Transformations.	HICSS	2003	DBLP DOI BibTeX RDF
44	Hayato Kawashima, Katsuhiko Gondow	Experience with ANSI C Markup Language for a Cross-Referencer.	HICSS	2003	DBLP DOI BibTeX RDF
44	Abdesselam Redouane	Experience Using Formal Methods for Capturing Requirements of Web-Based Applications.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	modularity and parameterization, formal methods, web-based applications, dynamic behavior, predicate calculus
44	Ying Liu, Naixiao Zhang	On Concept-Based Definition of Domain-Specific Languages.	ICFEM	2002	DBLP DOI BibTeX RDF	Evolving Algebra, Language Concept, Reuse, Domain-Specific Languages, Attribute Grammar, Dynamic Semantics, Static Semantics
42	Timothy O'Hear, Yassin Boudjenane	Using Activity Descriptions to Generate User Interfaces for ERP Software.	HCI (4)	2009	DBLP DOI BibTeX RDF	ERP software, usability, user interface, interaction design, domain specific language, HTML, AJAX, DSL, paper-prototyping
42	Marcel Dischinger, Andreas Haeberlen, P. Krishna Gummadi, Stefan Saroiu	Characterizing residential broadband networks.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	broadband access networks, cable, network measurement, dsl
42	Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
41	Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois	Towards Interoperability in Component Based Development with a Family of DSLs.	ECSA	2008	DBLP DOI BibTeX RDF	heterogeneous components, domain specific language (DSL), Specware, interoperability, formal semantics, category theory
41	Frederik Vanhaverbeke, Frederik Simoens, Marc Moeneclaey, Danny De Vleeschauwer	Binary Erasure Codes for Packet Transmission Subject to Correlated Erasures.	PCM	2006	DBLP DOI BibTeX RDF	Triple play, video over DSL, Forward Error Correction, IPTV
41	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
41	Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto	Adaptation-Based Programming in Haskell	DSL	2011	DBLP DOI BibTeX RDF
41	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
41	William R. Cook, Ralf Lämmel	Tutorial on Online Partial Evaluation	DSL	2011	DBLP DOI BibTeX RDF
41	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
41	Basile Starynkevitch	MELT - a Translated Domain Specific Language Embedded in the GCC Compiler	DSL	2011	DBLP DOI BibTeX RDF
41	Keiko Nakata 0001	Resumption-based big-step and small-step interpreters for While with interactive I/O	DSL	2011	DBLP DOI BibTeX RDF
41	Jerzy Karczmarczuk	Specific "scientific" data structures, and their processing	DSL	2011	DBLP DOI BibTeX RDF
41	Oleg Kiselyov	Implementing Explicit and Finding Implicit Sharing in Embedded DSLs	DSL	2011	DBLP DOI BibTeX RDF
41	Jeremy Gibbons	Maximum Segment Sum, Monadically (distilled tutorial)	DSL	2011	DBLP DOI BibTeX RDF
41	Walid Taha, Verónica Gaspes, Rex L. Page	Accurate Programming: Thinking about programs in terms of properties	DSL	2011	DBLP DOI BibTeX RDF
41	Eric Walkingshaw, Martin Erwig	A DSEL for Studying and Explaining Causation	DSL	2011	DBLP DOI BibTeX RDF
41	Dominic A. Orchard, Alan Mycroft	Efficient and Correct Stencil Computation via Pattern Matching and Static Typing	DSL	2011	DBLP DOI BibTeX RDF
41	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
41	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
41	Jason Agron	Domain-Specific Language for HW/SW Co-design for FPGAs.	DSL	2009	DBLP DOI BibTeX RDF
41	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
41	Jose Falcon, William R. Cook	Gel: A Generic Extensible Language.	DSL	2009	DBLP DOI BibTeX RDF
41	Tobias Walter, Jürgen Ebert	Combining DSLs and Ontologies Using Metamodel Integration.	DSL	2009	DBLP DOI BibTeX RDF
41	Andreas Voellmy, Paul Hudak	Nettle: A Language for Configuring Routing Networks.	DSL	2009	DBLP DOI BibTeX RDF
41	Ken Friis Larsen	A MuDDy Experience-ML Bindings to a BDD Library.	DSL	2009	DBLP DOI BibTeX RDF
41	Eric Walkingshaw, Martin Erwig	Varying Domain Representations in Hagl.	DSL	2009	DBLP DOI BibTeX RDF
41	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
41	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
41	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
41	John Peterson, Gregory D. Hager	Monadic robotics.	DSL	1999	DBLP DOI BibTeX RDF
41	James Reichwein, Gregg Rothermel, Margaret M. Burnett	Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging.	DSL	1999	DBLP DOI BibTeX RDF
41	Dale Parson	Using Java reflection to automate extension language parsing.	DSL	1999	DBLP DOI BibTeX RDF
41	Samuel Z. Guyer, Calvin Lin	An annotation language for optimizing software libraries.	DSL	1999	DBLP DOI BibTeX RDF
41	Du Li, Richard R. Muntz	A collaboration specification language.	DSL	1999	DBLP DOI BibTeX RDF
41	Mary F. Fernandez, Dan Suciu, Igor Tatarinov	Declarative specification of data-intensive Web sites.	DSL	1999	DBLP DOI BibTeX RDF
41	Emin Gün Sirer, Brian N. Bershad	Using production grammars in software testing.	DSL	1999	DBLP DOI BibTeX RDF
41	James Jennings, Eric Beuscher	Verischemelog: Verilog embedded in Scheme.	DSL	1999	DBLP DOI BibTeX RDF
41	Daan Leijen, Erik Meijer 0001	Domain specific embedded compilers.	DSL	1999	DBLP DOI BibTeX RDF
41	Vijay Menon 0002, Keshav Pingali	A case for source-level transformations in MATLAB.	DSL	1999	DBLP DOI BibTeX RDF
41	Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith	Hancock: a language for processing very large-scale data.	DSL	1999	DBLP DOI BibTeX RDF
41	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
41	Samuel N. Kamin, David Hyatt	A Special-Purpose Language for Picture-Drawing.	DSL	1997	DBLP BibTeX RDF
41	Luca Cardelli, Rowan Davies	Service Combinators for Web Computing.	DSL	1997	DBLP BibTeX RDF
41	Yannis Smaragdakis, Don S. Batory	DiSTiL: A Transformation Library for Data Structures.	DSL	1997	DBLP BibTeX RDF
41	Scott Thibault, Renaud Marlet, Charles Consel	A Domain Specific Language for Video Device Drivers: From Design to Implementation.	DSL	1997	DBLP BibTeX RDF
41	Marco Antoniotti, Aleks Göllü	SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation.	DSL	1997	DBLP BibTeX RDF