The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1983 (conf/popl/83)

  1. Vaughan R. Pratt
    Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:1-9 [Conf]
  2. Jeffrey Bonar, Elliot Soloway
    Uncovering Principles of Novice Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:10-13 [Conf]
  3. Stephen C. Johnson
    Code Generation for Silicon. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:14-19 [Conf]
  4. Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä
    Derivation of Efficient DAG Marking Algorithms. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:20-27 [Conf]
  5. Leslie Lamport
    Reasoning About Nonatomic Operations. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:28-37 [Conf]
  6. Greg Nelson
    Verifying Reachability Invariants of Linked Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:38-47 [Conf]
  7. John Nagle, Scott Johnson
    Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:48-58 [Conf]
  8. Alan J. Demers, James E. Donahue
    Making Variables Abstract: An Equational Theory for Russell. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:59-72 [Conf]
  9. Robert Paige
    Transformational Programming - Applications to Algorithms and Systems. [Citation Graph (1, 0)][DBLP]
    POPL, 1983, pp:73-87 [Conf]
  10. Daniel Leivant
    Polymorphic Type Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:88-98 [Conf]
  11. Pierre Lescanne
    Computer Experiments with the Reve Term Rewriting System Generator. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:99-108 [Conf]
  12. Richard B. Kieburtz
    Precise Typing of Abstract Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:109-116 [Conf]
  13. Edmund M. Clarke, E. Allen Emerson, A. Prasad Sistla
    Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:117-126 [Conf]
  14. E. Allen Emerson, Joseph Y. Halpern
    ``Sometimes'' and ``Not Never'' Revisited: On Branching Versus Linear Time. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:127-140 [Conf]
  15. Zohar Manna, Amir Pnueli
    How to Cook a Temporal Proof System for Your Pet Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:141-154 [Conf]
  16. Daniel Leivant
    Structural Semantics for Polymorphic Data Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:155-166 [Conf]
  17. Barbara G. Ryder
    Incremental Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:167-176 [Conf]
  18. John R. Allen, Ken Kennedy, Carrie Porterfield, Joe D. Warren
    Conversion of Control Dependence to Data Dependence. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:177-189 [Conf]
  19. Mitchell Wand
    Loops in Combinator-Based Compilers. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:190-196 [Conf]
  20. Janice E. Cuny, Lawrence Snyder
    Compilation of Data-Driven Programs for Synchronous Execution. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:197-202 [Conf]
  21. Mark N. Wegman
    Summarizing Graphs by Regular Expressions. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:203-216 [Conf]
  22. Jeanne Ferrante, Karl J. Ottenstein
    A Program Form Based on Data Dependency in Predicate Regions. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:217-236 [Conf]
  23. Butler W. Lampson, Eric E. Schmidt
    Practical Use of a Polymorphic Applicative Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:237-255 [Conf]
  24. Peter Wegner
    On the Unification of Data and Program Abstraction in Ada. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:256-264 [Conf]
  25. Lambert G. L. T. Meertens
    Incremental Polymorphic Type Checking in B. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:265-275 [Conf]
  26. Robert E. Strom
    Mechanisms for Compile-Time Enforcement of Security. [Citation Graph (1, 0)][DBLP]
    POPL, 1983, pp:276-284 [Conf]
  27. Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
    Abstraction Mechanisms in the Beta Programming Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1983, pp:285-298 [Conf]
  28. Naftaly H. Minsky
    Locality in Software Systems. [Citation Graph (1, 0)][DBLP]
    POPL, 1983, pp:299-312 [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