The members of the Committee approve the thesis of Tjark Weber presented on...  Home/Search
Context
Related
| wwwtcs.inf.tudresden...TjarkThesis.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: wwwtcs.inf.tudresden.de/~...juer (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ce Foundation under Grant No. CCR-9985239. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation. Among the online resources I used are Google TM , CiteSeer, and LEO. I would like to thank everyone there for making their services available freely. Thorsten Altenkirch willingly answered my questions about [GHA01]. Natarajan Shankar provided me with some of his... (Update)
Active bibliography (related documents): More All
0.2: Setoids in Type Theory - Barthe, Capretta, Pons (2000) (Correct)
0.2: Protocol Verification in Nuprl - Felty, Howe, Stomp (1998) (Correct)
0.2: A Type Annotation Scheme for Nuprl - Douglas Howe Bell (1998) (Correct)
Similar documents based on text: More All
0.2: Quicksort via Bird's Tree Fusion Transformation - Tjark Weber And (Correct)
0.2: Decidability Extracted: Synthesizing ``Correct-by-Construction'' .. - Caldwell (1998) (Correct)
0.1: Search Algorithms in Type Theory - Caldwell, Gent, Underwood (1997) (Correct)
BibTeX entry: (Update)
@misc{ of-to,
author = "The Members Of",
title = "To The Graduate School:",
url = "citeseer.ist.psu.edu/635273.html" }
Citations (may not include all citations):324 Deforestation: Transforming programs to eliminate trees - Wadler - 1988 ACM DBLP
204 KIDS: A semiautomatic program development system - Smith - 1990 DBLP
191 LEGO proof development system: User's manual (context) - Luo, Pollack - 1992
99 volume 5 of Graduate Texts in Mathematics (context) - MacLane, the - 1971
85 The ALF proof editor and its proof engine (context) - Magnusson, om - 1994 ACM DBLP
81 Algorithmics: Towards programming as a mathematical activity (context) - Meertens - 1986
71 User Guide for the PVS Specification and Verification System - Owre, Shankar et al. - 1995
63 Algebraic data types and program transformation (context) - Malcolm - 1990
59 Stratego: A language for program transformation based on rew.. - Visser - 2001 DBLP
53 Realistic compilation by program transformation - Kelsey, Hudak - 1989 DBLP
52 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
50 Compiling haskell by program transformation: A report from t.. - Jones - 1996 DBLP
48 Safety-Critical Computer Systems (context) - Storey - 1996
47 Enhancing the nuprl proof development system and applying it.. - Jackson - 1995 ACM
47 Continuation-based program transformation strategies (context) - Wand - 1980 ACM DBLP
38 Constructive mathematics and computer programming (context) - of - 1982 ACM
14 A survey of strategies in program transformation systems - Visser - 2001 DBLP
14 Prentice Hall International Series in Computer Science (context) - Rydeheard, Burstall et al. - 1988
10 Constructive automata theory implemented with the Nuprl proo.. (context) - Kreitz - 1986 ACM
9 Steps toward mechanizing program transformations using PVS - Shankar - 1996
7 with an application to the Entscheidungsproblem (context) - Turing, numbers - 1936
4 Sets in types (context) - Werner - 1997
1 Category theory (context) - Marquis - 2002 ACM
http://www.mizar.org
Documents on the same site (http://wwwtcs.inf.tu-dresden.de/~claus/juer.html): More
Comparison of Deforestation Techniques for Functional Programs.. - Kühnemann (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
A Translation from Attribute Grammars to Catamorphisms - Fokkinga, Jeuring.. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC