The SCEAS System
Navigation Menu

Conferences in DBLP

Symposium on Principles of Programming Languages (POPL) (popl)
1987 (conf/popl/87)

  1. Zohar Manna, Amir Pnueli
    Specification and Verification of Concurrent Programs By Forall-Automata. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:1-12 [Conf]
  2. Maurice Herlihy, Jeannette M. Wing
    Axioms for Concurrent Objects. [Citation Graph (2, 0)][DBLP]
    POPL, 1987, pp:13-26 [Conf]
  3. Jennifer Widom, David Gries, Fred B. Schneider
    Completeness and Incompleteness of Trace-Based Network Proof Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:27-38 [Conf]
  4. Pierre Jouvelot
    Semantic Parallelization: A Practical Exercise in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:39-48 [Conf]
  5. Vijay A. Saraswat
    The Concurrent Logic Programming Language CP: Definition and Operational Semantics. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:49-62 [Conf]
  6. Randy Allen, David Callahan, Ken Kennedy
    Automatic Decomposition of Scientific Programs for Parallel Execution. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:63-76 [Conf]
  7. Eugene E. Kohlbecker, Mitchell Wand
    Macro-by-Example: Deriving Syntactic Transformations from their Specifications. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:77-84 [Conf]
  8. Jiazhen Cai, Robert Paige
    Binding Performance at Language Design Time. [Citation Graph (3, 0)][DBLP]
    POPL, 1987, pp:85-97 [Conf]
  9. David Gelernter, Suresh Jagannathan, Thomas London
    Environments as First Class Objects. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:98-110 [Conf]
  10. Joxan Jaffar, Jean-Louis Lassez
    Constraint Logic Programming. [Citation Graph (33, 0)][DBLP]
    POPL, 1987, pp:111-119 [Conf]
  11. Flemming Nielson
    Strictness Analysis and Denotational Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:120-131 [Conf]
  12. Cordelia V. Hall, David S. Wise
    Compiling Strictness into Streams. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:132-143 [Conf]
  13. Tsung-Min Kuo, Prateek Mishra
    On Strictness and its Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:144-155 [Conf]
  14. M. Drew Moshier, William C. Rounds
    A Logic for Partially Specified Data Structures. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:156-167 [Conf]
  15. David R. Chase
    An Improvement to Bottom-up Tree Pattern Matching. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:168-177 [Conf]
  16. Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
    Lustre: A Declarative Language for Programming Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:178-188 [Conf]
  17. Krzysztof R. Apt, Nissim Francez, Shmuel Katz
    Appraising Fairness in Languages for Distributed Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:189-198 [Conf]
  18. Eugene W. Stark
    Concurrent Transition System Semantics of Process Networks. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:199-210 [Conf]
  19. Frank J. Oles
    Semantics for Concurrency without Powerdomains. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:211-222 [Conf]
  20. Cornelis Huizing, Rob Gerth, Willem P. de Roever
    Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:223-237 [Conf]
  21. Val Tannen, Albert R. Meyer
    Computable Values Can Be Classical. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:238-245 [Conf]
  22. Daniel Leivant, Tim Fernando
    Skinny and Fleshy Failures of Relative Completeness. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:246-252 [Conf]
  23. Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
    Empty Types in Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:253-262 [Conf]
  24. David Bernstein, Jeffrey M. Jaffe, Michael Rodeh
    Scheduling Arithmetic and Load Operations in Parallel with No Spilling. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:263-273 [Conf]
  25. Anne Neirynck, Prakash Panangaden, Alan J. Demers
    Computation of Aliases and Support Sets. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:274-283 [Conf]
  26. Peter Lee, Uwe F. Pleban
    A Realistic Compiler Generator Based on High-Level Semantics. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:284-295 [Conf]
  27. David R. Cheriton, Michael E. Wolf
    Extensions for Multi-Module Records in Conventional Programming Languages. [Citation Graph (0, 0)][DBLP]
    POPL, 1987, pp:296-306 [Conf]
  28. Philip Wadler
    Views: A Way for Pattern Matching to Cohabit with Data Abstraction. [Citation Graph (1, 0)][DBLP]
    POPL, 1987, pp:307-313 [Conf]
  29. Matthias Felleisen, Daniel P. Friedman
    A Calculus for Assignments in Higher-Order Languages. [Citation Graph (1, 0)][DBLP]
    POPL, 1987, pp:314-325 [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