Walid Taha
Proceedings of the First International Workshop on Semantics, Applications and Implementation of Program Generation
SAIG, 2000.

@proceedings{SAIG-2000,
	address       = "Montreal, Canada",
	editor        = "Walid Taha",
	isbn          = "3-540-41054-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Workshop on Semantics, Applications and Implementation of Program Generation}",
	volume        = 1924,
	year          = 2000,
}

Event page: http://www.cs.rice.edu/~taha/saig/00/prog.html

Contents (15 items)

3 ×#generative
3 ×#source code

SAIG-2000-Kieburtz #domain-specific language #implementation

Implementing Closed Domain-Specific Languages (RBK), pp. 1–2.

SAIG-2000-Batory #architecture #product line

Refinements and Product Line Architectures (DSB), pp. 3–4.

SAIG-2000-Pfenning #reasoning #staged

Reasoning about Staged Computation (FP), pp. 5–6.

SAIG-2000-Muller #source code

Specialization of Systems Programs: Lessons and Perspectives (GM), pp. 7–8.

SAIG-2000-ElliottFM #compilation #embedded

Compiling Embedded Languages (CE, SF, OdM), pp. 9–27.

SAIG-2000-KaminCC #component #generative #lightweight

Lightweight and Generative Components 2: Binary-Level Components (SNK, MC, LC), pp. 28–50.

SAIG-2000-HelsenT

Fragmental Specialization (SH, PT), pp. 51–71.

SAIG-2000-SongF #approach #termination

A New Termination Approach for Specialization (LS, YF), pp. 72–91.

SAIG-2000-CalcagnoM #imperative #multi

Multi-Stage Imperative Languages: A Conservative Extension Result (CC, EM), pp. 92–107.

SAIG-2000-FischbachH #correctness #specification

Specification and Correctness of λ Lifting (AF, JH), pp. 108–128.

SAIG-2000-Makholm #on the

On Jones-Optimal Specialization for Strongly Typed Languages (HM), pp. 129–148.

SAIG-2000-Ramsey #aspect-oriented #generative #reuse

Pragmatic Aspects of Reusable Program Generators (NR), pp. 149–171.

SAIG-2000-BerardiCDG #functional #source code #type system

Type-Based Useless-Code Elimination for Functional Programs (SB, MC, FD, PG), pp. 172–189.

SAIG-2000-VuducD #automation #case study #code generation #experience #kernel

Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW (RV, JD), pp. 190–211.

SAIG-2000-FischerSP #data analysis #generative #modelling #source code #statistics

Generating Data Analysis Programs from Statistical Models (BF, JS, TP), pp. 212–229.