This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
S. Blazy , Z. Dargaye & X. Leroy (2006) Formal Verification of a C compiler front-end. In FM 2006: Formal Methods, 14th International Symposium on Formal Methods, J. Misra , T. Nipkow & E. Sekerinski (eds), Lecture Notes in Computer Science, vol. 4085. Springer-Verlag, Hamilton, Canada, pp. 460–475.
R. J. Boulton (1997) A tool to support formal reasoning about computer languages. In Tools and Algorithms for the Construction and Analysis of Systems, Third International Workshop, TACAS '97, Proceedings, E. Brinksma (ed), Lecture Notes in Computer Science, vol. 1217. Springer, Enschede, The Netherlands, pp. 81–95.
P.-L. Curien & G. Ghelli (1991) Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=. In Theoretical Aspects of Computer Software, International Conference, TACS '91, Proceedings, T. Ito & A. R. Meyer (eds), Lecture Notes in Computer Science, vol. 526. Springer, Sendai, Japan, pp. 731–749.
C. Fournet , G. Gonthier , J.-J. Lévy , L. Maranget & D. Rémy (1996) A calculus of mobile agents. In CONCUR '96, Concurrency Theory, 7th International Conference, Proceedings, U. Montanari & V. Sassone (eds), Lecture Notes in Computer Science, vol. 1119. Springer, Pisa, pp. 406–421.
K. E. Gray (2008) Safe cross-language inheritance. In ECOOP 2008 – Object-Oriented Programming, 22nd European Conference, Proceedings, J. Vitek (ed.), Lecture Notes in Computer Science, vol. 5142. Springer, Paphos, Cyprus, pp. 52–75.
D. Terrasse (1995) Encoding natural semantics in Coq. In Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Proceedings, V. S. Alagar & M. Nivat (eds), Lecture Notes in Computer Science, vol. 936. Springer, Montreal, pp. 230–244.
V. Vafeiadis & M. Parkinson (2007) A marriage of rely/guarantee and separation logic. In CONCUR 2007 - Concurrency Theory, 18th International Conference, Proceedings, L. Caires & V. T. Vasconcelos (eds), Lecture Notes in Computer Science, vol. 4703. Springer, Lisbon, pp. 256–271.