The SCEAS System
Navigation Menu

Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
1996 (conf/dagstuhl/1996pe)

  1. Sandrine Blazy, Philippe Facon
    An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:1-16 [Conf]
  2. Mikhail A. Bulyonkov, Dmitry V. Kochetov
    Practical Aspects of Specialization of Algol-like Programs. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:17-32 [Conf]
  3. Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
    Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:33-53 [Conf]
  4. Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche
    A Uniform Approach for Compile-Time and Run-Time Specialization. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:54-72 [Conf]
  5. Olivier Danvy
    Pragmatics of Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:73-94 [Conf]
  6. Scott Draves
    Compiler Generation for Interactive Graphics Using Intermediate Code. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:95-114 [Conf]
  7. John P. Gallagher, Laura Lafave
    Regular Approximation of Computation Paths in Logic and Functional Languages. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:115-136 [Conf]
  8. Robert Glück, Morten Heine Sørensen
    A Roadmap to Metacomputation by Supercompilation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:137-160 [Conf]
  9. John Hatcliff, Robert Glück
    Reasoning about Hierarchies of Online Program Specialization Systems. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:161-182 [Conf]
  10. John Hughes
    Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:183-215 [Conf]
  11. Neil D. Jones
    What Not to Do When Writing an Interpreter for Specialisation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:216-237 [Conf]
  12. Jesper Jørgensen, Michael Leuschel
    Efficiently Generating Efficient Generating Extensions in Prolog. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:238-262 [Conf]
  13. Michael Leuschel, Bern Martens
    Global Control for Partial Deduction through Characteristic Atoms and Global Trees. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:263-283 [Conf]
  14. Alain Miniussi, David Sherman
    Squeezing Intermediate Construction in Equational Programs. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:284-302 [Conf]
  15. Torben Æ. Mogensen
    Evolution of Partial Evaluators: Removing Inherited Limits. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:303-321 [Conf]
  16. Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
    A Self-Applicable Supercompiler. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:322-337 [Conf]
  17. Flemming Nielson, Hanne Riis Nielson
    Multi-Level Lambda-Calculi: An Algebraic Description. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:338-354 [Conf]
  18. Alberto Pettorossi, Maurizio Proietti
    A Comparative Revisitation of Some Program Transformation Techniques. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:355-385 [Conf]
  19. Alberto Pettorossi, Maurizio Proietti
    A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:386-408 [Conf]
  20. Thomas W. Reps, Todd Turnidge
    Program Specialization via Program Slicing. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:409-429 [Conf]
  21. Alexander Sakharov
    Specialization of Imperative Programs Through Analysis of Relational Expressions. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:430-445 [Conf]
  22. Peter Sestoft
    MK Pattern Match Compilation and Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:446-464 [Conf]
  23. Michael Sperber
    Self-Applicable Online Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:465-480 [Conf]
  24. Valentin F. Turchin
    Metacomputation: Metasystem Transitions plus Supercompilation. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:481-509 [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