The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1997 (conf/popl/97)

  1. Marc Shapiro 0002, Susan Horwitz
    Fast and Accurate Flow-Insensitive Points-To Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:1-14 [Conf]
  2. Erik Ruf
    Partitioning Dataflow Analyses Using Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:15-26 [Conf]
  3. Pascal Fradet, Daniel Le Métayer
    Shape Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:27-39 [Conf]
  4. Didier Rémy, Jerome Vouillon
    Objective ML: A Simple Object-Oriented Extension of ML. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:40-53 [Conf]
  5. Chih-Ping Chen, Paul Hudak
    Rolling Your Own MADT - A Connection Between Linear Types and Monads. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:54-66 [Conf]
  6. Krzysztof R. Apt, Andrea Schaerf
    Search and Imperative Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:67-79 [Conf]
  7. Michael Hanus
    A Unified Computation Model for Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:80-93 [Conf]
  8. Aart Middeldorp
    Call by Need Computations to Root-Stable Form. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:94-105 [Conf]
  9. George C. Necula
    Proof-Carrying Code. [Citation Graph (1, 0)][DBLP]
    POPL, 1997, pp:106-119 [Conf]
  10. Michael P. Plezbert, Ron Cytron
    Is "Just in Time" = "Better Late than Never"? [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:120-131 [Conf]
  11. Andrew C. Myers, Joseph A. Bank, Barbara Liskov
    Parameterized Types for Java. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:132-145 [Conf]
  12. Martin Odersky, Philip Wadler
    Pizza into Java: Translating Theory into Practice. [Citation Graph (1, 0)][DBLP]
    POPL, 1997, pp:146-159 [Conf]
  13. Karin Högstedt, Larry Carter, Jeanne Ferrante
    Determining the Idle Time of a Tiling. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:160-173 [Conf]
  14. Patrice Godefroid
    Model Checking for Programming Languages using Verisoft. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:174-186 [Conf]
  15. Pedro C. Diniz, Martin C. Rinard
    Synchronization Transformations for Parallel Computing. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:187-200 [Conf]
  16. Amy W. Lim, Monica S. Lam
    Maximizing Parallelism and Minimizing Synchronization with Affine Transforms. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:201-214 [Conf]
  17. C.-H. Luke Ong, Charles A. Stewart
    A Curry-Howard Foundation for Functional Computation with Control. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:215-227 [Conf]
  18. Gérard Boudol
    The Pi-calculus in Direct Style. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:228-241 [Conf]
  19. Benjamin C. Pierce, Davide Sangiorgi
    Behavioral Equivalence in the Polymorphic Pi-calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:242-255 [Conf]
  20. Catuscia Palamidessi
    Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:256-265 [Conf]
  21. Luca Cardelli
    Program Fragments, Linking, and Modularization. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:266-277 [Conf]
  22. Jakob Rehof
    Minimal Typings in Atomic Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:278-291 [Conf]
  23. Amokrane Saïbi
    Typing Algorithm in Type Theory with Inheritance. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:292-301 [Conf]
  24. François Bourdoncle, Stephan Merz
    Type-Checking Higher-Order Polymorphic Multi-Methods. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:302-315 [Conf]
  25. Patrick Cousot
    Types as Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:316-331 [Conf]
  26. Hanne Riis Nielson, Flemming Nielson
    Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:332-345 [Conf]
  27. David Lesens, Nicolas Halbwachs, Pascal Raymond
    Automatic Verification of Parameterized Linear Networks of Processes. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:346-357 [Conf]
  28. Alain Deutsch
    On the Complexity of Escape Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:358-371 [Conf]
  29. Sandip K. Biswas
    A Demand-Driven Set-Based Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:372-385 [Conf]
  30. Mitchell Wand, Gregory T. Sullivan
    Denotational Semantics Using an Operationally-Based Term Model. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:386-399 [Conf]
  31. Helmut Seidl, Morten Heine Sørensen
    Constraints to Stop Higher-Order Deforestation. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:400-413 [Conf]
  32. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Reducing Nondeterminism while Specializing Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:414-427 [Conf]
  33. David Sands
    From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:428-441 [Conf]
  34. Andrew Kennedy
    Relational Parametricity and Units of Measure. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:442-455 [Conf]
  35. Robert Paige, Zhe Yang
    High Level Reading and Data Structure Compilation. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:456-469 [Conf]
  36. Patrik Jansson, Johan Jeuring
    Polyp - A Polytypic Programming Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:470-482 [Conf]
  37. Mark P. Jones
    First-class Polymorphism with Type Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:483-496 [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