equal
deleted
inserted
replaced
82 |
82 |
83 <TR> |
83 <TR> |
84 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
84 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
85 <H3>Pending</H3> |
85 <H3>Pending</H3> |
86 |
86 |
87 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> |
|
88 (with Cheney) To appear at CPP 2011. |
|
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cpp-11.pdf">pdf</A>] |
|
90 |
|
91 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
87 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> |
92 (with Wu and Zhang) Journal version. Submitted. |
88 (with Wu and Zhang) Journal version. Submitted. |
93 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>] |
94 |
90 |
95 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
91 <p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B> |
133 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>]<BR><BR> |
129 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/sac-11.pdf">pdf</A>]<BR><BR> |
134 |
130 |
135 (We silently assume in this paper to only lift from types that have |
131 (We silently assume in this paper to only lift from types that have |
136 covariant type-constructors. Many thanks to Ondřej Kunčar, |
132 covariant type-constructors. Many thanks to Ondřej Kunčar, |
137 who pointed this out.) |
133 who pointed this out.) |
|
134 |
|
135 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> (with Cheney) |
|
136 In Proceedings of the 1st Conference on Certified Programs and Proofs (CPP 2011). |
|
137 In Volume 7086 of Lecture Notes in Computer Science. Pages 280-295. |
|
138 © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7086.htm">Springer Verlag</A> |
|
139 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/cpp-11.pdf">pdf</A>] |
|
140 |
138 </TD> |
141 </TD> |
139 </TR> |
142 </TR> |
140 |
143 |
141 <TR> |
144 <TR> |
142 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
145 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
447 |
450 |
448 |
451 |
449 </TABLE> |
452 </TABLE> |
450 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
453 <P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
451 <!-- hhmts start --> |
454 <!-- hhmts start --> |
452 Last modified: Wed Nov 16 12:25:55 GMT 2011 |
455 Last modified: Sat Dec 10 12:24:42 GMT 2011 |
453 <!-- hhmts end --> |
456 <!-- hhmts end --> |
454 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
457 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
455 |
458 |
456 </BODY> |
459 </BODY> |
457 </HTML> |
460 </HTML> |