jff's rcb-bibfile [more than 800 articles] Export

Recent papers added to jff's library classified by the tag rcb-bibfile. You can also see everyone's rcb-bibfile.

	Tangram Manual [My Copy] No. UR 008/93. (1996) by Frits D. Schalij posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	An introduction to Ruby. 2nd edition [My Copy] (1995) by Robin Sharp, Ole Rasmussen posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	Towards a publication style of functional programming [My Copy] (June 1997) by Daniël Peeters posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	The death of computer languages, the birth of intentional programming [My Copy] (September 1995) by Charles Simonyi posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	Revised report on the algorithmic language ALGOL 60 [My Copy] Comm. ACM, Vol. 6 (Also 1963), pp. 1-20. by (ed posted to rcb-bibfile by jff on 2008-05-07 12:57:53 as
	The Art and Craft of Problem Solving [My Copy] (1999) by Paul Zeitz posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Calculational Derivation of Circuits [My Copy] (May 1998) by Matteo Vaccari posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	What is PVS? [My Copy] (November 1998) by John Rushby posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The PVS Specification and Verification System [My Copy] (November 1998) by John Rushby posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Archive of the Mathematics of Program Construction Group [My Copy] (July 1998) by R. C. Backhouse posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Isabelle: a Generic Theorem Prover [My Copy] No. 828. (1994) by Lawrence C. Paulson posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The Art of Computer Programming. [My Copy] Vol. Vol. III: Sorting and Searching (1973) by Donald E. Knuth posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The Art of Computer Programming. [My Copy] Vol. Vol. II: Seminumerical algorithms (1969) by Donald E. Knuth posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The Art of Computer Programming. [My Copy] Vol. Vol. I: Fundamental Algorithms (1968) by Donald E. Knuth posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	A Tutorial Introduction to PVS [My Copy] (April 1995) by Judy Crow, Sam Owre, John Rushby, Natarajan Shankar, Mandayam Srivas posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Consistency and Refinement for Partial Specification in Z [My Copy] In FME '96: Industrial Benefit and Advances in Formal Methods, Vol. 1051 (1996), pp. 287-306. by Eerke Boiten, John Derrick, Howard Bowman, Maarten Steen edited by Marie C. Gaudel, James Woodcock posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	\\mplogo Ergonomic Document Preparation [My Copy] (February 1996) by Roland Backhouse, Richard Verhoeven posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The Maple Handbook [My Copy] (1996) by Darren Redfern posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	The Mathematica Book [My Copy] (1996) by Stephen Wolfram posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Predicate Calculus and Program Semantics [My Copy] (1990) by E. W. Dijkstra, C. S. Scholten posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Proof Presentation for Isabelle [My Copy] In Theorem Proving in Higher Order Logics: 10th International Conference, {TPHOLs '97}, Vol. 1275 (August 1997), pp. 259-274. by Martin Simons edited by Elsa Gunter, Amy Felty posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	Workshop on User Interfaces for Theorem Provers [My Copy] (September 1997) edited by Yves Bertot posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	User Interfaces for Theorem Provers [My Copy] (July 1996) edited by Nicholas A. Merriam posted to rcb-bibfile by jff on 2008-05-07 12:57:52 as
	\\LaTeX: A Document Preparation System [My Copy] (1994) by Leslie Lamport posted to computerized-typesetting latex-computer-file rcb-bibfile by jff on 2008-05-07 12:57:51 as
	An Environment for Intergrating Formal Methods Tools [My Copy] (September 1997) by P. Anderson, M. Goldsmith, B. Scattergood, T. Teitelbaum edited by Yves Bertot posted to rcb-bibfile by jff on 2008-05-07 12:57:51 as
	What is Wrong with GUIs for Theorem Provers [My Copy] (September 1997) by N. A. Merriam, M. D. Harrison edited by Yves Bertot posted to rcb-bibfile by jff on 2008-05-07 12:57:51 as
	Using ILF as an Interface to Many Theorem Provers [My Copy] In Workshop on User Interfaces for Theorem Provers (1998), pp. 75-86. by Ingo Dahn posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	User Interfaces for Generic Proof Assistants Part II: Displaying Proofs [My Copy] In Workshop on User Interfaces for Theorem Provers (1998), pp. 147-156. by Bernard Sufrin, Richard Bornat posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	TAME: A PVS Interface to Simplify Proofs for Automata Models [My Copy] In Workshop on User Interfaces for Theorem Provers (1998), pp. 147-156. by Myla Archer, Constance Heitmeyer, Steve Sims posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	Human-Style Theorem Proving Using PVS [My Copy] In Theorem Proving in Higher Order Logics: 10th International Conference, {TPHOLs '97}, Vol. 1275 (August 1997), pp. 33-48. by Myla Archer, Constance Heitmeyer edited by Elsa Gunter, Amy Felty posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	User Guide for the PVS Specification and Verification System [My Copy] (February 1993) by S. Owre, N. Shankar, J. M. Rushby posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	The PVS Proof Checker: A Reference Manual [My Copy] (February 1993) by N. Shankar, S. Owre, J. M. Rushby posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	The PVS Specification Language [My Copy] (February 1993) by S. Owre, N. Shankar, J. M. Rushby posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	Operation Refinement Proofs for VDM-like Specifications [My Copy] (February 1995) by Bettina Buth posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	PAMELA $+$ PVS [My Copy] In Algebraic Methodology and Software Technology, {AMAST}'97, Vol. 1349 (December 1997), pp. 560-562. by Bettina Buth edited by Michael Johnson posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	Contextual understanding by computers [My Copy] CACM, Vol. 10, No. 8. (1967), pp. 474-480. by Joseph Weizenbaum posted to ai-natural-language-understanding-historical-context-semantics rcb-bibfile by jff on 2008-05-07 12:57:50 as
	ELIZA---a computer program for the study of natural language communication between man and machine [My Copy] Communications of the Association for Computing Machinery, Vol. 9, No. 1. (January 1965), pp. 36-45. by Joseph Weizenbaum posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	A New Horner's Rule [My Copy] by F. Zwiggelaar posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	Towards algorithmics as a mathematical activity [My Copy] by H. Zantema posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	A deficiency of natural deduction [My Copy] Information Processing Letters, Vol. 25 (1987), pp. 233-234. by J. G. Wiltink posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	A Note on Categorical Data Types [My Copy] In Category Theory and Computer Science (1989) by G. C. Wraith posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	A Generative Nested-Sequential Basis for General Purpose Programming Languages [My Copy] (1973) by D. S. Wile posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	The coming age of calm technology [My Copy] In Beyond Calculation. The next fifty years of computing (1997) by Mark Weisser, John S. Brown edited by Peter J. Denning, Robert M. Metcalfe posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	A theorem on boolean matrices [My Copy] J. ACM, Vol. 9 (1962), pp. 11-12. by S. Warshall posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	A shortest path algorithm for edge-sparse graphs [My Copy] J.Assoc. Comp. Mach., Vol. 23 (1976), pp. 50-57. by R. A. Wagner posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	Advanced Functional Programming [My Copy] Vol. 925 (1995), pp. 24-52. by P. Wadler edited by Johan Jeuring, Erik Meijer posted to rcb-bibfile by jff on 2008-05-07 12:57:50 as
	Program Design Calculi [My Copy] Vol. 118 (1993), pp. 233-264. by P. Wadler edited by Manfred Broy posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	Church and state: taming effects in functional languages [My Copy] (1992) by P. Wadler posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	Comprehending Monads [My Copy] In ACM Conference on Lisp and Functional Programming (June 1990) by P. Wadler posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as
	Theorems for Free! [My Copy] In 4'th Symposium on Functional Programming Languages and Computer Architecture, ACM, London (September 1989), pp. 347-359. by P. Wadler posted to rcb-bibfile by jff on 2008-05-07 12:57:49 as

Note: You may cite this page as: http://www.citeulike.org/user/jff/tag/rcb-bibfile

Result page: 1 2 3 4 5 6 7 8 9 10 Next

ewd-bib	1262
rcb-bibfile	855
math-bib	28
calculational	16
jff-bib	15
number-theory	14
algorithms	13
calculational-bib	11
problem-solving	10
general-bib	9
mathematical-methodology	8
algorithm-derivation	6
construction	6
invariant	5
rcb-bib	5
stern-brocot	5
book	4
correctness	4
inversion	4
brocot	3
calkin-wilf	3
chessboard	3
computability	3
haskell	3
mathis	3
ordinals	3
cacm	2
euclidean-algorithm	2
history	2
knuth-bib	2
logic	2
mathematics	2
proof	2
tiling	2
trominoes	2
afm-bib	1
ai-natural-language-understanding-historical-context-semantics	1
boute	1
bruijn	1
code	1
computational-thinking	1
computerized-typesetting	1
continuants	1
cs	1
education	1
eisenstein	1
enumeration	1
epigram	1
exclusive-or	1
feedback	1
fixed-point	1
fm	1
formal	1
games	1
gauss	1
generating-functions	1
golomb	1
greatest-common-divisor	1
inequivalence	1
java	1
latex-computer-file	1
moessner	1
parallel-computing	1
polyominoes	1
predicates	1
puzzle	1
puzzled	1
quantifiers	1
rational-number	1
solitaire	1
taocp	1
turing	1
unplugged	1
urm	1
wing	1

jff's rcb-bibfile [more than 800 articles] Export

jff's tags