22. POPL 1995:
San Francisco,
California
Conference Record of POPL'95:
22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
San Francisco, California, January 23-25, 1995. ACM Press, New York,
1995, ISBN 0-89791-692-1
Held along with two workshops on January 22:
IR'95 Workshop on Intermediate Representations
SIPL'95 Workshop on State in Programming Languages
POPL 95 Server in Seattle
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7
- Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos F. Sagonas, Steven Skiena, Terrance Swift, David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs.
247-258 BibTeX
- Klaus E. Schauser, David E. Culler, Seth Copen Goldstein:
Separation Constraint Partitioning - A New Algorithm for Partitioning Non-strict Programs into Sequential Threads.
259-271 BibTeX
- Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta:
Default Timed Concurrent Constraint Programming.
272-285 BibTeX
Session 8
Session 9
Session 10
Corrigendum
Copyright © Sat May 16 23:34:31 2009
by Michael Ley (ley@uni-trier.de)