SLE 2009

Took place in Denver, CO, USA
Co-located with MoDELS and GPCE
Recovered conference website
100 abstracts, 79 full submissions, 23 papers: 15 full papers, 6 short papers and 2 tools, acceptance rate 29%
Call for Papers
List of Papers
Organisers
Tags requested:
- T1A T1B T1D T2A T2B T2D T2E T3A T3C T3D T3E T3F T4A T4B T4C T4F T5A T5B T5C T5D
Tags received:
- T1A T1B T1D T1E T2A T2B T2C T2D T3A T3B T3C T3D T3E T3F T4A T4B T4C T4D T4F T5A T5D T5H T6D

Call for Papers (source, 92 taggings)

Scope

The term “software language” comprises all sorts of artificial languages used in software development including general-purpose programming languagesT3D, domain-specific languagesT3C, modeling and meta-modeling languagesT3A, data models, and ontologiesT3E. Used in its broadest sense, examples include modeling languages such as UML-based and domain-specific modeling languagesT3C, business process modeling languages, and web application modeling languages. The term “software language” also comprises APIsT3F and collections of design patterns that are mplicitly defined languages.Software language engineering is the application of a systematic, disciplined, quantifiable approach to the development, use, and maintenanceT2B of these languages. Thus, the SLE conference is concerned with all phases of the lifecycle of software languagesT2A; these include the designT1A, implementationT4A, documentationT2E, testingT5C, eploymentT2D, evolutionT2B, recoveryT2A, and retirementT2A of languages. Of special interest are tools, techniques, methods and formalismsT5D that support these activities.

In particular, tools are often based on or even automatically generatedT4C from a formal escription of the languageT3A. Hence, of special interest is the treatment of language descriptions as software artifactsT5B, akin to programs - while paying attention to the special status of language descriptions, subject to tailored engineering principles and methods for modularizationT1D, refactoringT4B, refinementT4C, compositionT1D, versioningT2B, co-evolutionT2B, and analysisT5B.

Topics of Interest

We solicit high-quality contributions in the area of SLE ranging from theoretical and conceptual contributions to tools, techniques and frameworks that support the aforementioned lifecycle activities. Some examples of tools, techniques, applications, and problems are listed below in order to clarify the types of contributions sought by SLE.

FormalismsT3A used in designingT1A and specifying languages and tools that analyzeT5B such language descriptions: For example, of interest are formalisms such as grammars, schemas, ontologiesT3E, and metamodels; innovative tools that detect inconsistencies in a metamodel or analyze grammarsT5B in building a parser; and formal logicsT5D and proof assistantsT5D that verify properties of language specificationsT5D.
Language implementation techniquesT4A: This includes advances in traditional compiler generator toolsT4A such as parser/scanner generatorsT4C, attribute grammar systemsT3A, term-rewriting systemsT4B, functional-programming-based combinator libraries, among many others; also of interest are metamodel-basedT3A and ontology toolsT3E such as constraint, rule, view, transformationT4B, and query formalismsT5D and engines.
Program and model transformation toolsT4B: Examples include tools that support program refinement and refactoringT4B, model-based developmentT4C, aspect and model weaving, model extraction, metamodeling, model transformationsT4B, round-trip engineeringT4B, and runtime system transformation.
Composition, integrationT1D, and mapping toolsT4B for managing different aspects of software languages or different manifestations of given language: For example, SLE is interested in tools for mapping between the concrete and abstract syntaxT4C of a language, for managing textual and graphical concrete syntaxT1A for the same or closely related languages; also, mapping descriptions and tools or XML/object/relational mappingsT4B.
Language evolutionT2B: Included are extensible languagesT1D and type systemsT1B and their supporting tools, as well as language onversion toolsT4B. APIsT3F, when considered as languages, are subject to evolutionT2B; thus tools and techniques that assist developers in using a new versionT2B of an APIT3F or a competing implementation in a program are also of interest.
Approaches to the elicitationT5A, specificationT5A, and verificationT5D of requirements for software languagesT5A: Examples include the use of requirements engineering techniquesT5A in the development of domain-specific languagesT3C and the application of logic-based formalismsT5D for verifyingT5D language requirementsT5A.
Language development frameworksT4A, methodologies, techniques, best practices, and tools for the broader language lifecycle covering phases such as analysisT5B, testingT5C, and documentationT2E. For example, frameworks for advanced type or error checking systemsT1B, constraint mechanisms, tools for metrics measurementT5B and language usage analysisT5B, documentationT2E generatorsT4C, visualization backendsT4F, knowledge and process management approaches, as well as IDE supportT4A for many of these activities are of interest.
Design challenges in SLET1A: Example challenges include finding a balance between specificity and generality in designing domain-specific languagesT3C, between strong static typing and weaker yet more flexible type systemsT1B, or between deep and shallow embedding approachesT1D, as, for example, in the context of adding type-safe XML and database programming support to general purpose programming languagesT3D.
Applications of languages including innovative domain-specific languagesT3C or “little” languages: Examples include policy languagesT3C for security or service oriented architectures, web-engineering with schema-based generatorsT4C or ontology-based annotationsT3E. Of specific interest are the engineering aspects of domain-specific languageT3C support in all of these cases.

Do note that this list is not exclusive and many examples of tools,techniques, approaches have not been listed. The program committee chairs encourage potential contributors to contact them with questions about the scope and topics of interest of SLE.

List of Papers (2+15+6+2, source)

Organisers

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.