Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
Pratikakis, Polyvios
Foster, Jeffrey S.
Hicks, Michael
and
Neamtiu, Iulian
2008.
Theorem Proving in Higher Order Logics.
Vol. 5170,
Issue. ,
p.
262.
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
Galletta, Letterio
and
Mezzetti, Gianluca
2012.
Coordination Models and Languages.
Vol. 7274,
Issue. ,
p.
261.
Bodei, Chiara
Degano, Pierpaolo
Ferrari, Gian-Luigi
Galletta, Letterio
and
Mezzetti, Gianluca
2012.
Computer Information Systems and Industrial Management.
Vol. 7564,
Issue. ,
p.
1.
Degano, Pierpaolo
Ferrari, Gian-Luigi
and
Mezzetti, Gianluca
2012.
Implementation and Application of Automata.
Vol. 7381,
Issue. ,
p.
125.
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.
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.
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.
Koskinen, Eric
and
Terauchi, Tachio
2014.
Local temporal reasoning.
p.
1.
Basile, Davide
Galletta, Letterio
and
Mezzetti, Gianluca
2015.
Programming Languages with Applications to Biology and Security.
Vol. 9465,
Issue. ,
p.
122.
Degano, Pierpaolo
Ferrari, Gian-Luigi
and
Galletta, Letterio
2016.
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis.
IEEE Transactions on Software Engineering,
Vol. 42,
Issue. 6,
p.
505.
Watanabe, Keiichi
Sato, Ryosuke
Tsukada, Takeshi
and
Kobayashi, Naoki
2016.
Automatically disproving fair termination of higher-order functional programs.
p.
243.
Discussions
No Discussions have been published for this article.