Proceedings of the Third Workshop on Language Descriptions, Tools and Applications
LDTA-2003, 2003.

@proceedings{LDTA-2003,
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	number        = 3,
	title         = "{Proceedings of the Third Workshop on Language Descriptions, Tools and Applications}",
	volume        = 82,
	year          = 2003,
}

Committee

Contents (11 items)

2 ×#framework
2 ×#named
2 ×#parsing

LDTA-2003-KortL #data type #framework

A Framework for Datatype Transformation (JK, RL), pp. 463–482.

LDTA-2003-MensDBSG #named #refactoring #research #roadmap

Refactoring: Current Research and Future Trends (TM, SD, BDB, HS, PVG), pp. 483–499.

LDTA-2003-KalinovKPPS #automation #compilation #generative #testing

Coverage-driven Automated Compiler Test Suite Generation (AK, AK, AKP, MP, VS), pp. 500–514.

LDTA-2003-Lee #framework

A Formally Verified Register Allocation Framework (KL), pp. 515–531.

LDTA-2003-MagnussonH #attribute grammar

Circular Reference Attributed Grammars — Their Evaluation and Applications (EM, GH), pp. 532–554.

LDTA-2003-Wyk #aspect-oriented #composition

Aspects as Modular Language Extensions (EVW), pp. 555–574.

LDTA-2003-BrandKMV #ambiguity #generalised parsing #parsing #semantics #term rewriting

Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation (MvdB, SK, LM, JJV), pp. 575–591.

LDTA-2003-BrabrandSV #parsing

The metafront System: Extensible Parsing and Transformation (CB, MIS, MV), pp. 592–611.

LDTA-2003-CostagliolaDFG #analysis #development #visual notation

Exploiting XPG for Visual Languages: Definition, Analysis and Development (GC, VD, FF, CG), pp. 612–627.

LDTA-2003-Hufflen #overview

Mixing Two Bibliography Style Languages (JMH), pp. 628–642.

LDTA-2003-SanchezCMN #coordination #named #specification

CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment (MS, PJC, JMM, JHN), pp. 643–658.