×

zbMATH — the first resource for mathematics

Calcagno, Cristiano

Compute Distance To:
Author ID: calcagno.cristiano Recent zbMATH articles by "Calcagno, Cristiano"
Published as: Calcagno, Cristiano; Calcagno, C.
External Links: MGP
Documents Indexed: 34 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 287 times in 173 Documents Cited by Year
Permission accounting in separation logic. Zbl 1369.68130
Bornat, Richard; Calcagno, Cristiano; O’Hearn, Peter; Parkinson, Matthew
37
2005
Symbolic execution with separation logic. Zbl 1159.68363
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
28
2005
Computability and complexity results for a spatial assertion language for data structures. Zbl 1052.68590
Calcagno, Cristiano; Yang, Hongseok; O’Hearn, Peter W.
25
2001
Compositional shape analysis by means of bi-abduction. Zbl 1315.68085
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter; Yang, Hongseok
23
2009
A decidable fragment of separation logic. Zbl 1117.03337
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
23
2004
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
20
2008
Context logic as modal logic, completeness and parametric inexpressivity. Zbl 1295.68079
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
16
2007
Compositional shape analysis by means of bi-abduction. Zbl 1281.68155
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
14
2011
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
13
2007
Modular safety checking for fine-grained concurrency. Zbl 1211.68082
Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor
13
2007
Context logic and tree update. Zbl 1369.68132
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
10
2005
Cyclic proofs of program termination in separation logic. Zbl 1295.68156
Brotherston, James; Bornat, Richard; Calcagno, Cristiano
9
2008
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
Classical BI: its semantics and proof theory. Zbl 1198.03028
Brotherston, James; Calcagno, Cristiano
8
2010
Classical BI: a logic for reasoning about dualising resources. Zbl 1315.68175
Brotherston, James; Calcagno, Cristiano
5
2009
From separation logic to first-order logic. Zbl 1119.03022
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew
5
2005
Variables as resource in separation logic. Zbl 1273.03101
Bornat, Richard; Calcagno, Cristiano; Yang, Hongseok
5
2006
A polymorphic modal type system for Lisp-like multi-staged languages. Zbl 1369.68076
Kim, Ik-Soon; Yi, Kwangkeun; Calcagno, Cristiano
4
2006
Beyond reachability: shape abstraction in the presence of pointer arithmetic. Zbl 1225.68069
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
4
2006
Program logic and equivalence in the presence of garbage collection. Zbl 1038.68011
Calcagno, Cristiano; O’Hearn, Peter; Bornat, Richard
4
2003
Stratified operational semantics for safety and correctness of the region calculus. Zbl 1323.68354
Calcagno, Cristiano
2
2001
ML-like inference for classifiers. Zbl 1126.68330
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2004
Closed types as a simple approach to save imperative multi-stage programming. Zbl 0973.68037
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2000
Adjunct elimination in context logic for trees. Zbl 1137.03312
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
2
2007
Automatic parallelization with separation logic. Zbl 1234.68080
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa
1
2009
Adjunct elimination in context logic for trees. Zbl 1200.68224
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
1
2010
Closed types for a safe imperative MetaML. Zbl 1036.68024
Calcagno, C.; Moggi, E.; Sheard, T.
1
2003
On garbage and program logic. Zbl 0978.68043
Calcagno, Cristiano; O’Hearn, Peter W.
1
2001
Compositional shape analysis by means of bi-abduction. Zbl 1281.68155
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
14
2011
Classical BI: its semantics and proof theory. Zbl 1198.03028
Brotherston, James; Calcagno, Cristiano
8
2010
Adjunct elimination in context logic for trees. Zbl 1200.68224
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
1
2010
Compositional shape analysis by means of bi-abduction. Zbl 1315.68085
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter; Yang, Hongseok
23
2009
Classical BI: a logic for reasoning about dualising resources. Zbl 1315.68175
Brotherston, James; Calcagno, Cristiano
5
2009
Automatic parallelization with separation logic. Zbl 1234.68080
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa
1
2009
Scalable shape analysis for systems code. Zbl 1155.68359
Yang, Hongseok; Lee, Oukseh; Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter
20
2008
Cyclic proofs of program termination in separation logic. Zbl 1295.68156
Brotherston, James; Bornat, Richard; Calcagno, Cristiano
9
2008
Context logic as modal logic, completeness and parametric inexpressivity. Zbl 1295.68079
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
16
2007
Shape analysis for composite data structures. Zbl 1135.68372
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok
13
2007
Modular safety checking for fine-grained concurrency. Zbl 1211.68082
Calcagno, Cristiano; Parkinson, Matthew; Vafeiadis, Viktor
13
2007
Adjunct elimination in context logic for trees. Zbl 1137.03312
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
2
2007
Variables as resource in separation logic. Zbl 1273.03101
Bornat, Richard; Calcagno, Cristiano; Yang, Hongseok
5
2006
A polymorphic modal type system for Lisp-like multi-staged languages. Zbl 1369.68076
Kim, Ik-Soon; Yi, Kwangkeun; Calcagno, Cristiano
4
2006
Beyond reachability: shape abstraction in the presence of pointer arithmetic. Zbl 1225.68069
Calcagno, Cristiano; Distefano, Dino; O’Hearn, Peter W.; Yang, Hongseok
4
2006
Permission accounting in separation logic. Zbl 1369.68130
Bornat, Richard; Calcagno, Cristiano; O’Hearn, Peter; Parkinson, Matthew
37
2005
Symbolic execution with separation logic. Zbl 1159.68363
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
28
2005
Context logic and tree update. Zbl 1369.68132
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
10
2005
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
From separation logic to first-order logic. Zbl 1119.03022
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew
5
2005
A decidable fragment of separation logic. Zbl 1117.03337
Berdine, Josh; Calcagno, Cristiano; O’Hearn, Peter W.
23
2004
ML-like inference for classifiers. Zbl 1126.68330
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2004
Program logic and equivalence in the presence of garbage collection. Zbl 1038.68011
Calcagno, Cristiano; O’Hearn, Peter; Bornat, Richard
4
2003
Closed types for a safe imperative MetaML. Zbl 1036.68024
Calcagno, C.; Moggi, E.; Sheard, T.
1
2003
Computability and complexity results for a spatial assertion language for data structures. Zbl 1052.68590
Calcagno, Cristiano; Yang, Hongseok; O’Hearn, Peter W.
25
2001
Stratified operational semantics for safety and correctness of the region calculus. Zbl 1323.68354
Calcagno, Cristiano
2
2001
On garbage and program logic. Zbl 0978.68043
Calcagno, Cristiano; O’Hearn, Peter W.
1
2001
Closed types as a simple approach to save imperative multi-stage programming. Zbl 0973.68037
Calcagno, Cristiano; Moggi, Eugenio; Taha, Walid
2
2000
all top 5

