Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Christian S. Collberg, Clark D. Thomborson, Douglas Low |
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | David A. Schmidt |
Data Flow Analysis is Model Checking of Abstract Interpretations. |
POPL |
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 |
POPL |
1998 |
DBLP BibTeX RDF |
|
1 | John Hannan, Patrick Hicks |
Higher-Order unCurrying. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Peter Mataga, Shmuel Sagiv |
Edge Profiling versus Path Profiling: The Showdown. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Saumya K. Debray, Robert Muth, Matthew Weippert |
Alias Analysis of Executable Code. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Aleksy Schubert |
Second-Order Unification and Type Inference for Church-Style Polymorphism. |
POPL |
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. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide |
A Functional Representation of Data Structures with a Hole. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Application Builder |
1 | Benjamin C. Pierce, David N. Turner |
Local Type Inference. |
POPL |
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. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Haskell, ML |
1 | Greg DeFouw, David Grove, Craig Chambers |
Fast Interprocedural Class Analysis. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Denis Barthou, Albert Cohen 0001, Jean-Francois Collard |
Maximal Static Expansion. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
expansion of data structure, privatization, single assignment |
1 | Thomas P. Jensen |
Inference of Polymorphic and Conditional Strictness Properties. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Leroy, François Rouaix |
Security Properties of Typed Applets. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | Jens Palsberg, Christina Pavlopoulou |
From Polyvariant Flow Information to Intersection and Union Types. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Smith 0001, Dennis M. Volpano |
Secure Information Flow in a Multi-Threaded Imperative Language. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rakesh Ghiya, Laurie J. Hendren |
Putting Pointer Analysis to Work. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Nevin Heintze, Jon G. Riecke |
The SLam Calculus: Programming with Secrecy and Integrity. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Bodík, Sadun Anik |
Path-Sensitive Value-Flow Analysis. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti, Harry G. Mairson |
Parallel Beta Reduction is not Elementary Recursive. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Amr Sabry |
Correctness of Monadic State: An Imperative Call-by-Need Calculus. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Haskell |
1 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From System F to Typed Assembly Language. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Raymie Stata, Martín Abadi |
A Type System for Java Bytecode Subroutines. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen |
Classes and Mixins. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | James Riely, Matthew Hennessy |
A Typed Language for Distributed Mobile Processes (Extended Abstract). |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow, David von Oheimb |
Javalight is Type-Safe - Definitely. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
Java |
1 | Aart Middeldorp |
Call by Need Computations to Root-Stable Form. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ruf |
Partitioning Dataflow Analyses Using Types. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Amokrane Saïbi |
Typing Algorithm in Type Theory with Inheritance. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | François Bourdoncle, Stephan Merz |
Type-Checking Higher-Order Polymorphic Multi-Methods. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Patrik Jansson, Johan Jeuring |
Polyp - A Polytypic Programming Language. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Philip Wadler |
Pizza into Java: Translating Theory into Practice. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
Java |
1 | Karin Högstedt, Larry Carter, Jeanne Ferrante |
Determining the Idle Time of a Tiling. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chih-Ping Chen, Paul Hudak |
Rolling Your Own MADT - A Connection Between Linear Types and Monads. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | George C. Necula |
Proof-Carrying Code. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Patrick Cousot |
Types as Abstract Interpretations. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hanne Riis Nielson, Flemming Nielson |
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael P. Plezbert, Ron Cytron |
Is "Just in Time" = "Better Late than Never"? |
POPL |
1997 |
DBLP DOI BibTeX RDF |
Java, Internet |
1 | Marc Shapiro 0002, Susan Horwitz |
Fast and Accurate Flow-Insensitive Points-To Analysis. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fradet, Daniel Le Métayer |
Shape Types. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong, Charles A. Stewart |
A Curry-Howard Foundation for Functional Computation with Control. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Mark P. Jones |
First-class Polymorphism with Type Inference. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Michael Hanus |
A Unified Computation Model for Functional and Logic Programming. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Amy W. Lim, Monica S. Lam |
Maximizing Parallelism and Minimizing Synchronization with Affine Transforms. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin C. Pierce, Davide Sangiorgi |
Behavioral Equivalence in the Polymorphic Pi-calculus. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
Reducing Nondeterminism while Specializing Logic Programs. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Lesens, Nicolas Halbwachs, Pascal Raymond |
Automatic Verification of Parameterized Linear Networks of Processes. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sandip K. Biswas |
A Demand-Driven Set-Based Analysis. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew C. Myers, Joseph A. Bank, Barbara Liskov |
Parameterized Types for Java. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
Java |
1 | Luca Cardelli |
Program Fragments, Linking, and Modularization. |
POPL |
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 |
POPL |
1997 |
DBLP BibTeX RDF |
|
1 | Gérard Boudol |
The Pi-calculus in Direct Style. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Kennedy |
Relational Parametricity and Units of Measure. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi |
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
CCS |
1 | Pedro C. Diniz, Martin C. Rinard |
Synchronization Transformations for Parallel Computing. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Wand, Gregory T. Sullivan |
Denotational Semantics Using an Operationally-Based Term Model. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Andrea Schaerf |
Search and Imperative Programming. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert Paige, Zhe Yang |
High Level Reading and Data Structure Compilation. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Sands 0001 |
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Morten Heine Sørensen |
Constraints to Stop Higher-Order Deforestation. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rehof |
Minimal Typings in Atomic Subtyping. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alain Deutsch |
On the Complexity of Escape Analysis. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | Patrice Godefroid |
Model Checking for Programming Languages using Verisoft. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Didier Rémy, Jerome Vouillon |
Objective ML: A Simple Object-Oriented Extension of ML. |
POPL |
1997 |
DBLP DOI BibTeX RDF |
ML |
1 | John Greiner, Guy E. Blelloch |
A Provably Time-Efficient Parallel Implementation of Full Speculation. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy |
Type-Directed Partial Evaluation. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Georges Gonthier |
The Reflexive CHAM and the Join-Calculus. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rowan Davies, Frank Pfenning |
A Modal Analysis of Staged Computation. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Todd A. Proebsting, Scott A. Watterson |
Filter Fusion. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper 0001 |
Typed Closure Conversion. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Trevor Jim |
What Are Principal Typings and What Are They Good For? |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Niehren |
Functional Computation as Concurrent Computation. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Colby, Peter Lee 0001 |
Trace-Based Program Analysis. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Roger Hoover, F. Kenneth Zadeck |
Generating Machine Specific Optimizing Compilers. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Steven M. Kurlander, Charles N. Fischer |
Minimum Cost Interprocedural Register Allocation. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bjarne Steensgaard |
Points-to Analysis in Almost Linear Time. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Asperti |
On the Complexity of Beta-Reduction. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Manish Gupta 0002, Edith Schonberg |
Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Mads Tofte, Magnus Vejlstrup |
From Region Inference to von Neumann Machines via Region Representation Inference. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Luca Cardelli, Ramesh Viswanathan |
An Interpretation of Objects and Object Types. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lal George, Andrew W. Appel |
Iterated Register Coalescing. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Honda 0001 |
Composing Processes. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John Hughes 0001, Lars Pareto, Amr Sabry |
Proving the Correctness of Reactive Systems Using Sized Types. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mark P. Jones |
Using Parameterized Signatures to Express Modular Structure. |
POPL |
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. |
POPL |
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 |
POPL |
1996 |
DBLP BibTeX RDF |
|
1 | Kannan Govindarajan, Bharat Jayaraman, Surya Mantha |
Optimization and Relaxation in Constraint Logic Languages. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Gareth D. Rees |
Bisimilarity for a First-Order Calculus of Objects with Subtyping. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Solving Shape-Analysis Problems in Languages with Destructive Updating. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Martin Odersky, Konstantin Läufer |
Putting Type Annotations to Work. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones, Andrew D. Gordon 0001, Sigbjørn Finne |
Concurrent Haskell. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
Concurrent C |
1 | Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum |
Discovering Auxiliary Information for Incremental Computation. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Charles Consel, François Noël |
A General Approach for Run-Time Specialization and its Application to C. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Leonidas Fegaras, Tim Sheard |
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Jackson 0001, Somesh Jha, Craig Damon |
Faster Checking of Software Specifications by Eliminating Isomorphs. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
model enumeration, validity checking, formal specification, symmetry, Z notation, relational calculus |
1 | Nicholas Pippenger |
Pure versus Impure LISP. |
POPL |
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. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001, Benjamin C. Pierce, David N. Turner |
Linearity and the Pi-Calculus. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. Michael Ashley |
A Practical and Flexible Flow Analysis for Higher-Order Languages. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|