Search results for "POPL"

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

Publications at "POPL"( http://dblp.L3S.de/Venues/POPL )