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.
p.
176.
Mogensen, Torben Ægidius
2011.
Introduction to Compiler Design.
p.
1.
Disney, Tim
Flanagan, Cormac
and
McCarthy, Jay
2011.
Temporal higher-order contracts.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
176.
Might, Matthew
Darais, David
and
Spiewak, Daniel
2011.
Parsing with derivatives.
p.
189.
Might, Matthew
Darais, David
and
Spiewak, Daniel
2011.
Parsing with derivatives.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
189.
Coquand, Thierry
and
Siles, Vincent
2011.
Certified Programs and Proofs.
Vol. 7086,
Issue. ,
p.
119.
Wu, Chunhan
Zhang, Xingyuan
and
Urban, Christian
2011.
Interactive Theorem Proving.
Vol. 6898,
Issue. ,
p.
341.
Minamide, Yasuhiko
and
Mori, Shunsuke
2012.
FM 2012: Formal Methods.
Vol. 7436,
Issue. ,
p.
293.
Morrisett, Greg
Tan, Gang
Tassarotti, Joseph
Tristan, Jean-Baptiste
and
Gan, Edward
2012.
RockSalt.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 6,
p.
395.
Morrisett, Greg
Tan, Gang
Tassarotti, Joseph
Tristan, Jean-Baptiste
and
Gan, Edward
2012.
RockSalt.
p.
395.
Asperti, Andrea
2012.
Interactive Theorem Proving.
Vol. 7406,
Issue. ,
p.
283.
Sulzmann, Martin
and
Lu, Kenny Zhuo Ming
2012.
Regular expression sub-matching using partial derivatives.
p.
79.
Krauss, Alexander
and
Nipkow, Tobias
2012.
Proof Pearl: Regular Expression Equivalence and Relation Algebra.
Journal of Automated Reasoning,
Vol. 49,
Issue. 1,
p.
95.
Caron, Pascal
Champarnaud, Jean-Marc
and
Mignot, Ludovic
2012.
Implementation and Application of Automata.
Vol. 7381,
Issue. ,
p.
321.
Nipkow, Tobias
and
Haslbeck, Maximilian
2013.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 8123,
Issue. ,
p.
10.
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.
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.
Keil, Matthias
and
Thiemann, Peter
2013.
Efficient dynamic access analysis using JavaScript proxies.
p.
49.
Maia, Eva
Moreira, Nelma
and
Reis, Rogério
2013.
SOFSEM 2013: Theory and Practice of Computer Science.
Vol. 7741,
Issue. ,
p.
319.
Discussions
No Discussions have been published for this article.