The SCEAS System
Navigation Menu

Conferences in DBLP

Semantics, Applications, and Implementation of Program Generation (SAIG) (saig)
2000 (conf/saig/2000)

  1. Richard B. Kieburtz
    Implementing Closed Domain-Specific Languages. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:1-2 [Conf]
  2. Don S. Batory
    Refinements and Product Line Architectures. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:3-4 [Conf]
  3. Frank Pfenning
    Reasoning about Staged Computation. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:5-6 [Conf]
  4. Gilles Muller
    Specialization of Systems Programs: Lessons and Perspectives. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:7-8 [Conf]
  5. Conal Elliott, Sigbjorn Finne, Oege de Moor
    Compiling Embedded Languages. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:9-27 [Conf]
  6. Samuel N. Kamin, Miranda Callahan, Lars Clausen
    Lightweight and Generative Components 2: Binary-Level Components. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:28-50 [Conf]
  7. Simon Helsen, Peter Thiemann
    Fragmental Specialization. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:51-71 [Conf]
  8. Litong Song, Yoshihiko Futamura
    A New Termination Approach for Specialization. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:72-91 [Conf]
  9. Cristiano Calcagno, Eugenio Moggi
    Multi-Stage Imperative Languages: A Conservative Extension Result. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:92-107 [Conf]
  10. Adam Fischbach, John Hannan
    Specification and Correctness of Lambda Lifting. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:108-128 [Conf]
  11. Henning Makholm
    On Jones-Optimal Specialization for Strongly Typed Languages. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:129-148 [Conf]
  12. Norman Ramsey
    Pragmatic Aspects of Reusable Program Generators. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:149-171 [Conf]
  13. Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
    Type-Based Useless-Code Elimination for Functional Programs. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:172-189 [Conf]
  14. Rich Vuduc, James Demmel
    Code Generators for Automatic Tuning of Numerical Kernels: Experiences with FFTW. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:190-211 [Conf]
  15. Bernd Fischer, Johann Schumann, Thomas Pressburger
    Generating Data Analysis Programs from Statistical Models. [Citation Graph (0, 0)][DBLP]
    SAIG, 2000, pp:212-229 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002