Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christian S. Collberg, Clark D. Thomborson, Douglas Low |
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 184-196, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | David A. Schmidt |
Data Flow Analysis is Model Checking of Abstract Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 38-48, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | David B. MacQueen, Luca Cardelli (eds.) |
POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![ACM, 0-89791-979-3 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | John Hannan, Patrick Hicks |
Higher-Order unCurrying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 1-11, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Peter Mataga, Shmuel Sagiv |
Edge Profiling versus Path Profiling: The Showdown. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 134-148, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Saumya K. Debray, Robert Muth, Matthew Weippert |
Alias Analysis of Executable Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 12-24, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Aleksy Schubert |
Second-Order Unification and Type Inference for Church-Style Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 279-288, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Jagannathan, Peter Thiemann 0001, Stephen Weeks, Andrew K. Wright |
Single and Loving It: Must-Alias Analysis for Higher-Order Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 329-341, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide |
A Functional Representation of Data Structures with a Hole. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 75-84, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Application Builder |
1 | Benjamin C. Pierce, David N. Turner |
Local Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 252-265, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ML |
1 | Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach |
Bridging the Gulf: A Common Intermediate Language for ML and Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 49-61, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Haskell, ML |
1 | Greg DeFouw, David Grove, Craig Chambers |
Fast Interprocedural Class Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 222-236, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Denis Barthou, Albert Cohen 0001, Jean-Francois Collard |
Maximal Static Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 98-106, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
expansion of data structure, privatization, single assignment |
1 | Thomas P. Jensen |
Inference of Polymorphic and Conditional Strictness Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 209-221, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy, François Rouaix |
Security Properties of Typed Applets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 391-403, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | Jens Palsberg, Christina Pavlopoulou |
From Polyvariant Flow Information to Intersection and Union Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 197-208, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Smith 0001, Dennis M. Volpano |
Secure Information Flow in a Multi-Threaded Imperative Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 355-364, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh Ghiya, Laurie J. Hendren |
Putting Pointer Analysis to Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 121-133, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nevin Heintze, Jon G. Riecke |
The SLam Calculus: Programming with Secrecy and Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 365-377, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Bodík, Sadun Anik |
Path-Sensitive Value-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 237-251, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Harry G. Mairson |
Parallel Beta Reduction is not Elementary Recursive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 303-315, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Amr Sabry |
Correctness of Monadic State: An Imperative Call-by-Need Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 62-74, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Haskell |
1 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From System F to Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 85-97, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Raymie Stata, Martín Abadi |
A Type System for Java Bytecode Subroutines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 149-160, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
Classes and Mixins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 171-183, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | James Riely, Matthew Hennessy |
A Typed Language for Distributed Mobile Processes (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 378-390, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow, David von Oheimb |
Javalight is Type-Safe - Definitely. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 161-170, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | Aart Middeldorp |
Call by Need Computations to Root-Stable Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 94-105, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ruf |
Partitioning Dataflow Analyses Using Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 15-26, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Amokrane Saïbi |
Typing Algorithm in Type Theory with Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 292-301, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | François Bourdoncle, Stephan Merz |
Type-Checking Higher-Order Polymorphic Multi-Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 302-315, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Patrik Jansson, Johan Jeuring |
Polyp - A Polytypic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 470-482, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Philip Wadler |
Pizza into Java: Translating Theory into Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 146-159, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java |
1 | Karin Högstedt, Larry Carter, Jeanne Ferrante |
Determining the Idle Time of a Tiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 160-173, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Ping Chen, Paul Hudak |
Rolling Your Own MADT - A Connection Between Linear Types and Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 54-66, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | George C. Necula |
Proof-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 106-119, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Patrick Cousot |
Types as Abstract Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 316-331, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 332-345, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael P. Plezbert, Ron Cytron |
Is "Just in Time" = "Better Late than Never"? ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 120-131, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java, Internet |
1 | Marc Shapiro 0002, Susan Horwitz |
Fast and Accurate Flow-Insensitive Points-To Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 1-14, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fradet, Daniel Le Métayer |
Shape Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 27-39, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong, Charles A. Stewart |
A Curry-Howard Foundation for Functional Computation with Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 215-227, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Mark P. Jones |
First-class Polymorphism with Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 483-496, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Michael Hanus |
A Unified Computation Model for Functional and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 80-93, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Amy W. Lim, Monica S. Lam |
Maximizing Parallelism and Minimizing Synchronization with Affine Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 201-214, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin C. Pierce, Davide Sangiorgi |
Behavioral Equivalence in the Polymorphic Pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 242-255, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
Reducing Nondeterminism while Specializing Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 414-427, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Lesens, Nicolas Halbwachs, Pascal Raymond |
Automatic Verification of Parameterized Linear Networks of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 346-357, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sandip K. Biswas |
A Demand-Driven Set-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 372-385, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew C. Myers, Joseph A. Bank, Barbara Liskov |
Parameterized Types for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 132-145, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Java |
1 | Luca Cardelli |
Program Fragments, Linking, and Modularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 266-277, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lee, Fritz Henglein, Neil D. Jones (eds.) |
Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![ACM Press, 0-89791-853-3 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Gérard Boudol |
The Pi-calculus in Direct Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 228-241, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Kennedy |
Relational Parametricity and Units of Measure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 442-455, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi |
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 256-265, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
CCS |
1 | Pedro C. Diniz, Martin C. Rinard |
Synchronization Transformations for Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 187-200, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand, Gregory T. Sullivan |
Denotational Semantics Using an Operationally-Based Term Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 386-399, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Andrea Schaerf |
Search and Imperative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 67-79, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert Paige, Zhe Yang |
High Level Reading and Data Structure Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 456-469, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Sands 0001 |
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 428-441, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Morten Heine Sørensen |
Constraints to Stop Higher-Order Deforestation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 400-413, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rehof |
Minimal Typings in Atomic Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 278-291, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alain Deutsch |
On the Complexity of Escape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 358-371, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Patrice Godefroid |
Model Checking for Programming Languages using Verisoft. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 174-186, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Didier Rémy, Jerome Vouillon |
Objective ML: A Simple Object-Oriented Extension of ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997, pp. 40-53, 1997, ACM Press, 0-89791-853-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | John Greiner, Guy E. Blelloch |
A Provably Time-Efficient Parallel Implementation of Full Speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 309-321, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy |
Type-Directed Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 242-257, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Georges Gonthier |
The Reflexive CHAM and the Join-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 372-385, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rowan Davies, Frank Pfenning |
A Modal Analysis of Staged Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 258-270, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Todd A. Proebsting, Scott A. Watterson |
Filter Fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 119-130, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper 0001 |
Typed Closure Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 271-283, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Trevor Jim |
What Are Principal Typings and What Are They Good For? ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 42-53, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Niehren |
Functional Computation as Concurrent Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 333-343, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Colby, Peter Lee 0001 |
Trace-Based Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 195-207, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Roger Hoover, F. Kenneth Zadeck |
Generating Machine Specific Optimizing Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 219-229, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Steven M. Kurlander, Charles N. Fischer |
Minimum Cost Interprocedural Register Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 230-241, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bjarne Steensgaard |
Points-to Analysis in Almost Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 32-41, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti |
On the Complexity of Beta-Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 110-118, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Manish Gupta 0002, Edith Schonberg |
Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 322-332, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Mads Tofte, Magnus Vejlstrup |
From Region Inference to von Neumann Machines via Region Representation Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 171-183, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Luca Cardelli, Ramesh Viswanathan |
An Interpretation of Objects and Object Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 396-409, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lal George, Andrew W. Appel |
Iterated Register Coalescing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 208-218, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Honda 0001 |
Composing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 344-357, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001, Lars Pareto, Amr Sabry |
Proving the Correctness of Reactive Systems Using Sized Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 410-423, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mark P. Jones |
Using Parameterized Signatures to Express Modular Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 68-78, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek |
C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 131-144, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Juergen Boehm, Guy L. Steele Jr. (eds.) |
Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![ACM Press, 0-89791-769-3 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Kannan Govindarajan, Bharat Jayaraman, Surya Mantha |
Optimization and Relaxation in Constraint Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 91-103, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Gareth D. Rees |
Bisimilarity for a First-Order Calculus of Objects with Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 386-395, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Solving Shape-Analysis Problems in Languages with Destructive Updating. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 16-31, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Konstantin Läufer |
Putting Type Annotations to Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 54-67, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Andrew D. Gordon 0001, Sigbjørn Finne |
Concurrent Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 295-308, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Concurrent C |
1 | Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum |
Discovering Auxiliary Information for Incremental Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 157-170, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, François Noël |
A General Approach for Run-Time Specialization and its Application to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 145-156, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Leonidas Fegaras, Tim Sheard |
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 284-294, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jackson 0001, Somesh Jha, Craig Damon |
Faster Checking of Software Specifications by Eliminating Isomorphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 79-90, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
model enumeration, validity checking, formal specification, symmetry, Z notation, relational calculus |
1 | Nicholas Pippenger |
Pure versus Impure LISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 104-109, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
LISP |
1 | Rakesh Ghiya, Laurie J. Hendren |
Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 1-15, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner |
Linearity and the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 358-371, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. Michael Ashley |
A Practical and Flexible Flow Analysis for Higher-Order Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 184-194, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|