Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000
    DBLP: db/conf/saig/saig2000.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 15  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Don S. Batory.
    Refinements and Product Line Architectures.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini.
    Type-Based Useless-Code Elimination for Functional Programs.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Cristiano Calcagno, Eugenio Moggi.
    Multi-Stage Imperative Languages: A Conservative Extension Result.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Conal Elliott, Sigbjorn Finne, Oege de Moor.
    Compiling Embedded Languages.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Adam Fischbach, John Hannan.
    Specification and Correctness of Lambda Lifting.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Bernd Fischer 0002, Johann Schumann, Thomas Pressburger.
    Generating Data Analysis Programs from Statistical Models.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Simon Helsen, Peter Thiemann.
    Fragmental Specialization.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Samuel N. Kamin, Miranda Callahan, Lars Ræder Clausen.
    Lightweight and Generative Components 2: Binary-Level Components.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Richard B. Kieburtz.
    Implementing Closed Domain-Specific Languages.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Conference paper
    Henning Makholm.
    On Jones-Optimal Specialization for Strongly Typed Languages.
    Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings 2000 (0) 2000
    Show item 1 to 10 of 15  

    Your query returned 15 matches in the database.