Cited by 317 Authors

10 Gardner, Philippa Anne
7 Demri, Stéphane P.
7 Lozes, Etienne
6 Brotherston, James
6 Chin, Wei-Ngan
6 Tatsuta, Makoto
6 Vojnar, Tomáš
5 Cook, Byron
5 O’Hearn, Peter W.
4 Bouajjani, Ahmed
4 Brookes, Stephen D.
4 da Rocha Pinto, Pedro
4 Dinsdale-Young, Thomas
4 Iosif, Radu
4 Qin, Shengchao
3 Appel, Andrew W.
3 Brochenin, Rémi
3 Calcagno, Cristiano
3 Chen, Taolue
3 Deters, Morgan
3 Enea, Constantin
3 Habermehl, Peter
3 Holík, Lukáš
3 Jones, Cliff B.
3 Larchey-Wendling, Dominique
3 Lengál, Ondřej
3 Petersen, Rasmus Lerchedahl
3 Pym, David J.
3 Reus, Bernhard
3 Schellhorn, Gerhard
3 Sighireanu, Mihaela
2 Amjad, Hasan
2 Arusoaie, Andrei
2 Berardi, Stefano
2 Beringer, Lennart
2 Birkedal, Lars
2 Bornat, Richard
2 Bozga, Marius
2 Charlton, Nathaniel
2 Dang, Han-Hing
2 Derrick, John
2 Docherty, Simon
2 Dong, Yuan
2 Dragoi, Cezara
2 Duan, Zhenhua
2 Faisal Al Ameen, Mahmudul
2 Feng, Xinyu
2 Galmiche, Didier
2 Gast, Holger
2 Ghelli, Giorgio
2 Grigore, Radu
2 He, Guanhua
2 Helsen, Simon
2 Hoare, C. A. R. Tony
2 Hobor, Aquinas
2 Horsfall, Ben
2 Hou, Zhe
2 Igarashi, Atsushi
2 Jansen, Christina
2 Kiefer, Stefan
2 Krebbers, Robbert
2 Kröning, Daniel
2 Le, Quang Loc
2 Leavens, Gary T.
2 Lu, Xu
2 Lucanu, Dorel
2 Möller, Bernhard
2 Müller, Peter
2 Naumann, David A.
2 Noll, Thomas
2 Parkinson, Matthew J.
2 Raad, Azalea
2 Rival, Xavier
2 Rogalewicz, Adam
2 Rusu, Vlad
2 Sagiv, Mooly
2 Schulte, Wolfram
2 Shao, Zhong
2 Staton, Sam
2 Thiemann, Peter J.
2 Tian, Cong
2 Tiu, Alwen Fernanto
2 Uijlen, Sander
2 Vafeiadis, Viktor
2 Villard, Jules
2 Wehrheim, Heike
2 Wu, Zhilin
2 Yang, Hongseok
2 Zhang, Yu
1 Abdulla, Parosh Aziz
1 Acciai, Lucia
1 Adamatzky, Andrew I.
1 Aiken, Alex
1 Alechina, Natasha
1 Alpuente, María
1 Andersen, Kristoffer Just
1 Aschermann, Cornelius
1 Aspinall, David
1 Bansal, Kshitij
1 Bao, Yuyan
...and 217 more Authors

Citations by Year