Conference on Domain-Specific Languages, 1997
Conference on Domain-Specific Languages (DSL), 1997
October 15-17, 1997
Santa Barbara, California, USA
Wednesday, October 15, 1997
- Opening Remarks
- Chris Ramming, AT&T Labs Research
- Keynote Address - The Promise of Domain-Specific Languages
- Paul Hudak, Yale University
Domain-Specific Language Design
- Service Combinators for Web Computing
- Luca Cardelli, Digital Equipment Corporation and Rowan Davies, Carnegie-Mellon University
- A Domain Specific Language for Video Device Drivers: From Design to Implementation
- Scott Thibault, Renaud Marlet, and Charles Consel, IRISA/INRIA--Université de Rennes 1
- Domain Specific Languages for ad hoc Distributed Applications
- Matthew Fuchs, Walt Disney Imagineering
Experience Reports
- Experience with a Domain Specific Language for Form-based Services
- David Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth Cox, Peter Mataga, and Kenneth Rehor, Bell Laboratories, Lucent Technologies
- Experience with a Language for Writing Coherence Protocols
- Satish Chandra and James R. Larus, University of Wisconsin, Madison; Michael Dahlin, University of Texas, Austin; Bradley Richards, Vassar College; Randolph Y. Wang and Thomas E. Anderson, University of California, Berkeley
- Lightweight Languages as Software Engineering Tools
- Diomidis Spinellis, University of the Aegean and V. Guruprasad, IBM T.J. Watson Research Center
Compiler Infrastructure for Domain-Specific Languages
- A Slicing-Based Approach for Locating Type Errors
- T. B. Dinesh, CWI and Frank Tip, IBM T. J. Watson Research Center
- Typed Common Intermediate Format
- Zhong Shao, Yale University
- Incorporating Application Semantics and Control into Compilation
- Dawson R. Engler, M.I.T. Laboratory for Computer Science
- Code Composition as an Implementation Language for Compilers
- James M. Stichnoth and Thomas Gross, Carnegie Mellon University
Thursday, October 16
Logic and Semantics for Domain-Specific Languages
- BDL: A Language to Control the Behavior of Concurrent Objects
- Frédéric Bertrand and Michel Augeraud, Université de La Rochelle
- A Domain-Specific Language for Regular Sets of Strings and Trees
- Nils Klarlund, AT&T Labs - Research and Michael I. Schwartzbach, University of Aarhus
- A Modular Monadic Action Semantics
- Keith Wansbrough and John Hamer, University of Auckland
Case Studies and Frameworks
- SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation
- Marco Antoniotti and Aleks Göllü, University of California, Berkeley
- Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing
- Luc Moreau, University of Southampton, and Christian Queinnec, Université de Paris
- Domains of Concern in Software Architectures and Architecture Description Languages
- Nenad Medvidovic and David S. Rosenblum, University of California, Irvine
Abstract Syntax Trees
- The Zephyr Abstract Syntax Description Language
- Daniel C. Wang, Andrew W. Appel, Jeff L. Korn, and Christopher S. Serra, Princeton University
- ASTLOG: A Language for Examining Abstract Syntax Trees
- Roger F. Crew, Microsoft Research
- KHEPERA: A System for Rapid Implementation of Domain Specific Languages
- Rickard E. Faith, Lars S. Nyland, and Jan F. Prins, University of North Carolina, Chapel Hill
Friday, October 17
Embedded Languages and Abstract Data Types
- DiSTiL: A Transformation Library for Data Structures
- Yannis Smaragdakis and Don Batory, University of Texas, Austin
- Programming Language Support for Digitized Images or, The Monsters in the Closet
- Daniel E. Stevenson and Margaret M. Fleck, University of Iowa
- Modeling Interactive 3D and Multimedia Animation with an Embedded Language
- Conal Elliott, Microsoft Research
- A Special-Purpose Language for Picture-Drawing
- Samuel Kamin and David Hyatt, University of Illinois, Urbana-Champaign
|