mvermaat's verification [12 articles] Export

Recent papers added to mvermaat's library classified by the tag verification. You can also see everyone's verification.

	Certified Programming with Dependent Types [My Copy] (2009) by Adam Chlipala posted to verification types theorem-proving logic literature-study functional-programming dependent-types coq compilers binding bachelor-project by mvermaat on 2009-11-16 18:02:13 as
	An application of co-inductive types in Coq: Verification of the alternating bit protocol [My Copy] Types for Proofs and Programs (1996), pp. 135-152. by Eduardo Giménez posted to verification theorem-proving recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 14:02:51 as
	Verifying a CPS Transformation [My Copy] (February 2008) by Martijn Vermaat posted to bachelor-project compilers cps lambda-calculus verification by mvermaat on 2008-03-21 16:42:13 as
	A locally nameless solution to the POPLmark challenge [My Copy] (January 2007) by Xavier Leroy posted to bachelor-project compilers coq literature-study poplmark verification by mvermaat on 2008-02-26 14:43:42 as
	Translation Validation [My Copy] Lecture Notes in Computer Science, Vol. 1384 (1998) by A. Pnueli, M. Siegel, E. Singerman posted to bachelor-project compilers translation-validation verification by mvermaat on 2008-02-26 14:39:10 as
	Translation validation for an optimizing compiler [My Copy] ACM SIG\-PLAN Notices, Vol. 35, No. 5. (2000), pp. 83-94. by George C. Necula posted to bachelor-project compilers translation-validation verification by mvermaat on 2008-02-26 14:38:17 as
	Interactive Theorem Proving and Program Development [My Copy] (24 June 2004) by Yves Bertot, Pierre Castéran, Pierre Casttran posted to bachelor-project coq functional-programming verification by mvermaat on 2008-02-26 14:28:45 as along with 2 people jimburton leonardo
	Mechanized metatheory for the masses: The POPLmark Challenge [My Copy] In Proceedings of the Eighteenth International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005) (2005) by B. Aydemir, A. Bohannon, M. Fairbairn, et al.J. Foster, B. Pierce, P. Sewell, D. Vytiniotis, G. Washburn, S. Weirich, S. Zdancewic posted to bachelor-project literature-study poplmark semantics verification by mvermaat on 2008-02-26 14:22:51 as along with 1 person scis0000001
	Mechanically Verifying Correctness of CPS Compilation [My Copy] by Ye H. Tian posted to bachelor-project cps verification by mvermaat on 2008-02-26 13:56:41 as
	Verifying CPS transformations in Isabelle/HOL [My Copy] In MERLIN '03: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding (2003), pp. 1-8. by Yasuhiko Minamide, Koji Okuma posted to bachelor-project cps verification by mvermaat on 2008-02-26 13:55:07 as along with 2 people and 1 group dalev msakai NU-PRL
	A certified type-preserving compiler from lambda calculus to assembly language [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 54-65. by Adam Chlipala posted to bachelor-project compilers coq cps lambda-calculus verification by mvermaat on 2008-02-26 13:46:48 as along with 2 people and 2 groups pedagand jkominek ConcertRG Lambda the Ultimate
	Mechanized Verification of CPS Transformations [My Copy] Logic for Programming, Artificial Intelligence, and Reasoning (2007), pp. 211-225. by Zaynah Dargaye, Xavier Leroy posted to bachelor-project compilers coq cps verification by mvermaat on 2008-02-26 13:39:56 as

Note: You may cite this page as: http://www.citeulike.org/user/mvermaat/tag/verification

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

lambda-calculus	27
bachelor-project	18
binding	16
coq	16
functional-programming	16
literature-study	14
types	13
compilers	12
verification	12
cps	11
logic	8
master-project	8
poplmark	7
rewriting	7
syntax	7
theorem-proving	7
algebra	5
dutch	4
recursion	4
algebraic-specifications	3
coinduction	3
equational-logic	3
infinitary-rewriting	3
normalization	3
redexes	3
rpo	3
semantics	3
termination	3
latex	2
ml	2
nominal	2
parsing	2
proof-theory	2
sdf	2
stratego	2
substitution	2
translation-validation	2
antropology	1
dependent-types	1
dsl	1
isabelle	1
linear-algebra	1
paradox	1
scheme	1
set-theory	1

mvermaat's verification [12 articles] Export

mvermaat's tags