Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540410546, 9783540453505

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multi-stage Imperative Languages: A Conservative Extension Result

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_9 ◽

2007 ◽

pp. 92-107 ◽

Author(s):

Cristiano Calcagno ◽

Eugenio Moggi1

Keyword(s):

Conservative Extension ◽

Multi Stage ◽

Extension Result

Download Full-text

Specialization of Systems Programs: Lessons and Perspectives

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_4 ◽

2000 ◽

pp. 7-8

Author(s):

Gilles Muller

Download Full-text

Implementing Closed Domain-Specific Languages

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_1 ◽

2000 ◽

pp. 1-2 ◽

Author(s):

Richard B. Kieburtz

Keyword(s):

Closed Domain ◽

Domain Specific Languages ◽

Domain Specific

Download Full-text

A New Termination Approach for Specialization

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_8 ◽

2000 ◽

pp. 72-91 ◽

Author(s):

Litong Song ◽

Yoshihiko Futamura

Download Full-text

Lightweight and Generative Components II: Binary-Level Components

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_6 ◽

2000 ◽

pp. 28-49 ◽

Author(s):

Sam Kamin ◽

Miranda Callahan ◽

Lars Clausen

Download Full-text

Type-Based Useless-Code Elimination for Functional Programs Position Paper

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_13 ◽

2000 ◽

pp. 172-189 ◽

Author(s):

Stefano Berardi ◽

Mario Coppo ◽

Ferruccio Damiani ◽

Paola Giannini

Keyword(s):

Download Full-text

On Jones-Optimal Specialization for Strongly Typed Languages

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_11 ◽

2000 ◽

pp. 129-148 ◽

Author(s):

Henning Makholm

Keyword(s):

Typed Languages

Download Full-text

Fragmental Specialization

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_7 ◽

2000 ◽

pp. 51-71 ◽

Author(s):

Simon Helsen ◽

Peter Thiemann

Download Full-text

Generating Data Analysis Programs from Statistical Models

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_15 ◽

2000 ◽

pp. 212-229 ◽

Author(s):

Bernd Fischer ◽

Johann Schumann ◽

Tom Pressburger

Keyword(s):

Data Analysis ◽

Statistical Models

Download Full-text

Pragmatic Aspects of Reusable Program Generators Position Paper

Lecture Notes in Computer Science - Semantics, Applications, and Implementation of Program Generation ◽

10.1007/3-540-45350-4_12 ◽

2000 ◽

pp. 149-171 ◽

Author(s):

Norman Ramsey

Keyword(s):

Position Paper ◽

Pragmatic Aspects

Download Full-text