zkincaid's library 32 articles Export

	Precise interprocedural dataflow analysis via graph reachability [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 49-61. by Thomas Reps, Susan Horwitz, Mooly Sagiv posted to flow_analysis program_analysis by zkincaid on 2009-02-10 18:51:19 as along with 9 people taking mattmight olegus rakingleaves kklo GeoffWozniak alphabetagamma bfraser zuleger
	Towards a theory of type structure [My Copy] In Programming Symposium, Proceedings Colloque sur la Programmation (1974), pp. 408-423. by John C. Reynolds posted to no-tag by zkincaid on 2009-02-08 17:48:54 as along with 5 people and 1 group jkominek assnoodles yallop tautologico calvins NU-PRL
	Time Warps, String Edits, and Macromolecules: The Theory and Practice of Sequence Comparison [My Copy] (1983) edited by David Sankoff, Joseph B. Kruskal posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:51 as
	Proofs are Programs: 19th Century Logic and 21st Century Computing [My Copy] (November 2000) by Philip Wadler, Avaya Labs posted to 15s file-import-09-02-08 programming by zkincaid on 2009-02-08 17:16:51 as
	The Essence of Functional Programming [My Copy] In Conference Record of the Nineteenth Annual {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (1992), pp. 1-14. by Philip Wadler posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:51 as
	A theory of the learnable [My Copy] Commun. ACM, Vol. 27, No. 11. (1984), pp. 1134-1142. by L. G. Valiant posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:51 as
	Total Functional Programming [My Copy] Journal of Universal Computer Science, Vol. 10, No. 7. (2004), pp. 751-768. by D. A. Turner posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:51 as along with 2 people and 1 group robertjohnsimmons jimburton ConcertRG
	Scheme: An Interpreter for Extended Lambda Calculus [My Copy] No. AI Lab Memo AIM-349. (December 1975) by Gerald J. Sussman, Jr posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:51 as
	The thermodynamics of DNA structural motifs. [My Copy] Annu Rev Biophys Biomol Struct, Vol. 33 (2004), pp. 415-440. by J. Santalucia, D. Hicks posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:51 as
	On Combinatorial DNA Word Design [My Copy] In Proceedings 5th {DIMACS} Workshop on {DNA} Based Computers, held at the Massachusetts Institute of Technology, Cambridge, {MA}, {USA} June 14 - June 15, 1999 (1999), pp. 75-89. by Amit Marathe, Anne E. Condon, Robert M. Corn edited by Erik Winfree, David K. Gifford posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Speeding Up Processing with Approximation Circuits [My Copy] Computer, Vol. 37, No. 3. (2004), pp. 67-73. by Shih L. Lu posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Performance improvement with circuit-level speculation [My Copy] In International Symposium on Microarchitecture (2000), pp. 348-355. by Tong Liu, Shih L. Lu posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Languages Generated by Iterated Idempotencies and the Special Case of Duplication [My Copy] (2006) by Peter Leupold posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Duplication Roots [My Copy] In Developments in Language Theory, Vol. Volume 4588/2007 (2007), pp. 290-299. by Peter Leupold posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Parallelism for free: efficient and optimal bitvector analyses for parallel programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 18, No. 3. (1996), pp. 268-299. by Jens Knoop, Bernhard Steffen, Jürgen Vollmer posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Computational Power of Gene Rearrangement [My Copy] In Proceedings 5th {DIMACS} Workshop on {DNA} Based Computers, held at the Massachusetts Institute of Technology, Cambridge, {MA}, {USA} June 14 - June 15, 1999 (1999), pp. 207-216. by Lila Kari, Laura F. Landweber edited by Erik Winfree, David K. Gifford posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	DNA computing: arrival of biological mathematics [My Copy] The Mathematical Intelligencer, Vol. 19, No. 2. (1997), pp. 9-22. by Lila Kari posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	From Micro-Soft to Bio-Soft: Computing With DNA [My Copy] In Biocomputing and Emergent Computation (1997), pp. 146-164. by Lila Kari edited by Dan Lundh, Bjorn Olsson, Ajit Narayanan posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	An axiomatic basis for computer programming [My Copy] Commun. ACM, Vol. 12, No. 10. (1969), pp. 576-580. by C. A. R. Hoare posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as along with 1 person lesandrop
	Codeword design and information encoding in DNA ensembles [My Copy] Natural Computing: an international journal, Vol. 3, No. 3. (2004), pp. 253-292. by Max H. Garzon, Russell J. Deaton posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Nondeterministic Algorithms [My Copy] J. ACM, Vol. 14, No. 4. (1967), pp. 636-644. by Robert W. Floyd posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	The paradigms of programming [My Copy] Commun. ACM, Vol. 22, No. 8. (1979), pp. 455-460. by Robert W. Floyd posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Sparsification — a technique for speeding up dynamic graph algorithms [My Copy] J. ACM, Vol. 44, No. 5. (1997), pp. 669-696. by David Eppstein, Zvi Galil, Giuseppe F. Italiano, Amnon Nissenzweig posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Operations and language generating devices suggested by the genome evolution [My Copy] Theor. Comput. Sci., Vol. 270, No. 1-2. (2002), pp. 701-738. by Jürgen Dassow, Victor Mitrana, Arto Salomaa posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Enumeration and Symmetry of Edit Metric Spaces [My Copy] (2005) by Jessie Campbell posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	A Science of Reasoning [My Copy] Vol. Computational Logic: Essays in Honor of Alan Robinson (1991), pp. 178-198. by Alan Bundy edited by Lassez, G. Plotkin posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Introduction to Coding Theory [My Copy] (2005) by Juergen Bierbrauer posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm [My Copy] Automated Software Engg., Vol. 6, No. 4. (1999), pp. 329-356. by Alessandro Armando, Alan Smaill, Ian Green posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:50 as
	DNA sequence design using templates [My Copy] (2002) by M. Arita, S. Kobayashi posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:49 as
	Inductive Inference: Theory and Methods [My Copy] ACM Comput. Surv., Vol. 15, No. 3. (1983), pp. 237-269. by Dana Angluin, Carl H. Smith posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:49 as
	Molecular Computation of Solutions to Combinatorial Problems [My Copy] Science, Vol. 266 (~November, 1994), pp. 1021-1024. by Leonard M. Adleman posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:49 as
	A Weighted Insertion-Deletion Stacked Pair Thermodynamic Metric for DNA Codes. [My Copy] In DNA (2004), pp. 90-103. by Arkadii G. D'Yachkov, Anthony J. Macula, Wendy K. Pogozelski, Thomas E. Renz, Vyacheslav V. Rykov, David C. Torney posted to file-import-09-02-08 by zkincaid on 2009-02-08 17:16:49 as

Note: You may cite this page as: http://www.citeulike.org/user/zkincaid

file-import-09-02-08	30
program_analysis	1
programming	1
flow_analysis	1
15s	1

zkincaid's library 32 articles Export

zkincaid's tags