|
|
|
|
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 | William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta |
Program analysis via satisfiability modulo path programs.  |
POPL  |
2010 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers |
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
On the verification problem for weak memory models. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
lossy channel systems, program verification, infinite state systems, relaxed memory models |
| 1 | Magnus O. Myreen |
Verified just-in-time compiler on x86. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
self-modifying code, just in time, compiler verification |
| 1 | Stephen Magill, Ming-Hsien Tsai 0001, Peter Lee 0001, Yih-Kuen Tsay |
Automatic numeric abstractions for heap-manipulating programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstraction, program verification, termination, shape analysis, separation logic |
| 1 | Thomas A. Henzinger |
From Boolean to quantitative notions of correctness. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
quantitative specification, quantitative synthesis, quantitative analysis |
| 1 | Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala |
Low-level liquid types. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
liquid types, c, type inference, dependent types |
| 1 | Jean-Baptiste Tristan, Xavier Leroy |
A simple, verified validator for software pipelining. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
software pipelining, translation validation, verified compilers, symbolic evaluation |
| 1 | Aquinas Hobor, Robert Dockins, Andrew W. Appel |
A theory of indirection via approximation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
indirection theory, step-indexed models |
| 1 | DeLesley S. Hutchins |
Pure subtype systems. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types |
| 1 | Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann 0001 |
Static determination of quantitative resource usage for higher-order programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
resource analysis, functional programming, types |
| 1 | Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira |
Modular session types for distributed object-oriented programming. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
non-uniform method availability, object-oriented calculus, typestates, session types |
| 1 | Jean-Phillipe Martin, Michael Hicks 0001, Manuel Costa, Periklis Akritidis, Miguel Castro 0001 |
Dynamically checking ownership policies in concurrent c/c++ programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
security, testing, concurrency, debugging, tools, dynamic analysis |
| 1 | Philippe Suter, Mirco Dotta, Viktor Kuncak |
Decision procedures for algebraic data types with abstractions. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
data structure, decision procedure, algebraic data type, catamorphism |
| 1 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement |
| 1 | Hagit Attiya, G. Ramalingam, Noam Rinetzky |
Sequential verification of serializability. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
verification, concurrency, reduction, serializability |
| 1 | Andrew M. Pitts |
Nominal system T. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
alpha-equivalence, types, recursion, binders |
| 1 | Andreas Podelski, Thomas Wies |
Counterexample-guided focus. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
quantified invariants, data structures, shape analysis, predicate abstraction, abstraction refinement |
| 1 | Jeremy G. Siek, Philip Wadler |
Threesomes, with and without blame. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
blame tracking, lambda-calculus, coercions, casts |
| 1 | Niklas Broberg, David Sands 0001 |
Paralocks: role-based information flow control and beyond. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
information flow, security policies, language based security |
| 1 | Adam Chlipala |
A verified compiler for an impure functional language. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
compiler verification, interactive proof assistants |
| 1 | Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine |
Structuring the verification of heap-manipulating programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
type theory, monads, hoare logic, separation logic |
| 1 | Ross Tate, Michael Stepp, Sorin Lerner |
Generating compiler optimizations from proofs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
proof generalization, compiler optimization, explanation-based learning |
| 1 | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan Östlund, Jan Vitek |
Integrating typed and untyped code in a scripting language. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
compilers, semantics, object-orientation, types |
| 1 | Neil Gershenfeld, David Dalrymple, Kailiang Chen, Ara N. Knaian, Forrest Green, Erik D. Demaine, Scott Greenwald, Peter Schmidt-Nielsen |
Reconfigurable asynchronous logic automata: (RALA). |
POPL |
2010 |
DBLP DOI BibTeX RDF |
reconfigurable, logic, asynchronous, automata |
| 1 | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
Compositional may-must program analysis: unleashing the power of alternation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
software model checking, abstraction refinement, directed testing |
| 1 | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman |
Continuity analysis of programs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
stability, robustness, uncertainty, program analysis, continuity, errors, sensitivity, perturbations, proof rules |
| 1 | Max Schäfer, Oege de Moor |
Type inference for datalog with complex type hierarchies. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
type system, datalog, type inference |
| 1 | Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
Programming with angelic nondeterminism. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
angelic non-determinism, constraints, refinement, traces, bounded model-checking |
| 1 | Trevor Jim, Yitzhak Mandelbaum, David Walker 0001 |
Semantics and algorithms for data-dependent grammars. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
ambiguous grammars, context-sensitive grammars, data-dependent grammars, earley parsing, l-attributed grammars, regular right-sides, scannerless parsing, semantic predicates, automata, regular expressions, transducers, ebnf |
| 1 | J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
Toward a verified relational database management system. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
relational model, dependent types, separation logic, b+ tree |
| 1 | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
Coarse-grained transactions. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
coarse-grained transactions, movers, transactional boosting, transactional memory, abstract data-types, commutativity |
| 1 | Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal |
A relational modal logic for higher-order stateful ADTs. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations |
| 1 | Saurabh Srivastava 0001, Sumit Gulwani, Jeffrey S. Foster |
From program verification to program synthesis. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
proof-theoretic program synthesis, verification |
| 1 | Manuel V. Hermenegildo, Jens Palsberg (eds.) |
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 |
POPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald Garcia, Andrew Lumsdaine, Amr Sabry |
Lazy evaluation and delimited control. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
call-by-need, lambda calculus, abstract machines, delimited continuations, reduction semantics |
| 1 | Janis Voigtländer |
Bidirectionalization for free! (Pearl). |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem |
| 1 | Chris Hawblitzel, Erez Petrank |
Automated verification of practical garbage collectors. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
verification, garbage collection |
| 1 | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
The semantics of x86-CC multiprocessor machine code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
| 1 | Ruy Ley-Wild, Umut A. Acar, Matthew Fluet |
A cost semantics for self-adjusting computation. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
self-adjusting computation |
| 1 | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |
Equality saturation: a new approach to optimization. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
equality reasoning, compiler optimization, intermediate representation |
| 1 | Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko |
Verifying liveness for asynchronous programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, fair termination, petri nets, liveness |
| 1 | Rachid Guerraoui, Michal Kapalka |
The semantics of progress in lock-based transactional memory. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
try-lock, semantics, lower bound, transactional memory, reduction, lock, impossibility, consensus number |
| 1 | James Brotherston, Cristiano Calcagno |
Classical BI: a logic for reasoning about dualising resources. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models |
| 1 | Neelakantan R. Krishnaswami |
Focusing on pattern matching. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
curry-howard, pattern matching, type theory, focusing |
| 1 | Tayfun Elmas, Shaz Qadeer, Serdar Tasiran |
A calculus of atomic actions. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
abstraction, concurrent programs, reduction, atomicity |
| 1 | Roberto Lublinerman, Christian Szegedy, Stavros Tripakis |
Modular code generation from synchronous block diagrams: modularity vs. code size. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
clustering, code generation, np-complete, embedded software, synchronous languages, block diagrams |
| 1 | Alex Simpson |
Linear types for computational effects. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
computational monads, linear logic, computational effects |
| 1 | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis |
Proving that non-blocking algorithms don't block. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
formal verification, concurrent programming, termination, liveness |
| 1 | David Monniaux |
Automatic modular abstractions for linear constraints. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
program transformation, abstract interpretation, quantifier elimination, linear inequalities |
| 1 | Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Feedback-directed barrier optimization in a strongly isolated STM. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap |
| 1 | Xinyu Feng 0001 |
Local rely-guarantee reasoning. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning |
| 1 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Compositional shape analysis by means of bi-abduction. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
program analysis, abduction, proof theory |
| 1 | Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide |
Copy-on-write in the PHP language. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
php, graph rewriting |
| 1 | Gilles Barthe, Benjamin Grégoire, Santiago Zanella Béguelin |
Formal certification of code-based cryptographic proofs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
cryptographic proofs, relational hoare logic, program transformations, observational equivalence, coq proof assistant |
| 1 | Benoît Montagu, Didier Rémy |
Modeling abstract types in modules with open existential types. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
linear type systems, modularity, generativity, type systems, modules, lambda-calculus, abstract types, existential types |
| 1 | Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
huet's zippers, polynomial data structures, the third homomorphism theorem, divide-and-conquer |
| 1 | Peter A. Jonsson, Johan Nordlander |
Positive supercompilation for a higher order call-by-value language. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
deforestation, supercompilation, call-by-value |
| 1 | Naoki Kobayashi 0001 |
Types and higher-order recursion schemes for verification of higher-order programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
model checking, type system, higher-order recursion scheme |
| 1 | Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg |
State-dependent representation independence. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
local state, representation independence, abstract data types, existential types, step-indexed logical relations |
| 1 | Zhong Shao, Benjamin C. Pierce (eds.) |
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009 |
POPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv |
A combination framework for tracking partition sizes. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
combining analyses, set analysis, termination, shape analysis, numerical analysis, memory safety, space bounds |
| 1 | Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke |
The theory of deadlock avoidance via discrete control. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming |
| 1 | Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi |
SPEED: precise and efficient static estimation of program computational complexity. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis |
| 1 | Tim Harris 0001 |
Language constructs for transactional memory. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
atomic blocks, transactional memory, stm |
| 1 | Ben Hardekopf, Calvin Lin |
Semi-sparse flow-sensitive pointer analysis. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
pointer analysis, alias analysis |
| 1 | Martín Abadi, Gordon D. Plotkin |
A model of cooperative threads. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
transaction, operational semantics, monad, denotational semantics |
| 1 | Tom Ridge |
Verifying distributed systems: the operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
| 1 | Dana N. Xu, Simon L. Peyton Jones, Koen Claessen |
Static contract checking for Haskell. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
contract satisfaction, static contract checking |
| 1 | Xin Qi 0012, Andrew C. Myers |
Masked types for sound object initialization. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
conditional masks, cyclic data structures, null pointer exceptions, invariants, data abstraction |
| 1 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
| 1 | Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller |
A foundation for flow-based program matching: using temporal logic and model checking. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
program matching, model checking, program transformation, ctl, bug finding |
| 1 | Daan Leijen |
Flexible types: robust type inference for first-class polymorphism. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
first-class polymorphism, system f, mlf |
| 1 | Chris Barker |
Wild control operators. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
fcontrol, same, natural language, continuations, focus, shift, control operators, reset |
| 1 | Gérard Boudol, Gustavo Petri |
Relaxed memory models: an operational approach. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, memory models |
| 1 | Cédric Fournet, Tamara Rezk |
Cryptographically sound implementations for typed information-flow security. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow |
| 1 | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
A theory of contracts for web services. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
explicit coercions, must testing, web services, contracts, subtyping, type theory, CCS, concurrency theory |
| 1 | Xin Zheng, Radu Rugina |
Demand-driven alias analysis for C. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
CFL reachability, pointer analysis, alias analysis, memory disambiguation, demand-driven analysis |
| 1 | Martín Abadi, Andrew Birrell, Tim Harris 0001, Michael Isard |
Semantics of transactional memory and automatic mutual exclusion. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
STM, transactional memory, operational semantics |
| 1 | Bor-Yuh Evan Chang, Xavier Rival |
Relational inductive shape analysis. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis |
| 1 | Umut A. Acar, Amal Ahmed 0001, Matthias Blume |
Imperative self-adjusting computation. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations |
| 1 | Peeter Laud |
On the computational soundness of cryptographically masked flows. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
cryptographically masked flows, encryption, computational soundness, secure information flow |
| 1 | Nils Anders Danielsson |
Lightweight semiformal time complexity analysis for purely functional data structures. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
amortised time complexity, purely functional data structures, dependent types, lazy evaluation |
| 1 | Kenneth L. McMillan |
Relevance heuristics for program analysis. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
model checking, abstract interpretation, craig interpolation |
| 1 | Hugo Herbelin, Silvia Ghilezan |
An approach to call-by-name delimited continuations. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
boehm separability, delimited control, observational completeness, classical logic |
| 1 | Marius Nita, Dan Grossman, Craig Chambers |
A theory of platform-dependent low-level software. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
low-level software, portability, type safety, casts |
| 1 | Matthew J. Parkinson, Gavin M. Bierman |
Separation logic, abstraction and inheritance. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
modularity, classes, separation logic |
| 1 | Christopher Unkel, Monica S. Lam |
Automatic inference of stationary fields: a generalization of java's final fields. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
stationary, Java, initialization, final |
| 1 | Katherine F. Moore, Dan Grossman |
High-level small-step operational semantics for transactions. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
weak atomicity, parallelism, transactional memory, operational semantics, isolation, strong atomicity |
| 1 | Hamed S. Alavi, Seth Gilbert, Rachid Guerraoui |
Extensible encoding of type hierarchies. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
subtyping test, dynamic loading |
| 1 | Ashutosh Gupta 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu |
Proving non-termination. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
non-termination, recurrent sets, model checking, testing, program verification |
| 1 | Walter Fontana |
Systems biology, models, and concurrency. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
kappa, models, systems biology |
| 1 | Brigitte Pientka |
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
type system, logical frameworks |
| 1 | James Brotherston, Richard Bornat, Cristiano Calcagno |
Cyclic proofs of program termination in separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
cyclic proof, program verification, termination, hoare logic, separation logic, inductive definitions |
| 1 | Kohei Honda 0001, Nobuko Yoshida, Marco Carbone |
Multiparty asynchronous session types. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
multiparty, communications, causality, choreography, structured programming, session types, mobile processes |
| 1 | Shuvendu K. Lahiri, Shaz Qadeer |
Back to the future: revisiting precise program verification using SMT solvers. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers |
| 1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
| 1 | Patricia Johann, Neil Ghani |
Foundations for structured programming with GADTs. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
program fusion, GADTs, initial algebra semantics |
| 1 | Conor McBride |
Clowns to the left of me, jokers to the right (pearl): dissecting data structures. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection |
| 1 | George C. Necula, Philip Wadler (eds.) |
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 |
POPL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Zeilberger |
Focusing and higher-order abstract syntax. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
pattern-matching, higher-order abstract syntax, focusing |
Displaying result #401 - #500 of 1568 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license