|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1194 occurrences of 617 keywords
|
|
|
Results
Found 1568 publication records. Showing 1568 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Noam Rinetzky, Jörg Bauer 0001, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
A semantics for procedure local heaps and its abstractions. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
3-valued logic, static analysis, abstract interpretation, shape analysis |
1 | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
Automated soundness proofs for dataflow analyses and transformations via local rules. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
1 | Richard Cobbe, Matthias Felleisen |
Environmental acquisition revisited. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
environmental acquisition, object containment, object-oriented languages, object composition |
1 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
1 | Brian Hackett, Radu Rugina |
Region-based shape analysis with tracked locations. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
static error detection, memory management, shape analysis, memory leaks |
1 | J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt |
Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
bi-directional programming, XML, lenses, harmony, view update problem |
1 | Sumit Gulwani, George C. Necula |
Precise interprocedural analysis using random interpretation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
interprocedural value numbering, linear relationships, random interpretation, randomized algorithm, interprocedural analysis, uninterpreted functions |
1 | Peng Li, Steve Zdancewic |
Downgrading policies and relaxed noninterference. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence |
1 | John Tang Boyland, William Retert |
Connecting effects and uniqueness with adoption. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
adoption, ownership, uniqueness, permissions |
1 | Simon J. Gay, Rajagopal Nagarajan |
Communicating quantum processes. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
verification, semantics, quantum computing, types, formal language, quantum communication |
1 | Jeremy Manson, William W. Pugh, Sarita V. Adve |
The Java memory model. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
Java, concurrency, multithreading, memory model |
1 | Andreas Podelski, Andrey Rybalchenko |
Transition predicate abstraction and fair termination. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
fair termination, transition predicate abstraction, liveness, software model checking |
1 | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow |
Associated types with class. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
associated types, self-optimising libraries, type-directed translation, type-indexed types, type classes |
1 | Yichen Xie 0001, Alexander Aiken |
Scalable error detection using boolean satisfiability. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
program analysis, error detection, boolean satisfiability |
1 | Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald |
Proof-guided underapproximation-widening for multi-process systems. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
SAT proofs, underapproximation-widening, abstraction, software verification, bounded model checking |
1 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic and abstraction. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
modularity, abstract data types, classes, resources, separation logic |
1 | Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson |
Permission accounting in separation logic. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
concurrency, logic, separation, permissions |
1 | Healfdene Goguen |
A syntactic approach to eta equality in type theory. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
beta-eta equality, decidability, type checking, logical frameworks |
1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Theoretical foundations for compensations in flow composition languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
process description languages, transactions, compensations |
1 | Sungwoo Park, Frank Pfenning, Sebastian Thrun |
A probabilistic language based upon sampling functions. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
probabilistic language, sampling function, robotics, probability distribution |
1 | Juan Chen, David Tarditi |
A simple typed intermediate language for object-oriented languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
class and object encoding, typed intermediate language |
1 | Denis Gopan, Thomas W. Reps, Shmuel Sagiv |
A framework for numeric analysis of array operations. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
abstract numeric domains, array analysis, canonical abstraction, program analysis, summarization |
1 | Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier |
A logic you can count on. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
semi-structured data, tree automata, substructural logic, Presburger arithmetic, ambient |
1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan |
Abstractions from proofs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
counterexample analysis, software model checking, predicate abstraction |
1 | Neil D. Jones, Xavier Leroy (eds.) |
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 |
POPL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan, Stephen N. Freund |
Atomizer: a dynamic atomicity checker for multithreaded programs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
dynamic analysis, reduction, atomicity |
1 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
type preservation, polymorphism, defunctionalization, closure conversion |
1 | Xavier Rival |
Symbolic transfer function-based approaches to certified compilation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
compilation, static analysis, abstract interpretation, certification, translation validation |
1 | Nobuko Yoshida |
Channel dependent types for higher-order mobile processes. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
the higher-order ?-calculus, access control, types, secrecy, mobile processes |
1 | Hans-Juergen Boehm |
The space cost of lazy reference counting. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
garbage collection, memory allocation, space complexity, reference counting |
1 | Derek Dreyer |
A type system for well-founded recursion. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
yype systems, recursion, effect systems, recursive modules |
1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001 |
A semantics for web services authentication. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
web services, XML security, applied pi calculus |
1 | Bryan Ford |
Parsing expression grammars: a recognition-based syntactic foundation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
GTDPL, TDPL, packrat parsing, parsing expression grammars, scannerless parsing, syntactic predicates, unified grammars, regular expressions, context-free grammars, lexical analysis, BNF |
1 | Roberto Giacobazzi, Isabella Mastroeni |
Abstract non-interference: parameterizing non-interference by abstract interpretation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
abstract interpretation, language-based security, non-interference, abstract domains |
1 | Davide Ancona, Elena Zucca |
Principal typings for Java-like languages. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
Java-like languages, selective recompilation, principal typings |
1 | Sriram Sankaranarayanan 0001, Henny Sipma, Zohar Manna |
Non-linear loop invariant generation using Gröbner bases. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
Gröbner bases, verification, program analysis, constraint programming, symbolic computation, ideals, invariant generation |
1 | Lars Birkedal, Noah Torp-Smith, John C. Reynolds |
Local reasoning about a copying garbage collector. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
copying garbage collector, separation logic, local reasoning |
1 | Markus Müller-Olm, Helmut Seidl |
Precise interprocedural analysis through linear algebra. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
affine relation, polynomial relation, linear algebra, interprocedural analysis, weakest precondition |
1 | Patrick Cousot, Radhia Cousot |
An abstract interpretation-based framework for software watermarking. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
software authorship, stegoanalyst, stegoattacks, stegokey, stegomark, stegosignature, validation watermarking, authentication, static analysis, abstract interpretation, steganography, fingerprinting, identification, copyrights protection, trustworthiness, obfuscation, intellectual property protection, software watermarking, tamper-proofing |
1 | Patricia Johann, Janis Voigtländer |
Free theorems in the presence of seq. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations |
1 | Jana Dunfield, Frank Pfenning |
Tridirectional typechecking. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
type refinements, dependent types, intersection types, union types |
1 | Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
Summarizing procedures in concurrent programs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems |
1 | Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen |
Incremental execution of transformation specifications. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
language factors, residuation operators, transformation specification, logic programming, constraints, program transformation, program analysis, incremental algorithm |
1 | Marcelo P. Fiore |
Isomorphisms of generic recursive polynomial types. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
Gröbner bases, type isomorphism, data structure, type theory, recursive types, word problem, semigroups, rigs |
1 | Nick Benton |
Simple relational correctness proofs for static analyses and program transformations. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic |
1 | Jerome Vouillon, Paul-André Melliès |
Semantic types: a fresh look at the ideal model for types. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
ideal model, inductive/coinductive principle, polymorphism, subtyping, realizability, recursive types |
1 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for dynamic sealing. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore |
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
Grothendieck logical relations, strong sums, type-directed partial evaluation, typed lambda calculus, normalisation |
1 | Peter W. O'Hearn, Hongseok Yang, John C. Reynolds |
Separation and information hiding. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
resource protection, modularity, separation logic |
1 | Sumit Gulwani, George C. Necula |
Global value numbering using random interpretation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
global value numbering, herbrand equivalences, random interpretation, randomized algorithm, uninterpreted functions |
1 | Dachuan Yu, Andrew Kennedy, Don Syme |
Formalization of generics for the .NET common language runtime. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
CLR, run-time types, generics, polymorphism, NET |
1 | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
Asynchronous and deterministic objects. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
object calculus, parallelism, concurrency, distribution, object-oriented languages, determinism, futures |
1 | Sriraman Tallam, Rajiv Gupta 0001 |
Bitwidth aware global register allocation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
minimal bitwidth, packing interfering nodes, subword data, embedded applications |
1 | Jérôme Siméon, Philip Wadler |
The essence of XML. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
XML, validation, XPath, XQuery, XML schema |
1 | Larry Carter, Jeanne Ferrante, Clark D. Thomborson |
Folklore confirmed: reducible flow graphs are exponentially larger. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
safety/security in digital systems, computational complexity, compilers, programming languages |
1 | Walid Taha, Michael Florentin Nielsen |
Environment classifiers. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
type systems, modal logic, type safety, linear temporal logic, multi-stage programming |
1 | Hans-Juergen Boehm |
Destructors, finalizers, and synchronization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
destructor, synchronization, garbage collection, deadlock, thread, finalization |
1 | Leaf Petersen, Robert Harper 0001, Karl Crary, Frank Pfenning |
A type theory for memory allocation and data layout. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
ordered logic, memory management, type theory, data representation |
1 | Alan Schmitt, Jean-Bernard Stefani |
The m-calculus: a higher-order distributed process calculus. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
mobility, distribution, type systems, process calculi, higher order |
1 | Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori |
Pure patterns type systems. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting |
1 | Hayo Thielecke |
From control effects to typed continuation passing. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
control effects, polymorphism, continuations, type and effect systems |
1 | Hongwei Xi, Chiyan Chen, Gang Chen |
Guarded recursive datatype constructors. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
guarded recursive datatype constructors |
1 | Martin Hofmann 0001, Steffen Jost |
Static prediction of heap space usage for first-order functional programs. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
program analysis, functional programming, garbage collection, resources, heap |
1 | Venkatesan T. Chakaravarthy |
New results on the computability and complexity of points - to analysis. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
flow-insensitive, complexity, pointer analysis, undecidability, flow-sensitive |
1 | Ahmed Bouajjani, Javier Esparza, Tayssir Touili |
A generic approach to the static analysis of concurrent programs with procedures. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems |
1 | David F. Bacon, Perry Cheng, V. T. Rajan |
A real-time garbage collector with low overhead and consistent utilization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
defragmentation, real-time scheduling, utilization, read barrier |
1 | Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard |
Interprocedural compatibility analysis for static object preallocation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
memory preallocation, static analysis, interprocedural analysis |
1 | Gang Chen |
Coercive subtyping for the calculus of constructions. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion |
1 | Ole Høgh Jensen, Robin Milner |
Bigraphs and transitions. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
bigraph, mobile computation, reactive system, transition system, ?-calculus, bisimilarity |
1 | Yoav Zibin, Joseph Gil |
Incremental algorithms for dispatching in dynamically typed languages. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
hierarchy, CT, message, incremental, dispatch, dynamic-typing |
1 | Alex Aiken, Greg Morrisett (eds.) |
Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003 |
POPL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Derek Dreyer, Karl Crary, Robert Harper 0001 |
A type system for higher-order modules. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors |
1 | Thomas Ball, Mayur Naik, Sriram K. Rajamani |
From symptom to cause: localizing errors in counterexample traces. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
debugging, software model checking |
1 | Yoav Zibin, Joseph Gil, Jeffrey Considine |
Efficient algorithms for isomorphisms of simple types. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature |
1 | Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 |
Selective memoization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
performance, selective, memoization, programmer controlled |
1 | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira |
Ownership types for object encapsulation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
object encapsulation, ownership types, software upgrades |
1 | Karl Crary |
Toward a foundational typed assembly language. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
proof-carrying code, typed assembly language |
1 | Sumit Gulwani, George C. Necula |
Discovering affine equalities using random interpretation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
affine relationships, linear equalities, random interpretation, randomized algorithm |
1 | Cormac Flanagan, Shaz Qadeer |
Predicate abstraction for software verification. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Andrew D. Gordon 0001 |
Stack inspection: theory and variants. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rajit Manohar |
Scalable formal design methods for asynchronous VLSI. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Erez Petrank, Dror Rawitz |
The hardness of cache conscious data placement. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
Cache conscious data placement, cache conscious code rearrangement, computational complexity, memory management, hardness of approximation |
1 | Glenn Ammons, Rastislav Bodík, James R. Larus |
Mining specifications. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zhendong Su 0001, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen |
The first-order theory of subtyping constraints. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Merro, Matthew Hennessy |
Bisimulation congruences in safe ambients. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Atsushi Igarashi, Naoki Kobayashi 0001 |
Resource usage analysis. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001 |
The strength of non-size increasing computation. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
computational complexity, semantics, higher-order functions, finite model |
1 | Yefim Shuf, Manish Gupta 0002, Rajesh Bordawekar, Jaswinder Pal Singh |
Exploiting prolific types for memory management and optimizations. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Juergen Boehm |
Bounding space usage of conservative garbage collectors. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen |
Proving correctness of compiler optimizations by temporal logic. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Honda 0001, Nobuko Yoshida |
A uniform type structure for secure information flow. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Banerjee 0001, David A. Naumann |
Representation independence, confinement and access control [extended abstract]. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Lerner, David Grove, Craig Chambers |
Composing dataflow analyses and transformations. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Neubauer, Peter Thiemann 0001, Martin Gasbichler, Michael Sperber |
Functional logic overloading. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi, Bruno Blanchet |
Analyzing security protocols with secrecy types and logic programs. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Chaki, Sriram K. Rajamani, Jakob Rehof |
Types as models: model checking message-passing programs. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | François Pottier, Vincent Simonet |
Information flow inference for ML. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Sriram K. Rajamani |
The SLAM project: debugging system software via static analysis. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | George C. Necula, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy code. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Norman Ramsey, Avi Pfeffer |
Stochastic lambda calculus and monads of probability distributions. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 1568 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|