ETAPS logo

2nd Workshop on Language Descriptions, Tools and Applications

LDTA 2002

Affiliated with ETAPS 2002

April 13, 2002, Grenoble, France


Call for Papers (.ps .pdf)

Final program

Scope and Motivation

The aim of this one day workshop is to bring together researchers from academia and industry interested in the formal definition of languages, and the use of the definitions for the derivation of tools and software applications (e.g., interactive transformation tools, software renovation tools, application generators). The workshop welcomes contributions based on all kinds and styles of formal language definition including attribute grammars, algebraic approaches, action semantics, operational semantics, and denotational semantics. Many aspects of the definition of languages, and the derivation of tools and applications are independent of the actual formalism used. The workshop also welcomes contributions to compare formalisms or to discuss the benefits and drawbacks of specific formalisms.


Invited Speaker

The invited speaker at LDTA'2002 will be Charles Consel. His research interests are in the field of developing programming language techniques and tools to enable generic and well-structured system components to be built without loss of efficiency. It includes among others, domain specific languages, adaptable software components, and program specialization.

Domain-Specific Languages: What, Why, How

Abstract

Domain-specific languages (DSLs) are being increasingly used as a realistic approach to address a program family. That is, a set of programs that shares enough commonalities to be considered as a whole. These programs may already exist or be expected to be developed. In this situation, in principle, software development can benefit from introducing a DSL in that (1) it offers concise and specific notations to express a member of the program family, and (2) it enables the development of safe code thanks to its restricted semantics and/or requirements for additional information.

The Compose group has developed DSLs for various domains such as device drivers, active networking, and process scheduling, and built some experience in designing and implementing DSLs. In this talk we will report on the outcomes of this line of work. In particular, we will attempt to provide a practical definition of a DSL, and give the conditions to make this approach successful. We will discuss actual benefits of the DSL approach. Finally, we will outline a methodology to design and implement a DSL.


Submissions

Submissions will be evaluated by the Program Committee for inclusion in the formal proceedings. The proceedings will probably be published in the ENTCS series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Papers (of at most 15 pages) should be submitted electronically as (optionally compressed/gzipped) PostScript or PDF files to the workshop chair. The message should also contain a text-only abstract and author information. Final copies of accepted papers, after revision, must not be longer than 20 pages and have to respect the proceedings style. In addition, a special issue of a journal to publish selected papers is under negotiation.


Preliminary dates
Submission of papers: December 15, 2001
Notification of authors: January 31, 2002
Final papers due: February 28, 2002
Workshop: April 13, 2002


Prehistory

The workshop emerged from the 'Workshops on Attribute Grammars and their Applications' (WAGA'90, Paris, SAGA'91, Prague, WAGA'99, Amsterdam, and WAGA'00, Ponte de Lima) and 'ASF+SDF workshops' (ASF+SDF'95, Amsterdam, and ASF+SDF'97, Amsterdam). The 1st Workshop on Language Descriptions, Tools and Applications (LDTA 2001) was a satellite event of ETAPS 2001 held in Genoa.



Program Committee

Mark van den Brand (CWI, Amsterdam, The Netherlands), chair
Barrett R. Bryant (University of Alabama, Birmingham, USA)
Katsuhiko Gondow (Japan Advanced Institute of Science and Technology, Japan)
Jan Heering (CWI, Amsterdam, The Netherlands)
Ralf Lämmel (Vrije Universiteit Amsterdam, The Netherlands), co-chair
Oege de Moor (Oxford University Computing Laboratory, England)
Pierre-Etienne Moreau (LORIA, Nancy, France)
Peter D. Mosses (BRICS and University of Aarhus, Denmark)
Joao Saraiva (University of Minho, Portugal)
David Watt (University of Glasgow, Great Britain)


Organizing Committee
Görel Hedin
Department of Computer Science
Lund Institute of Technology
Box 118
SE-22100 Lund
Sweden
Gorel.Hedin@cs.lth.se
Marjan Mernik
University of Maribor
Faculty of electrical engineering and computer science
Smetanova 17
2000 Maribor
Slovenia
marjan.mernik@uni-mb.si
Didier Parigot
INRIA
2004 Route des Lucioles B.P 93
06902 Sophia Antipolis Cedex
France
Didier.Parigot@inria.fr


Maintained by Ralf Laemmel and Mark van den Brand
Last modified: Fri Mar 30 22:27:40 MET 2001