|
|
|
|
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 | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca |
A logical account of pspace.  |
POPL  |
2008 |
DBLP DOI BibTeX RDF |
type assignment, linear logic, implicit computational complexity, polynomial space |
| 1 | Sam Tobin-Hochstadt, Matthias Felleisen |
The design and implementation of typed scheme. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
type systems, scheme |
| 1 | Kathleen Fisher, David Walker 0001, Kenny Qili Zhu, Peter White |
From dirt to shovels: fully automatic tool generation from ad hoc data. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
ad hoc data, grammar induction, data description languages, tool generation |
| 1 | Greta Yorsh, Eran Yahav, Satish Chandra 0001 |
Generating precise and concise procedure summaries. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis |
| 1 | Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |
Engineering formal metatheory. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
locally nameless, binding, coq |
| 1 | Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt |
Boomerang: resourceful lenses for string data. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
bidirectional languages, regular string transducers, lenses, view update problem, regular types |
| 1 | Jean-Baptiste Tristan, Xavier Leroy |
Formal verification of translation validators: a case study on instruction scheduling optimizations. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
the coq proof assistant, translation validation, scheduling optimizations, verified compilers |
| 1 | Iulian Neamtiu, Michael Hicks 0001, Jeffrey S. Foster, Polyvios Pratikakis |
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
contextual effects, version consistency, type and effect systems, dynamic software updating, computation effects, data race detection |
| 1 | Yaron Minsky |
Caml trading. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
functional programming, ML |
| 1 | Sumit Gulwani, Bill McCloskey, Ashish Tiwari 0001 |
Lifting abstract interpreters to quantified logical domains. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter |
| 1 | Swarat Chaudhuri |
Subcubic algorithms for recursive state machines. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
CFL-reachability, cubic bottleneck, recursive state machines, transitive closure, interprocedural analysis, context-free languages, pushdown systems |
| 1 | Janis Voigtländer |
Much ado about two (pearl): a pearl on parallel prefix computation. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
0-1-principle, free theorems, parallel prefix computation, relational parametricity |
| 1 | Andrea Asperti |
The intensional content of Rice's theorem. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
complexity, computability, recursion theory |
| 1 | Marina Polishchuk, Ben Liblit, Chloë W. Schulze |
Dynamic heap type inference for program understanding and debugging. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
dynamic type inference, heap visualization, physical subtyping, constraints, debugging tools, conservative garbage collection |
| 1 | Chet Murthy |
Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
transaction processing, functional languages, enterprise software |
| 1 | Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon |
A very modal model of a modern, major, general type system. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
impredicative polymorphism, mutable references, recursive types, Kripke models |
| 1 | Daniel K. Lee, Karl Crary, Robert Harper 0001 |
Towards a mechanized metatheory of standard ML. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety |
| 1 | Pasquale Malacaria |
Assessing security threats of looping constructs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
security, information theory, language semantics |
| 1 | Sumit Gulwani, Nebojsa Jojic |
Program verification as probabilistic inference. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
automated recovery machine, forward and backward analysis, over and under approximation, learning, program verification, Markov chain Monte Carlo, Gibbs sampling, belief networks, probabilistic inference, factor graphs |
| 1 | Patrice Godefroid |
Compositional dynamic test generation. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
compositional program analysis, scalability, software testing, program verification, automatic test generation |
| 1 | Matthew Might |
Logic-flow analysis of higher-order programs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS |
| 1 | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |
Variance analyses from invariance analyses. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
formal verification, program analysis, termination, liveness, software model checking |
| 1 | Jacob Matthews, Robert Bruce Findler |
Operational semantics for multi-language programs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
multi-language systems, interoperability, operational semantics |
| 1 | Mayur Naik, Alex Aiken |
Conditional must not aliasing for static race detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
| 1 | Ben Wiedermann, William R. Cook |
Extracting queries by static analysis of transparent persistence. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
databases, static analysis, programming languages |
| 1 | Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi |
Proving that programs eventually do something good. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
formal verification, termination, liveness, software model checking |
| 1 | Martin Hofmann 0001, Matthias Felleisen (eds.) |
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007 |
POPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
Lock allocation. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
lock inference, atomicity, ILP |
| 1 | Ranjit Jhala, Rupak Majumdar |
Interprocedural analysis of asynchronous programs. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, dataflow analysis |
| 1 | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
A semantics-based approach to malware detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
abstract interpretation, obfuscation, malware detection, trace semantics |
| 1 | Barak A. Pearlmutter, Jeffrey Mark Siskind |
Lazy multivariate higher-order forward-mode AD. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
nonstandard interpretation, power series |
| 1 | Atsushi Ohori, Isao Sasano |
Lightweight fusion by fixed point promotion. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
fusion, fixed point, inlining |
| 1 | Michele Bugliesi, Marco Giunti |
Secure implementations of typed channel abstractions. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
language encodings, typed behavioral theories, full abstraction |
| 1 | Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller |
Modular type classes. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
type systems, type inference, modules, type classes |
| 1 | Matthew J. Parkinson, Richard Bornat, Peter W. O'Hearn |
Modular verification of a non-blocking stack. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
concurrency, separation logic, non-blocking |
| 1 | Kristian Støvring, Søren B. Lassen |
A complete, co-inductive syntactic theory of sequential control and state. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
mutable references, continuations, bisimulation |
| 1 | Andrew M. Pitts, Mark R. Shinwell |
Generative unbinding of names. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
alpha-conversion, meta-programming, abstract syntax, binders |
| 1 | Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere |
Semantics of static pointcuts in aspectJ. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
logic programming, aspect-oriented programming, datalog, term rewriting, pointcuts |
| 1 | Juan Chen |
A typed intermediate language for compiling multiple inheritance. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
class and object encoding, multiple inheritance, typed intermediate language |
| 1 | John H. Reppy, Yingqi Xiao |
Specialization of CML message-passing primitives. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
static analysis, message passing, ML, concurrent languages |
| 1 | Don S. Batory |
From implementation to theory in product synthesis. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
features, program synthesis, category theory, mixins, model driven design, virtual classes, AHEAD, GenVoca |
| 1 | Dan R. Ghica |
Geometry of synthesis: a structured approach to VLSI design. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
syntactic control of interference, synthesis, game semantics, geometry of interaction |
| 1 | Ralf Lämmel |
Scrap your boilerplate with XPath-like combinators. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
XML programming, generic functional programming |
| 1 | Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi |
Preferential path profiling: compactly numbering interesting paths. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
preferential paths, profiling, dynamic analysis, arithmetic coding |
| 1 | Vineet Kahlon, Aarti Gupta |
On the analysis of interacting pushdown systems. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems |
| 1 | Jeffrey Mark Siskind, Barak A. Pearlmutter |
First-class nonstandard interpretations by opening closures. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
lambda lifting, referential transparency |
| 1 | Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding 0001 |
Locality approximation using time. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
reference affinity, time distance, performance prediction, reuse distance, trace generator, program locality |
| 1 | Yitzhak Mandelbaum, Kathleen Fisher, David Walker 0001, Mary F. Fernández, Artem Gleyzer |
PADS/ML: a functional data description language. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
functional programming, domain-specific languages, ML, parsing, modules, dependent types, printing, data description languages |
| 1 | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
Context logic as modal logic: completeness and parametric inexpressivity. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
contexts, logic, expressivity, structured data |
| 1 | Maria Jump, Kathryn S. McKinley |
Cork: dynamic memory leak detection for garbage-collected languages. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
memory leak detection, garbage collection, dynamic, runtime analysis, memory leaks |
| 1 | Audrey Tang |
Perl 6: reconciling the irreconcilable. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey Tuch, Gerwin Klein, Michael Norrish |
Types, bytes, and separation logic. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
C, separation logic, interactive theorem proving |
| 1 | Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov |
JavaScript instrumentation for browser security. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
JavaScript, web browser, program instrumentation, edit automata |
| 1 | Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
A polymorphic modal type system for lisp-like multi-staged languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
let-polymorphism, modal types, multi-staged languages, polymorphic types, quasi-quotation, record type, type systems, lisp, ML, scheme, type inference |
| 1 | Martin Odersky |
The Scala experiment: can we provide better language support for component systems? |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutavas, Mitchell Wand |
Small bisimulations for reasoning about higher-order imperative programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence |
| 1 | Guangyu Chen, Feihui Li, Mahmut T. Kandemir |
Compiler-directed channel allocation for saving power in on-chip networks. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
compiler, energy consumption, NoC |
| 1 | Gautam Gupta, Sanjay V. Rajopadhye |
Simplifying reductions. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
equational programming, program transformation, incremental computation, loop optimization, polyhedral model |
| 1 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction |
| 1 | Tim Sweeney |
The next mainstream programming language: a game developer's perspective. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer |
Autolocker: synchronization inference for atomic sections. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
pessimistic, atomic, lock |
| 1 | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
A fixpoint calculus for local and global program flows. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems |
| 1 | Daniel S. Dantas, David Walker 0001 |
Harmless advice. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
harmless advice, aspects, aspect-oriented, noninterference |
| 1 | Zhendong Su 0001, Gary Wassermann |
The essence of command injection attacks in web applications. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
command injection attacks, web applications, parsing, grammars, runtime verification |
| 1 | Xavier Leroy |
Formal certification of a compiler back-end or: programming a compiler with a proof assistant. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
compiler transformations and optimizations, the Coq theorem prover, certified compilation, program proof, semantic preservation |
| 1 | Chengliang Zhang, Chen Ding 0001, Mitsunori Ogihara, Yutao Zhong 0001, Youfeng Wu |
A hierarchical model of data locality. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
hierarchical data placement, reference affinity, volume distance, NP-complete, program locality, N-body simulation |
| 1 | Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee 0001 |
A logic for information flow in object-oriented programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
information flow, confidentiality, aliasing |
| 1 | Zhaozhong Ni, Zhong Shao |
Certified assembly programming with embedded code pointers. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
embedded code pointers, hoare logic, proof-carrying code, higher-order functions |
| 1 | Hayo Thielecke |
Frame rules from answer types for code pointers. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
code pointers, polymorphism, continuations, Hoare logic, typed assembly language |
| 1 | Erik Ernst, Klaus Ostermann, William R. Cook |
A virtual class calculus. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
soundness, virtual classes |
| 1 | Jerome Vouillon |
Polymorphic regular tree types and patterns. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
polymorphism, subtyping, tree automata |
| 1 | Gabriel Dos Reis, Bjarne Stroustrup |
Specifying C++ concepts. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
C++ concepts, type systems, generic programming, separate compilation, C++ templates |
| 1 | Cormac Flanagan |
Hybrid type checking. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
dynamic checking, type systems, contracts, static checking |
| 1 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough |
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
| 1 | Philippe Meunier, Robert Bruce Findler, Matthias Felleisen |
Modular set-based analysis from contracts. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
modular analysis, runtime contracts, static debugging, set-based analysis |
| 1 | Mads Dam |
Decidability and proof systems for language-based noninterference relations. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
intransitive noninterference, information flow, language-based security, noninterference, multi-level security |
| 1 | Nils Anders Danielsson, John Hughes 0001, Patrik Jansson, Jeremy Gibbons |
Fast and loose reasoning is morally correct. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning |
| 1 | Kathleen Fisher, Yitzhak Mandelbaum, David Walker 0001 |
The next 700 data description languages. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
domain-specific languages, dependent types, data description language |
| 1 | Shuvendu K. Lahiri, Shaz Qadeer |
Verifying properties of well-founded linked lists. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
first-order axiomatization, heap abstraction, well-founded linked lists, decision procedure, automated theorem proving |
| 1 | Norman Danner, James S. Royer |
Adventures in time and space. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James McKinna |
Why dependent types matter. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |
A verifiable SSA program representation for aggressive compiler optimization. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages |
| 1 | Mandana Vaziri, Frank Tip, Julian Dolby |
Associating synchronization constraints with data in an object-oriented language. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
programming model, serializability, data races, concurrent object-oriented programming |
| 1 | Sebastian Hunt, David Sands 0001 |
On flow-sensitive security types. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
static analysis, type systems, information flow, non-interference, flow-sensitivity |
| 1 | François Pottier, Yann Régis-Gianas |
Stratified type inference for generalized algebraic data types. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, Simon L. Peyton Jones (eds.) |
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006 |
POPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Might, Olin Shivers |
Environment analysis via Delta CFA. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
delta-CFA, environment analysis, super-beta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining |
| 1 | Yi Lu 0003, John Potter |
Protecting representation with effect encapsulation. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
object encapsulation, representation exposure, types, ownership types, effect systems |
| 1 | Reuben Olinsky, Christian Lindig, Norman Ramsey |
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
calling conventions |
| 1 | Jed Liu, Aaron Kimball, Andrew C. Myers |
Interruptible iterators. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
JMatch, Java, logic programming, exception, coroutine |
| 1 | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
Parametric polymorphism for XML. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
XML, polymorphism, subtyping, tree automata |
| 1 | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
Polymorphic bytecode: compositional compilation for Java-like languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
type systems, compositional analysis |
| 1 | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
Context logic and tree update. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
tree update, contexts, hoare logic |
| 1 | John Field, Carlos A. Varela |
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
distributed state, tau-calculus, transactor, actor |
| 1 | Jens Palsberg, Martín Abadi (eds.) |
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005 |
POPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
Mutatis mutandis: safe and predictable dynamic software updating. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
proteus, updateability analysis, type inference, capability, dynamic software updating |
| 1 | Cormac Flanagan, Patrice Godefroid |
Dynamic partial-order reduction for model checking software. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
software model checking, partial-order reduction |
| 1 | Dan R. Ghica |
Slot games: a quantitative model of computation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
algol, game semantics, quantitative analysis |
| 1 | Rajeev Alur, Pavol Cerný, P. Madhusudan, Wonhong Nam |
Synthesis of interface specifications for Java classes. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
behavioral interfaces, learning regular languages, model checking, games, abstraction, synthesis, software components |
| 1 | Matthias Neubauer, Peter Thiemann 0001 |
From sequential programs to multi-tier applications by program transformation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
application partioning, concurrency, type systems |
Displaying result #501 - #600 of 1568 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license