The SCEAS System
Navigation Menu

Journals in DBLP

ACM Comput. Surv.
1998, volume: 30, number: 3es

  1. David A. Basin
    Logical-Framework-Based Program Development. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:1- [Journal]
  2. John Field, Jan Heering, T. B. Dinesh
    Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:2- [Journal]
  3. Andrei V. Klimov
    Program Specialization vs. Program Composition. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:3- [Journal]
  4. Michael Leuschel, Bern Martens, Danny De Schreye
    Some Achievements and Prospects in Partial Deduction. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:4- [Journal]
  5. Torben Æ. Mogensen
    Inherited Limits. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:5- [Journal]
  6. Alberto Pettorossi, Maurizio Proietti
    Program Specialization via Algorithmic Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:6- [Journal]
  7. Akihiko Takano, Zhenjiang Hu, Masato Takeichi
    Program Transformation in Calculational Form. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:7- [Journal]
  8. Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies
    Modal Types as Staging Specifications for Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:8- [Journal]
  9. María Alpuente, Moreno Falaschi, Germán Vidal
    A Unifying View of Functional and Logic Program Specialization. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:9- [Journal]
  10. Michele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello
    Optimizing Modular Logic Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:10- [Journal]
  11. Sandro Etalle, Maurizio Gabbrielli
    Partial Evaluation of Concurrent Constraint Languages. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:11- [Journal]
  12. John P. Gallagher, Laura Lafave
    The Role of Trace Abstractions in Program Specialization Algorithms. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:12- [Journal]
  13. John Hatcliff
    Foundations for Partial Evaluation of Functional Programs with Computational Effects. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:13- [Journal]
  14. John Hughes
    Type Specialization. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:14- [Journal]
  15. Laura Lafave, John P. Gallagher
    Extending the Power of Automatic Constraint-Based Partial Evaluators. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:15- [Journal]
  16. Konstantinos F. Sagonas, Michael Leuschel
    Extending Partial Deduction to Tabled Execution: Some Results and Open Issues. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:16- [Journal]
  17. Sandrine Blazy, Philippe Facon
    Partial Evaluation for Program Comprehension. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:17- [Journal]
  18. Tristan Cazenave
    Synthesis of an Efficient Tactical Theorem Prover for the Game of Go. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:18- [Journal]
  19. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
    Tempo: Specializing Systems applications and Beyond. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:19- [Journal]
  20. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
    Partial Evaluation for Software Engineering. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:20- [Journal]
  21. Scott Draves
    Partial Evaluation for Media Processing. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:21- [Journal]
  22. Matthew B. Dwyer, John Hatcliff, Muhammad Nanda
    Using Partial Evaluation to Enable Verification of Concurrent Software. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:22- [Journal]
  23. Mark Leone, Peter Lee
    Dynamic Specialization in the Fabius System. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:23- [Journal]
  24. Oscar Waddell, R. Kent Dybvig
    Visualizing Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:24- [Journal]
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