Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Pratikakis, Polyvios
Foster, Jeffrey S.
Hicks, Michael
and
Neamtiu, Iulian
2008.
Theorem Proving in Higher Order Logics.
Vol. 5170,
Issue. ,
p.
262.
Neamtiu, Iulian
Hicks, Michael
Foster, Jeffrey S.
and
Pratikakis, Polyvios
2008.
Contextual effects for version-consistent dynamic software updating and safe concurrent programming.
ACM SIGPLAN Notices,
Vol. 43,
Issue. 1,
p.
37.
Neamtiu, Iulian
Hicks, Michael
Foster, Jeffrey S.
and
Pratikakis, Polyvios
2008.
Contextual effects for version-consistent dynamic software updating and safe concurrent programming.
p.
37.
Bartoletti, Massimo
Degano, Pierpaolo
Ferrari, Gian Luigi
and
Zunino, Roberto
2009.
Theoretical Aspects of Computing - ICTAC 2009.
Vol. 5684,
Issue. ,
p.
80.
Bartoletti, Massimo
Degano, Pierpaolo
Ferrari, Gian-Luigi
and
Zunino, Roberto
2009.
Local policies for resource usage analysis.
ACM Transactions on Programming Languages and Systems,
Vol. 31,
Issue. 6,
p.
1.
Van Horn, David
and
Might, Matthew
2010.
Abstracting abstract machines.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 9,
p.
51.
Van Horn, David
and
Might, Matthew
2010.
Abstracting abstract machines.
p.
51.
Sergey, Ilya
and
Clarke, Dave
2011.
From type checking by recursive descent to type checking with an abstract machine.
p.
1.
Degano, Pierpaolo
Ferrari, Gian-Luigi
and
Mezzetti, Gianluca
2012.
Implementation and Application of Automata.
Vol. 7381,
Issue. ,
p.
125.
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio
and
Mezzetti, Gianluca
2012.
Coordination Models and Languages.
Vol. 7274,
Issue. ,
p.
261.
Chen, Junqing
Huang, Linpeng
Huang, Han
Yu, Chengyuan
and
Li, Chen
2012.
A Formal Model for Resource Protections in Web Service Applications.
p.
111.
VAN HORN, DAVID
and
MIGHT, MATTHEW
2012.
Systematic abstraction of abstract machines.
Journal of Functional Programming,
Vol. 22,
Issue. 4-5,
p.
705.
Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio
and
Mezzetti, Gianluca
2012.
Computer Information Systems and Industrial Management.
Vol. 7564,
Issue. ,
p.
1.
Banerjee, Anindya
and
Naumann, David A.
2013.
A Simple Semantics and Static Analysis for Stack Inspection.
Electronic Proceedings in Theoretical Computer Science,
Vol. 129,
Issue. ,
p.
284.
Koskinen, Eric
and
Terauchi, Tachio
2014.
Local temporal reasoning.
p.
1.
Hofmann, Martin
and
Chen, Wei
2014.
Abstract interpretation from Büchi automata.
p.
1.
Chen, Jun-qing
Huang, Lin-peng
and
Yu, Cheng-yuan
2014.
Behavior-consistent service substitutions in dynamic environments.
Journal of Shanghai Jiaotong University (Science),
Vol. 19,
Issue. 1,
p.
17.
Basile, Davide
Galletta, Letterio
and
Mezzetti, Gianluca
2015.
Programming Languages with Applications to Biology and Security.
Vol. 9465,
Issue. ,
p.
122.
Watanabe, Keiichi
Sato, Ryosuke
Tsukada, Takeshi
and
Kobayashi, Naoki
2016.
Automatically disproving fair termination of higher-order functional programs.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
243.
Bodei, Chiara
Degano, Pierpaolo
Galletta, Letterio
and
Salvatori, Francesco
2016.
Context-aware security: Linguistic mechanisms and static analysis.
Journal of Computer Security,
Vol. 24,
Issue. 4,
p.
427.
Discussions
No Discussions have been published for this article.