The 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE)

In particular, SLE is interested in principled engineering approaches and techniques in the following areas:

• Language Design and Implementation

• Approaches and methodologies for language design

• Static semantics (e.g., design rules, well-formedness constraints)

• Techniques for behavioral / executable semantics

• Generative approaches (incl. code synthesis, compilation)

• Meta-languages, meta-tools, language workbenches

• Language Validation

• Verification and formal methods for languages

• Testing techniques for languages

• Simulation techniques for languages

• Language Integration

• Coordination between of heterogeneous languages and tools

• Mappings between languages (incl. transformation languages)

• Traceability between languages

• Deployment of languages to different platforms

• Language Maintenance

• Software language reuse

• Language evolution

• Language families and variability

• Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance)

• Empirical evaluation and experience reports of language engineering tools

• User studies evaluating usability

• Performance benchmarks

• Industrial applications