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.
Might, Matthew
Darais, David
and
Spiewak, Daniel
2011.
Parsing with derivatives.
ACM SIGPLAN Notices,
Vol. 46,
Issue. 9,
p.
189.
Might, Matthew
Darais, David
and
Spiewak, Daniel
2011.
Parsing with derivatives.
p.
189.
Mogensen, Torben Ægidius
2011.
Introduction to Compiler Design.
p.
1.
Wu, Chunhan
Zhang, Xingyuan
and
Urban, Christian
2011.
Interactive Theorem Proving.
Vol. 6898,
Issue. ,
p.
341.
Coquand, Thierry
and
Siles, Vincent
2011.
Certified Programs and Proofs.
Vol. 7086,
Issue. ,
p.
119.
Disney, Tim
Flanagan, Cormac
and
McCarthy, Jay
2011.
Temporal higher-order contracts.
p.
176.
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.
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.
Morrisett, Greg
Tan, Gang
Tassarotti, Joseph
Tristan, Jean-Baptiste
and
Gan, Edward
2012.
RockSalt.
p.
395.
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.
Keil, Matthias
and
Thiemann, Peter
2013.
Efficient dynamic access analysis using JavaScript proxies.
p.
49.
Bonsangue, Marcello
Caltais, Georgiana
Goriac, Eugen-Ioan
Lucanu, Dorel
Rutten, Jan
and
Silva, Alexandra
2013.
Automatic equivalence proofs for non-deterministic coalgebras.
Science of Computer Programming,
Vol. 78,
Issue. 9,
p.
1324.
Traytel, Dmitriy
and
Nipkow, Tobias
2013.
Verified decision procedures for MSO on words based on derivatives of regular expressions.
p.
3.
Nipkow, Tobias
and
Haslbeck, Maximilian
2013.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 8123,
Issue. ,
p.
10.
Maia, Eva
Moreira, Nelma
and
Reis, Rogério
2013.
Implementation and Application of Automata.
Vol. 7982,
Issue. ,
p.
349.
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.