|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 28 keywords
|
|
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
Verification Condition Generation and Variable Conditions in Smallfoot  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
Freefinement. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Compositional Shape Analysis by Means of Bi-Abduction. |
J. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Dino Distefano |
Infer: An Automatic Program Verifier for Memory Safety of C Programs. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |
Adjunct elimination in Context Logic for trees. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Brotherston, Cristiano Calcagno |
Classical BI: Its Semantics and Proof Theory |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jules Villard, Étienne Lozes, Cristiano Calcagno |
Tracking Heaps That Hop with Heap-Hop. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen |
Reasoning about Function Objects. |
TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan van Staden, Cristiano Calcagno |
Reasoning about multiple related abstractions with MultiStar. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
Verifying Executable Object-Oriented Specifications with Separation Logic. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer |
A Sound and Complete Program Logic for Eiffel. |
TOOLS |
2009 |
DBLP DOI BibTeX RDF |
operational semantics, Software verification, Eiffel, program proofs |
| 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 | 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 | Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis |
Bi-abductive Resource Invariant Synthesis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Villard, Étienne Lozes, Cristiano Calcagno |
Proving Copyless Message Passing. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Raza, Cristiano Calcagno, Philippa Gardner |
Automatic Parallelization with Separation Logic. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn |
Scalable Shape Analysis for Systems Code. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Space Invading Systems Code. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
Local Reasoning about Data Update. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner |
Adjunct Elimination in Context Logic for Trees. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang |
Shape Analysis for Composite Data Structures. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang |
Local Action and Abstract Separation Logic. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Footprint Analysis: A Shape Analysis That Discovers Preconditions. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis |
Modular Safety Checking for Fine-Grained Concurrency. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bornat, Cristiano Calcagno, Hongseok Yang |
Variables as Resource in Separation Logic. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 | Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno |
Variables as Resource in Hoare Logics. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang |
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon |
Deciding validity in a spatial logic for trees. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
Context logic and tree update. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
tree update, contexts, hoare 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 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
Smallfoot: Modular Automatic Assertion Checking with Separation Logic. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
Symbolic Execution with Separation Logic. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Philippa Gardner, Matthew Hague |
From Separation Logic to First-Order Logic. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno |
Two-level languages for program optimization. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn |
A Decidable Fragment of Separation Logic. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
ML-Like Inference for Classifiers. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat |
Program logic and equivalence in the presence of garbage collection. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Eugenio Moggi, Tim Sheard |
Closed types for a safe imperative MetaML. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy |
Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon |
Deciding validity in a spatial logic for trees. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Simon Helsen, Peter Thiemann |
Syntactic Type Soundness Results for the Region Calculus. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno |
Stratified operational semantics for safety and correctness of the region calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Cristiano Calcagno, Peter W. O'Hearn |
On Garbage and Program Logic. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Hongseok Yang, Peter W. O'Hearn |
Computability and Complexity Results for a Spatial Assertion Language for Data Structures. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Eugenio Moggi |
Multi-Stage Imperative Languages: A Conservative Extension Result. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Eugenio Moggi, Walid Taha |
Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn |
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. |
PPDP |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")