Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Disney, Tim
Flanagan, Cormac
and
McCarthy, Jay
2011.
Temporal higher-order contracts.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
176.
Coquand, Thierry
and
Siles, Vincent
2011.
Certified Programs and Proofs.
Vol. 7086,
Issue. ,
p.
119.
Might, Matthew
Darais, David
and
Spiewak, Daniel
2011.
Parsing with derivatives.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
189.
Wu, Chunhan
Zhang, Xingyuan
and
Urban, Christian
2011.
Interactive Theorem Proving.
Vol. 6898,
Issue. ,
p.
341.
Disney, Tim
Flanagan, Cormac
and
McCarthy, Jay
2011.
Temporal higher-order contracts.
p.
176.
Might, Matthew
Darais, David
and
Spiewak, Daniel
2011.
Parsing with derivatives.
p.
189.
Mogensen, Torben Ægidius
2011.
Introduction to Compiler Design.
p.
1.
Sulzmann, Martin
and
Lu, Kenny Zhuo Ming
2012.
Regular expression sub-matching using partial derivatives.
p.
79.
Morrisett, Greg
Tan, Gang
Tassarotti, Joseph
Tristan, Jean-Baptiste
and
Gan, Edward
2012.
RockSalt.
p.
395.
Morrisett, Greg
Tan, Gang
Tassarotti, Joseph
Tristan, Jean-Baptiste
and
Gan, Edward
2012.
RockSalt.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 6,
p.
395.
Caron, Pascal
Champarnaud, Jean-Marc
and
Mignot, Ludovic
2012.
Implementation and Application of Automata.
Vol. 7381,
Issue. ,
p.
321.
Asperti, Andrea
2012.
Interactive Theorem Proving.
Vol. 7406,
Issue. ,
p.
283.
Minamide, Yasuhiko
and
Mori, Shunsuke
2012.
FM 2012: Formal Methods.
Vol. 7436,
Issue. ,
p.
293.
Krauss, Alexander
and
Nipkow, Tobias
2012.
Proof Pearl: Regular Expression Equivalence and Relation Algebra.
Journal of Automated Reasoning,
Vol. 49,
Issue. 1,
p.
95.
Rompf, Tiark
Sujeeth, Arvind K.
Amin, Nada
Brown, Kevin J.
Jovanovic, Vojin
Lee, HyoukJoong
Jonnalagedda, Manohar
Olukotun, Kunle
and
Odersky, Martin
2013.
Optimizing data structures in high-level programs.
p.
497.
Traytel, Dmitriy
and
Nipkow, Tobias
2013.
Verified decision procedures for MSO on words based on derivatives of regular expressions.
p.
3.
Maia, Eva
Moreira, Nelma
and
Reis, Rogério
2013.
SOFSEM 2013: Theory and Practice of Computer Science.
Vol. 7741,
Issue. ,
p.
319.
Reitblatt, Mark
Canini, Marco
Guha, Arjun
and
Foster, Nate
2013.
FatTire.
p.
109.
Maia, Eva
Moreira, Nelma
and
Reis, Rogério
2013.
Implementation and Application of Automata.
Vol. 7982,
Issue. ,
p.
349.
Traytel, Dmitriy
and
Nipkow, Tobias
2013.
Verified decision procedures for MSO on words based on derivatives of regular expressions.
ACM SIGPLAN Notices,
Vol. 48,
Issue. 9,
p.
3.
Discussions
No Discussions have been published for this article.