New C Standard References

The following citations appear in the book "The New C Standard" (the pdf, 10.5M byte, can be downloaded here).

Tor Aamodt and Paul Chow. Numerical error minimizing floating-point to fixed-point ANSI C compilation. In 1^st Workshop on Media Processors and Digital Signal Processing, November 1999.
Phillip L. Ackerman and Eric D. Heggestad. Intelligence, personality, and interests: Evidence for overlapping traits. Psychological Bulletin, 121(2):219–245, 1997.
Pauline Austin Adams and Joe K. Adams. Confidence in the recognition and reproduction of words difficult to spell. American Journal of Psychology, 73:544–552, 1960.
Edward N. Adams. Optimizing preventive service of software products. IBM Journal of Research and Development, 28(1):2–14, 1984.
Vikas Agarwal, M. S. Hrishikesh, Stephen W. Keckler Doug, and Burger. Clock rate versus IPC: The end of the road for conventional microarchitectures. In Proceedings of the 27^th Annual International Symposium on Computer Architecture, 2000.
Agere Systems. DSP16000 Digital Signal Processor Core Information Manual. Agere Systems, mn02-026winf edition, June 2002.
Farooq Ahmad and Grzegorz Kondrak. Learning a spelling error model from search query logs. In HLT '05: Proceedings of Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing, pages 955–962, October 2005.
A. V. Aho and S. C. Johnson. Optimal code generation for expression trees. Journal of the ACM, 23(3):488–501, 1976.
A. V. Aho, S. C. Johnson, and J. D. Ullman. Code generation for expressions with common subexpressions. Journal of the ACM, 24(1):146–160, 1976.
A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison textendash Wesley, 1985.
Alex Aiken, Jeffrey S. Foster, John Kodumal, and Tachio Terauchi. Checking and inferring local non-aliasing. In SIGPLAN Conference on Programming Language Design and Implementation PLDI'03, pages 129–140, June 2003.
Anastassia Ailamaki, David J. DeWitt, Mark D. Hill, and David A. Wood. DBMSs on a modern processor: Where does time go?. In Malcolm P. Atkinson, Maria E. Orlowska, Patrick Valduriez, Stanley B. Zdonik, and Michael L. Brodie, editors, Proceedings of the Twenty-fifth International Conference on Very Large Databases, pages 266–277, Los Altos, CA 94022, USA, September 1999. Morgan Kaufmann Publishers.
M. M. Al-Jarrah and I. S. Torsun. An empirical analysis of COBOL programs. Software textendash Practice and Experience, 9:341–359, 1979.
Michael J. Alexander, Mark W. Bailey, Bruce R. Childers, Jack W. Davidson, and Sanjay Jinturkar. Memory bandwidth optimizations for wide-bus machines. Technical Report CS-92-24, Department of Computer Science, University of Virginia, August 4 1992.
Phonetic Comparison Algorithms. Brett kessler. Transactions of the Philological Society, 103(2):243–260, 2005.
Randy Allen and Ken Kennedy. Optimizing Compilers for Modern Architecture. Morgan Kaufmann Publishers, 2002.
Philip A. Allen, Benjamin Wallace, and Timothy A. Weber. Influence of case type, word frequency, and exposure duration on visual word recognition. Journal of Experimental Psychology: Human Perception and Performance, 21(4):914–934, 1995.
F. E. Allen. Control flow analysis. SIGPLAN Notices, 5(7):1–19, 1970.
James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, 1983.
Erik M. Altmann. Near-term memory in programming: A simulation-based analysis. International Journal of Human-Computer Studies, 54:189–210, 2001.
Erik M. Altmann. Functional decay of memory for tasks. Psychological Research, 66(4):287–297, 2002.
Altrium BV. C166/ST10 v8.0 C Cross-Compiler User's Guide. Altrium BV, 2003.
Carlos J. Álvarez, Manuel Carreiras, and Manuel de Vega. Syllable-frequency effect in visual word recognition: Evidence of sequential-type processing. Psicológica, 21:341–374, 2000.
Carlos Álvarez, Jesús Corbal, Esther Salamí, and Mateo Valero. On the potential of tolerant region reuse for multimedia applications. In Proceedings of the 15^th international conference on Supercomputing, pages 218–228. ACM Press, April 2001.
R. Alverson, D. Callahan, D. Cummings, B. Koblenz, A. Porterfield, and B. Smith. The tera computer system. 1990 International Conference on Supercomputing, June 11-15 1990. Published as Computer Architecture News 18:3.
Robert Alverson. Integer division using reciprocals. In P. Kornerup and D. W. Matula, editors, Proceedings of the 10^th IEEE Symposium on Computer Arithmetic, pages 186–190, Grenoble, France, 1991. IEEE Computer Society Press, Los Alamitos, CA.
L. A. N. Amaral, A. Scala, M. Barthélémy, and H. E. Stanley. Classes of small-world networks. Proceedings of the National Academy of Sciences, 97(21):11149–11152, October 2000.
AMD. Software Optimization Guide for AMD Athlon 64 and AMD Opteron Processors. Advanced Micro Devices, Inc, 3.03 edition, September 2002.
AMD. AMD64 Architecture Programmer's Manual Volume 1: Application programming. Advanced Micro Devices, Inc, 3.09 edition, September 2003.
Zahir Ammaraguellat. A control-flow normalization algorithm and its complexity. Software Engineering, 18(3):237–251, March 1992.
Analog Devices, Inc. ADSP-21065L SHARC DSP Technical Reference. Analog Devices, Inc, 2.0 edition, July 2003.
Analog Devices, Inc. C/C++ Compiler and Library Manual for SHARC. Analog Devices, Inc, 4.0 edition, January 2003.
Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.
John R. Anderson and Christian Libiere. The Atomic Components of Thought. Lawrence Erlbaum Associates, 1998.
John R. Anderson and Robert Milson. Human memory: An adaptive perspective. Psychological Review, 96(4):703–719, 1989.
John R. Anderson. Interference: The relationship between response latency and response accuracy. Journal of Experimental Psychology: Human Learning and Memory, 7(5):326–343, 1981.
John R. Anderson. Cognitive Psychology and its Implications. Worth Publishers, fifth edition, 2000.
John R. Anderson. Learning and Memory: An Integrated Approach. John Wiley & Sons, Inc, second edition, 2000.
Sally Andrews and Danielle R. Scarratt. Rule and analogy mechanisms in reading nonwords: Hough dou peapel rede gnew wirds? Journal of Experimental Psychology: Human Perception and Performance, 24(4):1052–1086, 1998.
Sally Andrews. Lexical retrieval and selection processes: Effects of transposed-letter confusability. Journal of Memory and Language, 35:775–800, 1996.
Sally Andrews. The effect of orthographic similarity on lexical retrieval: Resolving neighborhood conflicts. Psychonomic Bulletin & Review, 4(4):439–461, 1997.
Ángel Fernández and María A. Alonso. The relative value of environmental context reinstatement in free recall. Psicológica, 22:253–266, 2001.
Anon. How genes work: A quick guide to life's operating system. The Economist, June 29 2000.
Anon. OpenMP C and C++ application program interface. Technical Report Version 2.0, OpenMP Architecture Review Board, March 2002.
Nicolas Anquetil and Timothy Lethbridge. Assessing the relevance of identifier names in a legacy software system. In Proceedings of CASCON'98, pages 213–222, 1998.
Nicolas Anquetil and Timothy Lethbridge. Extracting concepts from file names: A new file clustering criterion. In Proceedings of the 1998 International Conference on Software Engineering, pages 84–93. IEEE Computer Society Press/ACM Press, 1998.
Nicolas Anquetil and Timothy C. Lethbridge. Recovering software architecture from the names of source files. Journal of Software Maintenance: Research and Practice, 11:201–221, 1999.
Andrew W. Appel and Lal George. Optimal spilling for CISC machines with few registers. Technical Report TR-630-00, Princeton University, March 2001.
Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
Apple Computer. Inside Macintosh: PowerPC Numerics. Addison textendash Wesley, 1994.
Katherine D. Arbuthnott and Jamie I. D. Campbell. Effects of operand order and problem repetition on error priming in cognitive arithmetic. Canadian Journal of Experimental Psychology, 50(2):182–195, 1996.
Hal R. Arkes, Robyn M. Dawes, and Caryn Christensen. Factors influencing the use of a decision rule in a probabilistic task. Organizational Behavior and Human Decision Processes, 37:93–110, 1986.
ARM. ARM Developer Suite: Compilers and Libraries Guide. ARM Limited, 1.2 edition, November 2001.
ARM. ARM1026EJ-S: Technical Reference Manual. ARM Limited, r0p1 edition, December 2002.
Brian Armstrong and Rudolf Eigenmann. Performance forecasting: Characterization of applications on current and future architectures. Technical Report ECE-HPCLab-97202, Purdue University School of ECE, January 1997.
Marnix Arnold and Henk Corporaal. Data transport reduction in move processors. In Third Annual Conference of the Advance School for Computing and Imaging, pages 68–75, June 1997.
Matthew Arnold, Stephen J. Fink, Vivek Sarkar, and Peter F. Sweeney. A comparative study of static and profile-based heuristics for inlining. In ACM SIGPLAN Workshop on Dynamic and Addative Compilation and Optimization (DYNAMO'00), pages 52–64. ACM, January 2000.
Mark H. Ashcraft. Cognitive arithmetic: A review of data and theory. Cognition, 44:75–106, 1992.
Edward A. Ashcroft and Zohar Manna. The translation of 'go to' programs to 'while' programs. Technical Report CS-TR-71-188, Stanford University, Department of Computer Science, January 1971.
R. L. Ashenhurst and N. Metropolis. Unnormalized floating point arithmetic. Journal of the ACM, 6(3):415–428, July 1959.
AT&T Document Management. WE DSP32 Digital Signal Processor Information Manual, 1988.
David Atkins, Thomas Ball, Todd Graves, and Audris Mockus. Using version control data to evaluate the impact of software tools. In Proceedings of the 1999 International Conference on Software Engineering (ICSE'99), pages 324–333, New York, May 1999. Association for Computing Machinery.
Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. Efficient detection of all pointer and array access errors. In Proceedings of the SIGPLAN'94 Conference on Programming Language Design and Implementation, 1994.
Oren Avissar, Rajeev Barua, and Dave Stewart. An optimal memory allocation scheme for scratch-pad-based embedded systems. ACM Transactions on Embedded Computing Systems, 1(1):6–26, 2002.
Andrew Ayers, Robert Gottlieb, and Richard Schooler. Aggressive inlining. In Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, pages 134–145, June 1997.
R. Harald Baayen. Word Frequency Distributions. Kluwer Academic Publishers, 2001.
John Backus. The history of FORTRAN I, II, and III. SIGPLAN Notices, 13(8):165–180, 1978.
David F. Bacon, Susan L. Graham, and Oliver J. Sharp. Compiler transformations for high-performance computing. Technical Report UCB/CSD-93-781, University of California, Berkeley, 1993.
Alan D. Baddeley, Neil Thomson, and Mary Buchanan. Word length and the structure of short-term memory. Journal of Verbal Learning and Verbal Behavior, 14:575–589, 1975.
Alan Baddeley, Martin Conway, and John Aggleton. Episodic Memory: New Directions in Research. Oxford University Press, 2002.
A. D. Baddeley. Short-term memory for word sequences as a function of acoustic, semantic and formal similarity. Quarterly Journal of Experimental Psychology, 18:362–365, 1966.
A. D. Baddeley. How does acoustic similarity influence short-term memory? Quarterly Journal of Experimental Psychology, 20:249–264, 1968.
A. D. Baddeley. Language habits, acoustic confusability, and immediate memory for redundant letter sequences. Psychonomic Science, 22(2):120–121, 1971.
Alan D. Baddeley. Essentials of Human Memory. Psychology Press, 1999.
Alan Baddeley. Working memory: Looking back and looking forward. Nature Reviews, 4(10):829–839, October 2003.
Ronald Baecker and Aaron Marcus. Human Factors and Typography for More Readable Programs. Addison textendash Wesley, Reading, MA, USA, 1990.
Patricia Baggett and Andrzej Ehrenfeucht. How an unfamiliar thing should be called. Journal of Psycholinguistic Research, 11(5):437–445, 1982.
Iris Bahar, Brad Calder, and Dick Grunwald. A comparison of software code reordering and victim buffers. ACM SIGARCH Computer Architecture News, March 1999.
Harry P. Bahrick. Semantic memory content in permastore: Fifty years of memory for Spanish learned in school. Journal of Experimental Psychology: General, 113(1):1–26, 1984.
Jeremy N. Bailenson, Michael S. Shum, and John D. Coley. A bird's eye view: Biological categorization and reasoning within and across cultures. Cognition, 84:1–53, 2002.
Todd M. Bailey and Ulrike Hahn. Phoneme similarity and confusability. Journal of Memory and Language, 52(3):339–362, 2005.
Janet L. Bailey and Greg Stefaniak. Industry perceptions of the knowledge, skills, and abilities needed by computer programmers. In Proceedings of the 2001 ACM SIGCPR Conference on Computer Personnel Research (SIGCPR 2001), pages 93–99. ACM Press, 2001.
David Bailey, Tim Harris, William Saphir, Rob van der Wijngaart, Alex Woo, and Maurice Yarrow. The NAS parallel benchmarks 2.0. Technical Report NAS-95-020, NASA Ames Research Center, December 1995.
Henry G. Baker. Equal rights for functional objects or, the more things change, the more they are the same. ACM OOPS Messenger, 4(4):2–27, October 1993.
Brenda S. Baker. On finding duplication and near-duplication in large software systems. In L. Wills, P. Newcomb, and E. Chikofsky, editors, Second Working Conference on Reverse Engineering, pages 86–95, Los Alamitos, California, July 1995. IEEE Computer Society Press.
Mark C. Baker. The Atoms of Language. Basic Books, 2001.
Carliss Y. Baldwin and Kim B. Clark. Design Rules. Volume 1. The Power of Modularity. The MIT Press, 2000.
T. Ball and J. R. Larus. Branch prediction for free. ACM SIGPLAN Notices, 28(6):300–313, June 1993.
Utpal Banerjee. Dependence analysis for supercomputing. The Kluwer international series in engineering and computer science. Parallel processing and fifth generation computing. Kluwer Academic, Boston, MA, USA, 1988.
Rajiv D. Banker and Sandra A. Slaughter. The moderating effects of structure on volatility and complexity in software enhancement. Information Systems Research, 11(3):219–240, September 2000.
Sorav Bansal and Alex Aiken. Automatic generation of peephole superoptimizers. In Proceedings of the 12th International conference on Architectural support for programming languages and operating systems, pages 394–403, April 2006.
Philip Banyard and Nigel Hunt. Something missing? The Psychologist, 13(2):68–71, 2000.
J. R. Barclay, John D. Bransford, Jeffery J. Franks, Nancy S. McCarrell, and Kathy Nitsch. Comprehension and semantic flexibility. Journal of Verbal Learning and Verbal Behavior, 13:471–481, 1974.
Jerome H. Barkow, Leda Cosmides, and John Tooby. The Adapted Mind: Evolutionary Psychology and the Generation of Culture. Oxford University Press, 1992.
Christopher Barry and Philip H. K. Seymour. Lexical priming and sound-to-spelling contingency effects in nonword spelling. The Quarterly Journal of Experimental Psychology, 40A(1):5–40, 1988.
Rajeev Barua. Maps: A Compiler-Managed Memory System for Software-Exposed Architectures. PhD thesis, M.I.T., January 2000.
Victor R. Basili, Scott Green, Oliver Laitenberger, Filippo Lanubile, Forrest Shull, Sivert Sørumgård, and Marvin V. Zelkowitz. The empirical investigation of perspective-based reading. Empirical Software Engineering: An International Journal, 1(2):133–164, 1996.
Victor R. Basili, Lionel C. Briand, and Sandro Morasca. Defining and validating measures for object-based high-level design. Technical Report IESE-Report No. 018.98/E, Fraunhofer Institute for Experimental Software Engineering, 1998.
Miriam Bassok, Valerie M. Chase, and Shirley A. Martin. Adding apples and oranges: Alignment of semantic and formal knowledge. Cognitive Psychology, 35(2):99–134, March 1998.
Laurie Bauer. English Word-formation. Cambridge University Press, 1983.
Laurie Bauer. An Introduction to International Varieties of English. Edinburgh University Press, 2002.
Andreas Bauer. Compilation of functional programming languages using GCC - Tail calls. Thesis (m.s.), Munich University of Technology, January 2003.
Ira D. Baxter, Andrew Yahin, Leonardo Moura, Marcelo Sant'Anna, and Lorraine Bier. Clone detection using abstract syntax trees. In T. M. Koshgoftaar and K. Bennett, editors, Proceedings of the International Conference on Software Maintenance (ICSM'98), pages 368–378. IEEE Computer Society Press, 1998.
Kathleen Baynes, Chris Collins, Eric Fiterman, Brinda Ganesh, Paul Kohout, Christine Smit, Tiebing Zhang, and Bruce Jacob. The performance and energy consumption of embedded real-time operating systems. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems CASES'01, pages 203–210. ACM Press, November 2001.
BCS SIGIST. Standard for software component testing. Technical Report Working Draft 3.4, British Computer Society and Special Interest Group in Software Testing, April 2001.
Lee Roy Beach, Valerie E. Barnes, and Jay J. J. Christensen-Szalanski. Beyond heuristics and biases: A contingency model of judgmental forecasting. Journal of Forecasting, 5:143–157, 1986.
Cécile Beauvillain, Karine Doré, and Véronique Baudouin. The 'center of gravity' of words: Evidence for an effect of the word-initial letters. Vision Research, 36(4):589–603, 1996.
Boris Beizer. Software Testing Techniques. Van Nostrand Reinhold, second edition, 1990.
Jon P. Beldie, Siegmund Pastoor, and Elmar Schwarz. Fixed versus variable letter width for television text. Human Factors, 25(3):273–277, 1983.
Gordon Bell and Jim Gray. High performance computing: Crays, clusters, and centers. what next? Technical Report MSR-TR-2001-76, Microsoft Research, September 2001.
Victoria A. Bell and P. N. Johnson-Laird. A model theory of modal reasoning. Cognitive Science, 22(1):25–51, 1998.
Gordon B. Bell, Kevin M. Lepak, and Mikko H. Lipasti. Characterization of silent stores. In International Conference on Parallel Architectures and Compilation Techniques (PACT'00), pages 133–144. IEEE Computer Society Press, October 2000.
Barbara A. Benander, Narasimhaiah Gorla, and Alan C. Benander. An empirical study of the use of the GOTO statement. Journal of Systems Software, 11(3):217–223, 1990.
Manuel E. Benitez and Jack W. Davidson. Register deprivation measurements. Technical Report CS-93-63, Department of Computer Science, University of Virginia, November 15 1993.
Manuel E. Benitez and Jack W. Davidson. Target-specific global code improvement: Principles and applications. Technical Report Technical Report CS-94-42, University of Virginia, 1994.
Yochai Benkler. Coase's penguin, or, Linux and the nature of the firm. The Yale Law Journal, 112(3), December 2002.
B. Berlin and P. Kay. Basic Color Terms. Berkeley: University of California Press, 1969.
Rita Sloan Berndt, James A. Reggia, and Charlotte C. Mitchum. Empirical derived probabilities for grapheme-to-phoneme correspondences in English. Behavior and Research Methods, Instruments, & Computers, 19(1):1–9, 1987.
Dianne C. Berry and Donald E. Broadbent. On the relationship between task performance and associated verbalized knowledge. Quarterly Journal of Experimental Psychology, 36A:209–231, 1984.
Robbert-Jan Beun and Anita H. M. Cremers. Multimodal reference to objects: An empirical approach. In Harry Bunt and Robbert-Jan Beun, editors, Cooperative Multimodal Communication, pages 64–88. Springer-Verlag, 1998.
Ravi Bhargava, Juan Rubio, Srikanth Kannan, and Lizy K. John. Understanding the impact of X86/NT computing on microarchitecture. In Lizy Kurian John and Ann Marie Grizzaffi Maynard, editors, Characterization of Contemporary Workloads, chapter 10, pages 203–228. Kluwer Academic Publishers, 2001.
S. S. Bhattacharyya, R. Leupers, and P. Marwedel. Software synthesis and code generation for signal processing systems. Technical Report CS-TR-4063, University of Maryland, College Park, September 1999.
Douglas Biber, Stig Johansson, Geoffrey Leech, Susan Conrad, and Edward Finegan. Longman Grammar of Spoken and Written English. Pearson Education, 1999.
James M. Bieman and Vanessa Murdock. Finding code on the world wide web: A preliminary investigation. In Proceedings First International Workshop on Source Code Analysis and Manipulation (SCAM2001), pages 73–78, 2001.
Aart Johannes Casimir Bik. Compiler Support for Sparse Matrix Computations. PhD thesis, Leiden University, May 1996.
Sushi Bikhchandani, David Hirshleifer, and Ivo Welch. A theory of fads, fashion, custom, and cultural change as information cascades. Journal of Political Economy, 100(5):992–1026, 1992.
Susan Blackmore. The Meme Machine. Oxford University Press, 1999.
Maija S. Blaubergs and Martin D. S. Braine. Short-term memory limitations on decoding self-embedded sentences. Journal of Experimental Psychology, 102(4):745–748, 1974.
Sandrine Blazey, Zaynah Dargaye, and Xavier Leroy. Formal verification of a C compiler front-end. In FM 2006: International Symposium on Formal Methods, pages 460–475. Springer-Verlag, 2006.
Johann Blieberger and Roland Lieger. Worst-case space and time complexity of recursive procedures. Real-Time Systems, 11(2):115–144, 1996.
Johann Blieberger. Real-time properties of indirect recursive procedures. Information and Computation, 171:156–182, 2001.
Brian Eugene Bliss. Instrumentation of FORTRAN programs for automatic roundoff error analysis and performance evaluation. Thesis (m.s.), University of Illinois at Urbana-Champaign, Urbana, IL, USA, 1990.
Rastislav Bodík, Rajiv Gupta, and Mary Lou Soffa. Complete removal of redundant computations. In SIGPLAN Conference on Programming Language Design and Implementation, pages 1–14, 1998.
Paulus Petrus Gerardus Boersma. Functional Phonology. PhD thesis, University of Amsterdam, September 1998.
Aniruddha Bohra and Eran Gabber. Are mallocs free of fragmentation? In 2001 USENIX Annual Technical Conference, pages 105–118, June 2001.
Carolyn Boiarsky. Consistency of spelling and pronunciation deviations of Appalachian students. Modern Language Journal, 53:347–350, 1969.
David B. Boles and John E. Clifford. An upper- and lowercase alphabetic similarity matrix, with derived generation similarity values. Behavior Research Methods, Instruments, & Computers, 21(6):579–586, 1989.
Don Bolinger and Tan Bronson. Applying RCS and SCCS. O'Reilly & Associates, Inc, 1995.
T. Bonk and U. Rüde. Performance analysis and optimization of numerically intensive programs. Technical Report SFB Bericht 342/26/92 A, Technische Universität München, Germany, November 1992.
George Boole. An Investigation of the Laws of Thought. Dover Publications, 1973.
Daniel J. Boorstin. The Discoverers. Phoenix Press, 1983.
Lera Boroditsky. Metaphoric structuring: understanding time through spatial metaphors. Cognition, 75:1–28, 2000.
Lera Boroditsky. Does language shape thought?: Mandarin and English speaker' conception of time. Cognitive Psychology, 43:1–22, 2001.
Paul Boucher, Frédéric Danna, and Pascale Sébillot. Compounds: An intelligent tutoring system for learning to use compounds in English. Technical Report Publication Interne No. 718, IRISA, Campus Universitaire de Beaulieu, France, April 1993.
Paul Boucher. Teaching compound nouns in English: an application of the Charlie Brown principle. CIEREC/TRAVAUX LXXVI, pages 33–50, 1992.
H. Bouma. Visual recognition of isolated lower-case letters. Vision Research, 11:459–474, 1971.
Charles P. Bourne and Donald F. Ford. A study of methods for systematically abbreviating English words and names. Journal of the ACM, 8(4):538–552, 1961.
Charles P. Bourne. Frequency and impact of spelling errors in bibliographic data bases. Information Processing & Management, 13(1):1–12, 1997.
Robert W. Bowdidge. Refactoring gcc using structure field access traces and concept analysis. In Proceedings of the Third International Workshop on Dynamic Analysis (WODA 2005), pages 1–7, May 2005.
Gordon H. Bower, Michal C. Clark, Alan M. Lesgold, and David Winzenz. Hierarchical retrieval schemes in recall of categorized word lists. Journal of Verbal Learning and Verbal Behavior, 8:323–343, 1969.
Gordon H. Bower, John B. Black, and Terrence J. Turner. Scripts in memory for text. Cognitive Psychology, 11:177–220, 1979.
Richard L. Bowman, Emily J. Ratliff, and David B. Whalley. Decreasing process memory requirements by overlapping program portions. In Proceedings of the Hawaii International Conference on System Sciences, pages 115–124, January 1998.
Jeff Boyle. An application of fourier series to the most significant digit problem. American Mathematical Monthly, 101:879–886, November 1994.
Mark G. Bradac, Dewayne E. Perry, and Lawrence G. Votta. Prototyping A process monitoring experiment. IEEE Transactions on Software Engineering, 20(10):774–784, 1994.
S. Bradner. RFC 2119: Key words for use in RFCs to Indicate Requirement Levels. IETF, 1997.
Gary L. Bradshaw and John R. Anderson. Elaborative encoding as an explanation of levels of processing. Journal of Verbal Learning and Verbal Behavior, 21:165–174, 1982.
Martin D. S. Braine and David P. O'Brian. A theory of it i large f: A lexical entry, reasoning program, and pragmatic principles. Psychological Review, 98(2):182–203, 1991.
John D. Bransford and Jeffery J. Franks. The abstraction of linguistic ideas. Cognitive Psychology, 2:331–350, 1971.
John D. Bransford and Marcia K. Johnson. Contextual prerequisites for understanding: Some investigations of comprehension and recall. Journal of Verbal Learning and Verbal Behavior, 11:717–726, 1972.
Thorsten Brants and Alex Franz. Web 1T 5-gram. Linguistic Data Consortium, Philadelphia, USA, 1st edition, 2006.
R. A. Brealey and S. C. Myers. Principles of Corporate Finance. Irwin McGraw textendash Hill, 2000.
Serge Brédart. Retrieval failure in face naming. Memory, 1:351–366, 1993.
Edmond J. Breen. Extensible Interactive C. eic.sourceforge.net, June 2000.
Tim Brennen. The difficulty with recalling people's names: The plausible phonology hypothesis. Memory, 1(4):409–431, 1993.
Richard P. Brent. On the precision attainable with various floating-point number systems. IEEE Transactions on Computers, C-22(6):601–607, June 1973.
Preston Briggs, Keith D. Cooper, and L. Taylor Simpson. Value numbering. Software textendash Practice and Experience, 26(6):701–724, 1997.
Preston Briggs. Register Allocation via Graph Coloring. PhD thesis, Rice University, April 1992.
Stefana Broadbent. Font requirements for next generation air traffic management systems. Technical Report HRS/HSP-006-REP-01, European Organisation for the Safety of Air Navigation, 2000.
David Brooks and Margaret Martinosi. Value-based clock gating and operation packing: Dynamic strategies for improving processor power and performance. ACM Transactions on Computer Systems, 18(2):89–126, May 2000.
Andrew Brooks, John Daly, James Miller, Marc Roper, and Murray Wood. Replication of experimental results in software engineering. Technical Report ISERN-96-10, Department of Computer Science, University of Strathclyde, Livingstone Tower, Richmond Street, Glasgow G1 1XH, UK, 1996.
John O. Brooks III, Leah Friedman, Janet M. Gibson, and Jerome A. Yesavage. Spontaneous mnemonic strategies used by older and younger adults to remember proper names. Memory, 1(4):393–407, 1993.
Frederick P. Brooks, Jr. The Mythical Man-Month. Addison textendash Wesley, anniversary edition, 1995.
Lee Brooks. Visual pattern in fluent word identification. In Arthur S. Reber and Don L. Scarborough, editors, Toward a Psychology of Reading: The Proceedings of the CUNY Conference, chapter 3, pages 143–181. Erlbaum, 1977.
Angela Demke Brown and Todd C. Mowry. Taming the memory hogs: Using compiler inserted releases to manage physical memory intelligently. In Proceedings of the USENIX 4^th Symposium on Operating Systems Designed and Implementation, pages 31–44. USENIX Association, October 2000.
Roger W. Brown, Abraham H. Black, and Arnold E. Horowitz. Phonetic symbolism in natural languages. Journal of Abnormal and Social Psychology, 50:388–393, 1955.
J. Brown, V. J. Lewis, and A. F. Monk. Memorability, word frequency and negative recognition. Quarterly Journal of Experimental Psychology, 29:461–473, 1977.
H. Douglas Brown. Categories of spelling difficulty in speakers of English as a first and second language. Journal of Verbal Learning and Verbal Behavior, 9:232–236, 1970.
P. J. Brown. The ML/I macro processor. University of Kent at Canterbury, fourth edition, August 1970.
P. J. Brown. Macro Processors and Techniques for Portable Software. John Wiley & Sons, 1974.
J. L. Bruno and T. Lassagne. The generation of optimal code for stack machines. Journal of the ACM, 22(3):382–396, 1975.
John Bruno and Ravi Sethi. Code generation for a one-register machine. Journal of the ACM, 23(3):502–510, 1976.
Marc Brysbaert. Arabic number reading: On the nature of the numerical scale and the origin of phonological recoding. Journal of Experimental Psychology: General, 124(4):434–452, 1995.
BSI. BS 6832:1987 Specifying requirements for FORTRAN language processors. British Standards Institution, 1987.
Lori Buchanan, Norman R. Brown, Roberto Cabeza, and Cameron Maitson. False memories and semantic lexicon arrangement. Brian and Language, 68:172–177, 1999.
W. Buchholz. Origin of the term byte. Annals of the History of Computing, 3(1):72–72, 1981.
Alexander Budanitsky. Lexical semantic relatedness and its application in natural language processing. Technical Report CSRG-390, Computer Systems Research Group, University of Toronto, August 1999.
Timothy Budd. An APL Compiler. Springer-Verlag, 1988.
Raluca Budiu. The Role of Background Knowledge in Sentence Processing. PhD thesis, Carnegie Mellon University, August 2001.
Honeywell Bull. Multics C User's Guide. Honeywell Bull, Inc, 1987.
Horst Bunke. A fast algorithm for finding the nearest neighbor of a word in a dictionary. Technical Report IAM-93-025, Institut für Informatik, November 1993.
Doug Burger, James R. Goodman, and Alain Kägi. Memory bandwidth limitations of future microprocessors. In 23^rd Annual International Symposium on Computer Architecture, pages 78–89, 1996.
Curt Burgess and Kay Livesay. The effect of corpus size on predicting reaction time in a basic word recognition task: Moving on from Kucera and Francis. Behavior Research Methods, Instruments, & Computers, 30(2):272–277, 1998.
Deborah M. Burke, Laura Peters, and Rose Marie Harrold. Word association norms for young and older adults. Social and Behavioral Science Documents, 17(2), 1987.
Johnny Burlin. Optimizing stack frame layout for embedded systems. Thesis (m.s.), Uppsala University, Information Technology Computer Science Department, November 2000.
Quentin L. Burrell. A note on ageing in a library circulation model. Journal of Documentation, 41(2):100–115, 1985.
Martin Burtscher, Amer Diwan, and Matthias Hauswirth. Static load classification for improving the value predictability of data-cache misses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI), pages 222–233. ACM Press, June 2002.
Martin Burtscher. Improving Context-Based Load Value Prediction. PhD thesis, University of Colorado, 2000.
Michael D. Byrne and Susan Bovair. A working memory model of a common procedural error. Cognitive Science, 21(1):31–61, 1997.
Brad Calder, Dirk Grunwald, Donald Lindsay, James Martin, Michael Mozer, and Benjamin G. Zorn. Corpus-based static branch prediction. SIGPLAN Notices, 30(6):79–92, June 1995.
Brad Calder, Dirk Grunwald, and Amitabh Srivastava. The predictability of branches in libraries. Technical Report Research Report 95/6, Western Research Laboratory - Compaq, 1995.
Brad Calder, Dirk Grunwald, and Benjamin Zorn. Quantifying behavioral differences between C and C++ programs. Journal of Programming Languages, 2(4):313–351, 1995.
B. Calder, P. Feller, and A. Eustace. Value profiling. In Proceedings of the 30^th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-97), pages 259–269, Los Alamitos, December 1–3 1997. IEEE Computer Society.
C. F. Camerer and E. F. Johnson. The process-performance paradox in expert judgment: How can the experts know so much and predict so badly? In K. A. Ericsson and J. Smith, editors, Towards a general theory of expertise: Prospects and limits. Cambridge University Press, 1991.
Valérie Camos and Pierre Barrouillet. Adult counting is resource demanding. British Journal of Psychology, 95:19–30, 2004.
Jamie I. D. Campbell and David Jeffrey Graham. Mental multiplication skill: Structure, process, and acquisition. Canadian Journal of Psychology, 39(2):338–366, 1985.
Jamie I. D. Campbell and Qilin Xue. Cognitive arithmetic across cultures. Journal of Experimental Psychology: General, 130(2):299–315, 2001.
Jamie I. D. Campbell. On the relation between skilled performance of simple division and multiplication. Journal of Experimental Psychology: Learning, Memory, and Cognition, 23(5):1140–1159, 1997.
Bruno Caprile and Paolo Tonella. Nomen est omen: Analyzing the language of function identifiers. In Proceedings of the 6^th Working Conference on Reverse Engineering, WCRE'99, pages 112–122, October 1999.
Martin Christopher Carlisle. Olden: Parallelizing Programs with Dynamic Data Structures on Distributed-Memory Machines. PhD thesis, Princeton University, June 1996.
María Carlo and Ellen Skilton Sylvester. Adult second-language reading research: How may it inform assessment and instruction? Technical Report TR96-08, University of Pennsylvania, October 1996.
Richard E. Carlson, Boo Hock Khoo, Robin G. Yaure, and Walter Schneider. Acquisition of a problem-solving skill: Levels of organization and use of working memory. Journal of Experimental Psychology: General, 119(2):193–214, 1990.
Erran Carmel and Shirley Becker. A process model for packaged software development. IEEE Transactions on Engineering Management, 41(5):50–61, 1995.
Patricia A. Carpenter and Marcel Adam Just. Sentence comprehension: A psycholinguistic processing model of verification. Psychological Review, 82(1):45–73, 1975.
John M. Carroll. What's in a Name? An essay on the psychology of reference. W. H. Freeman, 1985.
Allyson K. Carter and Cynthia G. Clopper. Prosodic and morphological effects on word reduction in adults: A first report. Technical Report Progress Report No. 24 (2000), Speech Research Laboratory, Indiana University, 2000.
Larry Carter, Jeanne Ferrante, and Clark Thomborson. Folklore confirmed: Reducible flow graphs are exponentially larger. In Proceedings of the 30^th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'03), pages 106–114, January 2003.
Russell Carter. Y-MP floating point and Cholesky factorization. Technical Report RND-90-007, NASA Ames Research Center, 1990.
Eylon Caspi. Empirical study of opportunities for bit-level specialization in word-based programs. Thesis (m.s.), University of California, Berkeley, 2000.
Keith Alan Cassell. Tools for the analysis of large PROLOG programs. Thesis (m.s.), University of Texas at Austin, Austin, TX, 1985.
Bryan C. Catanzaro. Higher radix floating-point representation for FPGA-based arithmetic. Thesis (m.s.), Brigham Young University, August 2005.
R. G. G. Cattell. Automatic derivation of code generators from machine descriptors. ACM Transactions on Programming Languages and Systems, 2(2):173–190, 1980.
J. Patrick Cavanagh. Relation between the immediate memory span and the memory search rate. Psychological Review, 79(6):525–530, 1972.
CDC. 6600 Central Processor. Volume II Functional Units. Control Data Corporation, publication number 60239700 edition, 1966.
Marianne Celce-Murcia and Diane Larsen-Freeman. The Grammar Book: An ESL/EFL Teacher's Course. Heinle & Heinle, second edition, 1999.
Marianne Celce-Murcia, Donna M. Brinton, and Janet M. Goodwin. Teaching Pronunciation: A Reference for Teachers of English to Speakers of Other Languages. Cambridge University Press, 1996.
Susan M. Chambers and Kenneth I. Forster. Evidence for lexical access in a simultaneous matching task. Memory & Cognition, 3(5):549–559, 1975.
Satish Chandra and Thomas Reps. Physical type checking for C. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, volume 24.5 of Software Engineering Notes (SEN), pages 66–75, N. Y., September 6 1999. ACM Press.
Pohua P. Chang, Scott A. Mahlke, William Y. Chen, and Wen mei W. Hwu. Profile-guided automatic inline expansion for C programs. Software textendash Practice and Experience, 22(5):349–369, 1992.
Fay W. Chang. Using speculative execution to automatically hide I/O latency. PhD thesis, Carnegie Mellon University, December 2001.
William G. Chase and K. Anders Ericsson. Skill and working memory. In G. H. Bower, editor, The Psychology of Learning and Motivation, pages 1–58. Academic, 1982.
J. Bradley Chen and Bradley D. D. Leupen. Improving instruction locality with just-in-time code layout. In USENIX, editor, The USENIX Windows NT Workshop 1997, pages 25–32, Berkeley, CA, USA, August 1997. USENIX.
William Y. Chen, Pohue P. Chang, Wen mei W. Hwu, and Thomas M. Conte. The effect of code expansion optimizations on instruction cache design. Technical Report CRHC-91-17, University of Illinois, Urbana-Champaign, 1991.
J. Bradley Chen. The Impact of Software Structure and Policy on CPU and Memory System Performance. PhD thesis, Carnegie Mellon University, May 1994.
Gang Chen. Effective Instruction Scheduling With Limited Registers. PhD thesis, Harvard University, March 2001.
Patricia Cheng and Keith J. Holyoak. Pragmatic reasoning schemas. Cognitive Psychology, 17:391–416, 1985.
Patricia Cheng, Keith J. Holyoak, Richard E. Nisbett, and Lindsay M. Oliver. Pragmatic versus syntactic approaches to training deductive reasoning. Cognitive Psychology, 18:293–328, 1986.
Ben-Chung Cheng. Compile-Time Memory Disambiguation for C Programs. PhD thesis, University of Illinois at Urbana-Champaign, 2000.
Hintat Cheung and Susan Kemper. Competing complexity metrics and adults' production of complex sentences. Applied Psycholinguistics, 13:53–76, 1992.
R. J. Chevance and T. Heidet. Static profile and dynamic behavior of COBOL programs. SIGPLAN Notices, 13(4):44–57, April 1978.
Trishul M. Chilimbi. On the stability of temporal data reference profiles. In International Conference on Parallel Architectures and Compilation Techniques (PACT), pages 151–162, September 2001.
Ram Chillarege, Inderpal S. Bhandari, Jarir K. Chaar, Michael J. Halliday, Diane S. Moebus, Bonnie K. Ray, and Man-Yuen Wong. Orthogonal defect classification – A concept for in-process measurements. IEEE Transactions on Software Engineering, 18(11):943–956, November 1992.
Dmitri Chiriaev and G. William Walster. Interval arithmetic specification. Technical report, Marquette University, May 1998.
Helena-Fivi Chitiri and Dale M. Willows. Word recognition in two languages and orthographies: English and Greek. Memory & Cognition, 22(3):313–325, 1994.
Youngsoo Choi, Allan Knies, Luke Gerke, and Tin-Fook Ngai. The impact of if-conversion and branch prediction on program execution on the Intel Itanium processor. In Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture, pages 182–191. IEEE Computer Society, 2001.
Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. An empirical study of operating system errors. In Symposium on Operating Systems Principles, SOSP'01, pages 73–88, 2001.
Peter Christian. Soundex - can it be improved? Computers in Geneology, 6(5), December 1998.
Thomas W. Christopher. Icon Programming Language Handbook. Thomas W. Christopher, 1996.
Sunita Chulani, Barry Boehm, and Bert Steece. Calibrating software cost models using bayesian analysis. Technical Report USC-CSE-98-508, American Science Institute of Technology, 1998.
Z. J. Ciechanowicz and A. C. De Weever. The 'completeness' of the Pascal test suite. Software textendash Practice and Experience, 14(5):463–471, 1984.
Marcus Ciolkowski, Christiane Differding, Oliver Laitenberger, and Jurgen Munch. Empirical investigation of perspective-based reading: a replicated experiment. Technical Report Technical Report ISERN-97-13, Fraunhofer Institute for Experimental Software Engineering, University of Kaiserlautern: Kaiserlautern, 1997.
Daniel Citron and Dror G. Feitelson. Hardware memoization of mathematical and trigonometric functions. Technical Report 2000-5, Hebrew University of Jerusalem, March 2000.
Daniel Citron, Dror Feitelson, and Larry Rudolph. Accelerating multi-media processing by implementing memoing in multiplication and division units. In Proceedings of 8^th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-VIII), pages 252–261, 1998.
Daniel Citron. Instruction Memoization: Exploiting Previously Performed Calculations to Enhance Performance. PhD thesis, Hebrew University of Jerusalem, Israel, 2000.
Harbert H. Clark and William G. Chase. On the process of comparing sentences against pictures. Cognitive Psychology, 3:472–517, 1972.
Douglas W. Clark and C. Cordell Green. An empirical study of list structure in Lisp. Communications of the ACM, 20(2):78–87, February 1977.
James J. Clark and J. Kevin O'Regan. Word ambiguity and the optimal viewing position in reading. Vision Research, 39(4):843–857, 1998.
Herbert H. Clark and Deanna Wilkes-Gibbs. Referring as a collaborative process. Cognition, 22:1–39, 1986.
Herbert H. Clark. Linguistic processes in deductive reasoning. Psychological Review, 76(4):387–404, 1969.
R. Lawrence Clark. A linguistic contribution of GOTO-less programming. Datamation, 19(12):62–63, December 1973.
Herbert H. Clark. Understanding language. Cambridge University Press, 1996.
Aaron Clauset, Cosma Rohilla Shalizi, and M. E. J. Newman. Power-law distributions in empirical data. SIAM Review, ???(???):submitted, April 2009.
William D. Clinger. How to read floating point numbers accurately. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 92–101, June 1990.
Robert F. Cmelik, Shing I. Kong, David R. Ditzel, and Edmund J. Kelly. An analysis of MIPS and SPARC instruction set utilization on the SPEC benchmarks. In Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, pages 290–301, 1991.
William J. Cody Jr. Static and dynamic numerical characteristics of floating-point arithmetic. IEEE Transactions on Computers, C-22(6):598–601, June 1973.
Gillian Cohen and Dorothy Faulkner. Memory for proper names: Age differences in retrieval. British Journal of Psychology, 4:187–197, 1986.
Gillian Cohen. Why is it difficult to put names to faces? British Journal of Psychology, 81:287–297, 1990.
Robert Cohn and P. Geoffrey Lowney. Design and analysis of profile-based optimization in Compaq's compilation tools for alpha. Journal of Instruction-Level Parallelism, 3:1–25, 2000.
J. N. Coleman and E. I. Chester. A 32-bit logarithmic arithmetic unit and its performance compared to floating-point. In Proceedings of the 14^th Symposium on Computer Arithmetic, pages 142–151, 1999.
John Coleman and Janet Pierrehumbert. Stochastic phonological grammars and acceptability. In Computational phonology: Third meeting of the ACL special interest group in computational phonology, pages 49–56. Association for the Computational Linguistics, 1997.
J. N. Coleman, C. I. Softley, J. Kadlec, R. Matousek, Z. Pohl, and A. Hermáek. The european logarithmic microprocessor - a QR RLS application. Technical Report No. 2038, Institute of Information Theory and Automation, Czech Republic, December 2001.
Christian Collberg, Clark Thomborson, and Douglas Low. A taxonomy of obfuscating transformations. Technical Report Technical Report 148, Department of Computer Science, University of Auckland, 1997.
Allan M. Collins and M. Ross Quillian. Retrieval time from semantic memory. Journal of Verbal Learning and Verbal Behavior, 8:240–247, 1969.
Collins. Advanced Learner's English Dictionary. Collins scshape Cobuild, 2003.
Roberto Colom, Irene Rebollo, Antonio Palacios, Manuel Juan-Espinosa, and Patrick C. Kyllonen. Working memory is (almost) perfectly predicted by g. Intelligence, 32:277–296, 2004.
Max Coltheart, Kathleen Rastle, Conrad Perry, Robyn Langdon, and Johannes Ziegler. DRC: A dual route cascaded model of visual word recognition and reading aloud. Psychological Review, 108(1):204–256, 2001.
Veronika Coltheart. Effects of phonological similarity and concurrent irrelevant articulation on short-term-memory recall of repeated and novel word lists. Memory & Cognition, 21(4):539–545, 1993.
Alex Colvin. VIC^* running out-of-core instead of running out of core. PhD thesis, Dartmouth College, June 1999.
Apple Computer. MrC/MrCpp C/C++ Compiler for Power Macintosh. Apple Computer, Inc, 1.0 edition, 1995.
Bernard Comrie. Conditionals: A typology. In Elizabeth C. Traugott, Alice T. Meulen, Judy S. Reilly, and Charles A. Furguson, editors, On Conditionals, chapter 4, pages 77–97. Cambridge University Press, 1986.
Bernard Comrie. Language Universals and Linguistic Typology. Blackwell, second edition, 1989.
G. Kevin Connolly. Legibility and readability of small print: Effects of font, observer age and spatial vision. Thesis (m.s.), University of Calgary, Alberta, Canada, February 1998.
Daniel A. Connors, Yoji Yamada, and Web mei W. Hwu. A software-oriented floating-point format for automotive control systems. In Workshop on Compiler and Architecture Support for Embedded Computing Systems (CASES'98), 1998.
R. Conrad. Acoustic confusions in immediate memory. British Journal of Psychology, 55(1):75–84, 1964.
R. Conrad. Order error in immediate recall of sequences. Journal of Verbal Learning and Verbal Behavior, 4:161–169, 1965.
Software Productivity Consortium. Ada 95 quality and style guide: Guidelines for professional programmers. Technical Report SPC-94093-CMC Version 01.00.10, Software Productivity Consortium, October 1995.
Damian Conway. Perl Best Practices. O'Reilly, 2005.
V. J. Cook. L2 users and English spelling. Journal of Multilingual and Multicultural Development, 18(6):474–488, 1997.
Vivian J. Cook. Inside Language. Arnold, 1997.
Vivian Cook. Second Language Learning and Language Teaching. Arnold, third edition, 2001.
Keith D. Cooper and Nathaniel McIntosh. Enhanced code compression for embedded RISC processors. In SIGPLAN Conference on Programming Language Design and Implementation, pages 139–149, 1999.
Keith D. Cooper and Li Xu. An efficient static analysis algorithm to detect redundant memory operations. In Workshop on Memory Systems Performance (MSP '02), pages 97–107. ACM Press, June 2002.
Keith D. Cooper, Mary W. Hall, and Linda Torczon. Unexpected side effects of inline substitution: A case study. ACM Letters on Programming Languages and Systems, 1(1):22–32, March 1992.
Keith D. Cooper, L. Taylor Simpson, and Christopher A. Vick. Operator strength reduction. ACM Transactions on Programming Languages and Systems, 23(5):603–625, September 2001.
James O. Coplien. Advanced C++ Programming Styles and Idioms. Addison textendash Wesley, 1991.
René Coppieters. Competence differences between native and near-native speakers. Language, 63(3):544–573, 1987.
Greville G. Corbett and Ian R. L. Davies. Establishing basic color terms: measures and techniques. In C. L. Hardin and Luisa Maffi, editors, Color categories in thought and language, chapter 9, pages 197–223. Cambridge University Press, 1997.
Robert Paul Corbett. Static Semantics and Compiler Error Recovery. PhD thesis, University of California, Berkeley, June 1985. Report No. UCB/CSD 85/251.
D. W. J. Corcoran. Acoustic factor in proof reading. Nature, 214:851–852, May 1967.
Digital Equipment Corporation. VAX11 780 Architecture Handbook. Digital Equipment Corporation, 1977.
Leda Cosmides and John Tooby. Evolutionary psychology: A primer. Technical report, Center for Evolutionary Psychology, University of California, Santa Barbara, 1998.
Leda Cosmides. The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task. Cognition, 31:187–276, 1989.
Fintan Costello and Mark T. Keane. Polysemy in conceptual combination: Testing the constraint theory of combination. In P Langley M. G. Shafto, editor, Nineteenth Annual Conference of the Cognitive Science Society, pages 137–142. Erlbaum, April 1997.
Fintan J. Costello and Mark T. Keane. Testing two theories of conceptual combination: Alignment versus diagnosticity in the comprehension and production of combined concepts. Journal of Experimental Psychology: Learning, Memory, and Cognition, 27(1):255–271, 2001.
Fintan J. Costello. Efficient creativity: Constraint-guided conceptual combination. Cognitive Science, 24(2):299–349, 2000.
Fintan J. Costello. Testing a computational model of categorisation and category combination: Identifying disease categories and new disease combinations. In Johanna D. Moore and Keith Stenning, editors, Proceedings of the Twenty-Third Annual Conference of the Cognitive Science Society. Lawrence Erlbaum Associates, August 2001.
J. Daniel Couger and Mel A. Colter. Maintenance Programming: Improving Productivity Through Motivation. Prentice-Hall, Inc, 1985.
Neal S. Coulter and Norman H. Kelly. Computer instruction set usage by programmers: An empirical investigation. Communications of the ACM, 29(7):643–647, July 1986.
Michael A. Covington. Some coding guidelines for Prolog. www.ai.uga.edu/mc, 2001.
Crispin Cowan, Calton Pu, Dave Maier, Heather Hinton, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, and Qian Zhang. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proceedings of the 7^th USENIX Security Conference, pages 63–78, January 1998.
Nelson Cowan. Attention and Memory: An Integrated Framework. Oxford University Press, 1997.
Nelson Cowan. The magical number 4 in short-term memory: A reconsideration of mental storage capacity. Behavioral and Brain Sciences, 24(1):87–185, 2001.
Michael F. Cowlishaw. Decimal floating-point: Algorism for computers. In 16^th IEEE Symposium on Computer Arithmetic (ARITH-16'03), pages 104–111, June 2003.
Mike Cowlishaw. General decimal arithmetic specification. Technical Report Version 1.30, IBM UK Laboratories, June 2003.
Cray. Cray-1 Computer Systems: Cray-1 S Series Hardware Reference Manual. Cray Research, Inc, November 1981.
E. R. F. W. Crossman. A theory of the acquisition of speed-skill. Ergonomics, 2:153–166, 1959.
Alan Cruttenden. Gimson's Pronunciation of English. Arnold, sixth edition, 2001.
Mihaly Csikszenthmihalyi. Flow: The Psychology of Optimal Experience. Harper Perennial, 1990.
Anne Cutler and David M. Carter. The predominance of strong initial syllables in the English vocabulary. Computer Speech and Language, 2:133–142, 1987.
Anne Cutler. The reliability of speech error data. In Anne Cutler, editor, Slips of the tongue and language production, chapter Guest editorial, pages 7–28. Mouton, 1982.
Annie Cuyt and Brigitte Verdonk. A remarkable example of catastrophic cancellation unraveled. Computing, 66(3):309–320, 2001.
Annie Cuyt, Peter Kuterna, Brigitte Verdonk, and Dennis Verschaeren. Underflow revisited. Calcolo, 39(3):169–179, 2002.
Krzysztof Cwalina and Brad Abrams. Framework Design Guidelines: Conventions, Idioms, and Patterns for Reusable .NET Libraries. Addison textendash Wesley, 2006.
Walter Daelemans and Antal van den Bosch. Language-independent data-oriented grapheme-to-phoneme conversion. In Jan P. H. van Santen, Richard W. Sproat, Joseph P. Olive, and Julia Hirschberg, editors, Progress in Speech Synthesis, pages 77–89. Springer, New York, 1997.
Béatrice Daille, Benoît Habert, Christian Jacquemin, and Jean Royauté. Empirical observation of term variations and principles for their description. Terminology, 3(2):197–258, May 1996.
Robert Dale and Ehud Reiter. Computational interpretations of the Gricean maxims in the generating referring expression. Cognitive Science, 19(2):233–263, 1995.
Richard Dallaway. Dynamics of arithmetic connectionist view of arithmetic skills. Technical Report CSRP 306, University of Sussex, 1994.
Fred J. Damerau and Eric Mays. An examination of undetected typing errors. Information Processing & Management, 25(6):659–664, 1989.
R. I. Damper, Y. Marchand, M. J. Adamson, and K. Gustafson. Evaluating the pronunciation component of text-to-speech systems for English: A performance comparison of different approaches. Computer Speech and Language, 13(2):155–176, 1999.
Meredyth Daneman and Patricia A. Carpenter. Individual differences in working memory and reading. Journal of Verbal Learning and Verbal Behavior, 19:450–466, 1980.
Meredyth Daneman and Patricia A. Carpenter. Individual differences in integrating information between and within sentences. Journal of Experimental Psychology: Learning, Memory, and Cognition, 9(4):561–584, 1983.
Meredyth Daneman and Murray Stainton. Phonological recoding in silent reading. Journal of Experimental Psychology: Learning, Memory, and Cognition, 17(4):618–632, 1991.
Joseph D. Darcy and David Gay. FLECKmarks measuring floating point performance using a FulL IEEE Compliant arithmetic BenchmarK. Technical report, U.C. Berkeley, August 1996.
John Darley and C. Daniel Batson. From Jerusalem to Jericho: A study of situational and dispositional variables in helping behavior. Journal of Personality and Social Psychology, 27(1):100–108, 1973.
Manuvir Das. Unification-based pointer analysis with directional assignments. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation (PLDI-00), volume 35.5 of ACM SIGPLAN Notices, pages 35–46, N.Y., June 18–21 2000. ACM Press.
Data General Corporation. Programmer's Reference Manual: Nova Line Computers. Data General Corporation, 2 edition, September 1975.
Ronald Dattero and Stuart D. Galup. Programming languages and gender. Communications of the ACM, 47(1):99–102, January 2004.
Marc Daumas and David Lester. Stochastic formal methods: An application to accuracy of numeric software. In Proceedings of the 40^th Hawaii International Conference on System Sciences, page 262, 2007.
Thomas H. Davenport and John C. Beck. The Attention Economy. Harvard Business School Press, 2001.
Jack W. Davidson and Anne M. Holler. A study of a C function inliner. Software textendash Practice and Experience, 18(8):775–790, 1988.
Jack W. Davidson and Anne M. Holler. Subprogram inlining: A study of its effects on program execution time. IEEE Transactions on Software Engineering, 18(2):89–102, 1992.
Jack W. Davidson and Sanjay Jinturkar. An aggressive approach to loop unrolling. Technical Report CS-95-26, University of Virginia, June 1995.
Jack W. Davidson and David B. Whalley. Quick compilers using peephole optimization. Software textendash Practice and Experience, 19(1):79–97, 1989.
Jack W. Davidson and David B. Whalley. Methods for saving and restoring register values across function calls. Software textendash Practice and Experience, 21(2):459–472, February 1991.
Jack W. Davidson, John R. Rabung, and David B. Whalley. Relating static and dynamic machine code measurements. Technical Report CS-89-03, Department of Computer Science, University of Virginia, July 13 1989.
Colin J. Davies and Jeffrey S. Bowers. Contrasting five different theories of letter position coding: Evidence from orthographic similarity effects. Journal of Experimental Psychology: Human Perception and Performance, 32(3):535–557, 2006.
Mark Davis. Text boundaries. Technical Report 29, The Unicode Consortium, March 2005.
Joseph W. Davison, Dennis M. Mand, and William F. Opdyke. Understanding and addressing the essential costs of evolving systems. Bell Labs Technical Journal, 5(2):44–54, April-June 2000.
Guido Costa Souza de Araújo. Code Generation Algorithms for Digital Signal Processors. PhD thesis, Princeton University, 1997.
Rudi W. De Lange, Hendry L. Esterhuizen, and Derek Beatty. Performance differences between times and helvetica in a reading task. Electronic Publishing, 6(3):241–248, September 1993.
Richard A. De Millo, Ruchard J. Lipton, and Alan J. Perlis. Social processes and proofs of theorems and programs. Communications of the ACM, 22(5):271–280, May 1979.
Clinton B. De Soto, Marvin London, and Stephen Handel. Social reasoning and spatial paralogic. Journal of Personality and Social Psychology, 2(4):513–521, 1965.
Terrence W. Deacon. The Symbolic Species: The Co-evolution of Language and the Brain. W. W. Norton, 1997.
Ian J. Deary and Con Stough. Intelligence and inspection time. American Psychologist, 51(6):599–608, 1996.
Asaf Degani and Earl L. Wiener. On the design of flight-deck procedures. Technical Report 177642, NASA Ames Research Center, June 1994.
Pierpaolo Degano and Corrado Priami. Comparison of syntactic error handling in LR parsers. Software textendash Practice and Experience, 25(6):657–679, 1995.
Stanislas Dehaene and Rokny Akhavein. Attention, automaticity, and levels of representation in number processing. Journal of Experimental Psychology: Learning, Memory, and Cognition, 21(2):314–326, 1995.
Stanislas Dehaene, Emmanuel Dupoux, and Jacques Mehler. Is numerical comparison digits? Analogical and symbolic effects in two-digit number comparisons. Journal of Experimental Psychology: Human Perception and Performance, 16(3):626–641, 1990.
Stanislas Dehaene. The Number Sense. Penguin, 1997.
Lionel E. Deimel and J. Fernando Naveda. Reading computer programs: Instructor's guide and exercises. Technical Report CMU/SEI-90-EM-3 ADA228026, Software Engineering Institute (Carnegie Mellon University), 1990.
Brian Lee Deitrich. Static Program Analysis to Enhance Profile Independence in Instruction-Level Parallelism Compilation. PhD thesis, University of Illinois at Urbana-Champaign, 1998.
M. Delazer and Th. Benke. Arithmetic facts without meaning. Cortex, 33:697–710, 1997.
James Demmel and Yozo Hilda. Accurate floating-point summation. Technical Report UCB//CSD-02-1180, University of California, Berkeley, May 2002.
Bart Demoen and Greet Maris. A comparison of some schemes for translating logic to C. In ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, pages 79–91, 1994.
Peter Desberg, Dale E. Elliott, and George Marsh. American black English spelling. In Uta Frith, editor, Cognitive Processes in Spelling, chapter 4, pages 69–82. Academic Press, 1980.
Neeraj Deshmukh. Maximum likelihood estimation of multiple pronunciations for proper names. PhD thesis, Mississippi State University, June 1999.
Prasad Deshpande and Amit Somani. A study and analysis of function inlining. www.cs.wisc.edu/~pmd/pmd.html, 199?
David Detlefs, Al Dosser, and Benjamin Zorn. Memory allocation costs in large C and C++ programs. Technical Report CU-CS-665-93, University of Colorado at Boulder, August 1993.
Advanced Micro Devices. 3DNow! Technology Manual. Advanced Micro Devices, Inc, 2000.
Dinakar Dhurjati and Vikram Adve. Backwards-compatible array bounds checking for C with very low overhead. In Proceeding of the 28th International Conference on Software Engineering, pages 162–171, 2006.
Beniamino Di Martino. Specification and automatic recognition of algorithmic concepts within programs. Technical Report Technical Report 97-14, University of Vienna, November 1997.
Diab Data. D-CC & D-C++ Compiler Suites User's Guide. Diab Data, Inc, www.ddi.com, 4.3 edition, June 1999.
Louis S. Dickstein. The effect of figure on syllogistic reasoning. Memory & Cognition, 6(1):76–83, 1978.
H. G. Dietz and T. I. Mattox. Compiler optimizations using data compression to decrease address reference entropy. In LCPC '02: 15^th Workshop on Languages and Compilers for Parallel Computing, pages 126–141, July 2002.
Digitalmars. Digitalmars C compiler. www.digitalmars.com, 2003.
Edsger W. Dijkstra. Go to statement considered harmful. Communications of the ACM, 11(3):147–148, 1968.
Andrew Dillon. Reading from paper versus screens: a critical review of the empirical literature. Ergonomics, 35(10):1297–1326, 1992.
Chrysanne DiMarco, Graeme Hirst, and Manfred Stede. The semantic and stylistic differentiation of synonyms and near-synonyms. In AAAI Spring Symposium on Building Lexicons for Machine Translation, pages 114–121, March 1993.
David K. Dirlam. Most efficient chunk sizes. Cognitive Psychology, 3:355–359, 1972.
René Dirven. Dividing up physical and mental space into conceptual categories by means of English prepositions. In C. Zelinksy-Wibbelt, editor, Natural Language processing (vol. 3, The Semantics of Prepositions), pages 73–97. Mouton de Gruyter, 1993.
David R. Ditzel and Alan D. Berenbaum. Design tradeoffs to support the C programming language in the CRISP microprocessor. In Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems-ASPLOSII, pages 158–163. IEEE Computer Society Press, October 1987.
David R. Ditzel and H. R. McLellan. Register allocation for free: The C machine stack cache. In Proceedings of the First International Symposium on Architectural support for Programming Languages and Operating Systems, pages 48–56, 1982.
Michel Divay and Tony Vitale. Algorithms for grapheme-phoneme translation for English and French: Applications for database searches and speech synthesis. Computational Linguistics, 23(4):496–523, 1997.
Kaivalya M. Dixit. Overview of the SPEC benchmarks. In Jim Gray, editor, The Benchmark Handbook, chapter 9, pages 489–521. Morgan Kaufmann Publishers, 1993.
D. James Dooling and Robert E. Christiaansen. Episodic and semantic aspects of memory for prose. Journal of Experimental Psychology: Human Learning and Memory, 3(4):428–436, 1977.
Sergey N. Dorogovtsev, José Fernando F. Mendes, and Joao Gama Oliveira. Frequency of occurrence of numbers in the World Wide Web. Physica A, 360(2):548–556, 2006.
Pamela Downing. On the creation and use of English compound nouns. Language, 53(4):810–842, 1977.
Ulrich Drepper. What every programmer should know about memory. Red Hat, Inc, November 2007.
Adam Drewnowski and Alice F. Healy. Phonetic factors in letter detection: A reevaluation. Memory & Cognition, 10(2):145–154, 1982.
Stéphane Ducasse, Matthias Rieger, and Serge Demeyer. A language independent approach for detecting duplicate code. In Hongji Yang and Lee White, editors, Proceedings International Conference on Software Maintenance ICSM'99, pages 109–119. IEEE Computer Society Press, September 1999.
Tom Duff. Unwinding loops. Newsgroup: netlang.c, 1984-05-07 07:19:21 PST.
Arnaud Dupuy and Nancy Leveson. An empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software. In Proceedings of the Digital Aviation Systems Conference (DASC), pages 1B6/1–1B6/7, October 2000.
Tore Dybå, Vigdis By Kampenes, and Dag I. K. Sjøberg. A systematic review of statistical power in software engineering experiments. Information and Software Technology, 48(8):745–755, 2006.
Hermann Ebbinghaus. Memory: A contribution to experimental psychology. Dover Publications, 1987.
Erik Eckstein and Andreas Krall. Minimizing cost of local variables access for DSP-processors. In Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES 99), volume 34.7 of ACM SIGPLAN Notices, pages 20–27. ACM Press, May 5 1999.
Betty Edelman, Hervé Abdi, and Dominique Valentin. Multiplication number facts: Modeling human performance with connectionist networks. Psychologica Belgica, 36(1/2):31–63, April 1996.
Philip Edmonds. Semantic Representation of Near-Synonyms for Automatic Lexical Choice. PhD thesis, University of Toronto, 1999.
Lieven Eeckhout, Hans Vandierendonck, and Koen De Bosschere. How input data sets change program behaviour. In Fifth Workshop on Computer Architecture Evaluation using Commercial Workloads (CAECW'02), February 2002.
S. L. Ehrenreich and Theodora Porcu. Abbreviations for automated systems: Teaching operators the rules. In Albert Badre and Ben Shneiderman, editors, Directions in Human/Computer Interaction, chapter 6, pages 111–135. Ablex Publishing Corp., 1982.
Kate Ehrlich and P. N. Johnson-Laird. Spatial descriptions and referential continuity. Journal of Verbal Learning and Verbal Behavior, 21:296–306, 1982.
William H. Eichelman. Familiarity effects in the simultaneous matching task. Journal of Experimental Psychology, 86(2):275–282, 1970.
Stephen G. Eick, Todd Graves, Alan F. Karr, J. S. Marron, and Audris Mockus. Does code decay? Assessing the evidence from change management data. IEEE Transactions on Software Engineering, 27(1):1–12, 2001.
Eric Eide and John Regehr. Volatiles are miscompiled, and what to do about it. In Proceedings of the 8^th ACM International Conference on Embedded Software (EMSOFT), pages 255–264, October 2008.
H. J. Einhorn. Accepting error to make less error. Journal of Personality Assessment, 50:387–395, 1986.
N. C. Ellis and R. A. Hennelly. A bilingual word-length effect: Implications for intelligence testing and the relative ease of mental calculation in Welsh and English. British Journal of Psychology, 71:43–51, 1980.
Rob Ellis and Glyn Humphreys. Connectionist Psychology. Psychology Press, 1999.
Jeremy Ellman. Using Roget's Thesaurus to Determine Similarity of Texts. PhD thesis, University of Sunderland, June 2000.
James L. Elshoff. A numerical profile of commercial PL/I programs. Software textendash Practice and Experience, 6:505–525, 1976.
Khaled El Emam and Isabella Wieczorek. The repeatability of code defect classifications. Technical Report Technical Report ISERN-98-09, Fraunhofer Institute for Experimental Software Engineering, 1998.
Jakob Engblom. Static properties of commercial embedded real-time and embedded systems. Technical Report ASTEC Technical Report 98/05, Uppsala University, Sweden, November 1998.
Jakob Engblom. Why SpecInt95 should not be used to benchmark embedded systems tools. ACM SIGPLAN Notices, 34(7):96–103, July 1999.
Jakob Engblom. Processor Pipelines and Static Worst-Case Execution Time Analysis. PhD thesis, Uppsala University, April 2002.
Karl Entacher. On the CRAY-system random number generator. Simulation, 72(3):163–169, 1999.
Julie Epelboim, James R. Booth, Rebecca Ashkenazy, Arash Taleghani, and Robert M. Steinmans. Fillers and spaces in text: The importance of word recognition during reading. Vision Research, 37(20):2899–2914, 1997.
K. Anders Ericsson and Neil Charness. Expert performance. American Psychologist, 49(8):725–747, 1994.
K. A. Ericsson and A. C. Lehmann. Expert and exceptional performance: Evidence of maximal adaption to task constraints. Annual Review of Psychology, 47:273–305, 1996.
K. A. Ericsson, R. Th. Krampe, and C. Tesch-Romer. The role of deliberate practice in the acquisition of expert performance. Psychological Review, 100:363–406, 1993. also University of Colorado, Technical Report #91-06.
Michael D. Ernst, Greg J. Badros, and David Notkin. An empirical analysis of C preprocessor use. IEEE Transactions on Software Engineering, 28(12):1146–1170, 2002.
Ana Maria Erosa. A goto-elimination method and its implementation for the McCat C compiler. Thesis (m.s.), McGill University, Montreal, Canada, May 1995.
W. K. Estes. Classification and Cognition. Oxford University Press, 1994.
Letha H. Etzkorn, Lisa L. Bowen, and Carl G. Davis. An approach to program understanding by natural language understanding. Natural Language Engineering, 5(1):1–18, 1999.
David Evans and David Larochelle. Splint Manual. University of Virginia, 3.0.6 edition, February 2002.
D. L. Evans and L. M. Leemis. Algorithms for computing the distributions of sums of discrete random variables. Mathematical and Computer Modeling, 40(13):1429–1452, 2004.
J. St. B. T. Evans and S. E. Newstead. A study of disjunctive reasoning. Psychological Research, 41(4):373–388, April 1980.
J. St. B. T. Evans, Julie L. Barston, and Paul Pollard. On the conflict between logic and belief in syllogistic reasoning. Memory & Cognition, 11(3):295–306, 1983.
Jonathan St. B. T. Evans. Deciding before you think: Relevance and reasoning in the selection task. British Journal of Psychology, 87:223–240, 1996.
Kweku Ewusi-Mensah and Zbigniew H. Przasnyski. On information systems project abandonment: An exploratory study of organizational practices. MIS Quarterly, 15(1):67–86, March 1991.
Michael W. Eysenck and Mark T. Keane. Cognitive Psychology: A Student's Handbook. Psychology Press, fourth edition, 2000.
Clark Fagot. Chronometric investigations of task switching. PhD thesis, University of California, San Diego, 1994.
Ruma Falk and Clifford Konold. Making sense of randomness: Implicit encoding as a basis for judgment. Psychological Review, 104(2):301–318, 1997.
Martin Farach and Vincenzo Liberatore. On local register allocation. Technical Report DIMACS Technical Report 97-33, Rutgers University, July 1997.
Simon Farrell and Stephan Lewandowsky. Dissimilar items benefit from phonological similarity in serial recall: The dissimilar immunity effect reviseted. Journal of Experimental Psychology: Learning, Memory, and Cognition, 29(5):838–849, 2003.
Daniel Fasulo. An analysis of recent work on clustering algorithms. Technical Report Technical Reptort 01-03-02, Dept. of Computer Science and Engineering, University of Washington, 1999.
Richard J. Fateman. Software fault prevention by language choice: Why C is not my favorite language. University of California at Berkeley, 1999.
John M. Favaro. Value based software reuse investment. Annals of Software Engineering, 5:5–52, 1998.
David Fay and Anne Cutler. Malapropisms and the structure of the mental lexicon. Linguistic Inquiry, 8(3):505–520, 1977.
The fdlibm library, 2003. www.netlib.org/fdlibm/.
Jacob Feldman. Minimization of boolean complexity in human concept learning. Nature, 407:630–633, October 2000.
Alan Feldstein and Peter Turner. Overflow, underflow, and severe loss of significance in floating-point addition and subtraction. IMA Journal of Numerical Analysis, 6:241–251, 1986.
C. Fellbaum. WordNet: An Electronic Lexical Database. MIT Press, 1998.
Norman E. Fenton and Martin Neil. A critique of software defect prediction models. IEEE Transactions on Software Engineering, 25(3):675–689, 1999.
Norman E. Fenton and Martin Neil. Software metrics: Roadmap. In Anthony Finkelstein, editor, The Future of Software Engineering, pages 357–370. ACM Press, 2000.
Norman E. Fenton and Niclas Ohlsson. Quantitative analysis of faults and failures in a complex software system. IEEE Transactions on Software Engineering, 26(8):797–813, 2000.
Norman E. Fenton and Shari Lawrence Pfleeger. Software Metrics. PWS Publishing Company, second edition, 1997.
Steven Feuerstein. Oracle PL/SQL Best Practices. O'Reilly, 2001.
Klaus Fiedler. The dependence of the conjunction fallacy on subtle linguistic factors. Psychological Research, 50:123–129, 1988.
Samuel A. Figueroa del Cid. A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages. PhD thesis, New York University, January 2000.
Charles J. Fillmore. Topics in lexical semantics. In Roger W. Cole, editor, Current Issues in Linguistic Theory, pages 76–138. Indiana University Press, 1977.
Kate Finney and Norman Fenton. Evaluating the effectiveness of Z: the claims made about CICS and where do we go from here. Technical Report DeVa TR No. 05, City University, London, 1996.
David Firth. Bradley-terry models in R. Journal of Statistical Software, 12(1):1–12, January 2005.
Eric Fischer. The evolution of character codes, 1874-1968. November 2002.
Donald L. Fisher. Central capacity limits in consistent mapping, visual search tasks: Four channels or more? Cognitive Psychology, 16:449–484, 1984.
John E. Fisk and Charles Sharp. Syllogistic reasoning and cognitive ageing. The Quarterly Journal of Experimental Psychology, 55A(4):1273–1293, 2002.
Gavan J. Fitzsimons and Baba Shiv. Non-conscious and contaminative effects of hypothetical questions on subsequent decision making. Journal of Consumer Research, 28:224–238, September 2001.
R. K. Fjelstad and W. T. Hamlen. Applications program maintenance study: Report to our respondents. In G. Parikh and N. Zvegintzov, editors, Tutorial on Software Maintenance. IEEE Computer Society Press, 1979.
Arthur David Flatau. A Pascal to Lisp translator for the Symbolics 3600 Lisp machine. Thesis (m.s.), University of Texas at Austin, Austin, TX, 1985.
John H. Flowers and Doris J. Lohr. How does familiarity affect visual search for letter strings? Perception and Psychophysics, 37:557–567, 1985.
Beat Fluri, Michael Würsch, and Harald C. Gall. Do code and comments co-evolve? On the relation between source code and comment changes. In Proceedings of the 14^th Working Conference on Reverse Engineering (WCRE '07), pages 70–79, October 2007.
Jocelyn R. Folk. Phonological codes are used to access the lexicon during silent reading. Journal of Experimental Psychology: Learning, Memory, and Cognition, 25(4):892–906, 1999.
Brian Foote and Joseph Yoder. Big ball of mud. In Fourth Conference on Pattern Languages of Programs (PLoP) 1997, 1997.
Cecilia E. Ford and Sandra A. Thompson. Conditionals in discourse: A text-based study from English. In Elizabeth C. Traugott, Alice T. Meulen, Judy S. Reilly, and Charles A. Furguson, editors, On Conditionals, chapter 18, pages 353–372. Cambridge University Press, 1986.
Jeffrey S. Foster and et al. scshape Cqual User's Guide. University of California, Berkeley, version 0.9 edition, January 2002.
Jeffrey S. Foster, Manuel Fahndrich, and Alexander Aiken. A theory of type qualifiers. In Proceedings of the ACM SIGPLAN'99 Conference on Programming Language Design and Implementation, pages 192–203, 1999.
Jeffrey S. Foster, Robert Johnson, John Kodumal, and Alex Aiken. Flow-insensitive type qualifiers. ACM Transactions on Programming Languages and Systems (TOPLAS), 28(6):1035–1087, November 2006.
Kenneth J. Fowler. A study of implementation-dependent pragmas and attributes in Ada. Technical Report CMU-SEI-89-SR-19, Software Engineering Institute, Carnegie Mellon University, November 1989.
William B. Frakes, Christopher J. Fox, and Brian A. Nejmeh. Software Engineering in the Unix/C Environment. Prentice Hall, Inc, 1991.
Björn Franke and Michael O'Boyle. Compiler transformation of pointers to explicit array accesses in DSP applications. In Reinhard Wilhelm, editor, Compiler Construction, 10^th International Conference, pages 69–85. Springer-Verlag, April 2001.
Manoj Franklin and Gurindar S. Sohi. Register traffic analysis for streamlining inter-operation communication in fine-grain parallel processors. In Proceedings of the 25^th Annual International Symposium on Microarchitecture (MICRO-25), pages 236–245, 1992.
Mike Frantzen and Mike Shuey. StackGhost: Hardware facilitated stack protection. In 10^th USENIX Security Symposium, pages 55–66, August 2001.
Michael Franz and Thomas Kistler. Splitting data objects to increase cache utilization. Technical Report Technical Report No. 98-34, Department of Information and Computer Science, University of California, Irvine, 1998.
Marc Frappier, Stan Matwin, and Ali Mili. Software metrics for predicting maintainability. Technical Report Technical Memorandum 2, Canadian Space Agency, January 1994.
Lawrence T. Frase. Associative factors in syllogistic reasoning. Journal of Experimental Psychology, 76(3):407–412, 1968.
Christopher W. Fraser and David R. Hanson. A retargetable compiler for ANSI C. SIGPLAN Notices, 26(10):29–43, October 1991.
Chris W. Fraser and David R. Hanson. A Retargetable C Compiler: Design and Implementation. Benjamin/Cummings Pub. Co., Redwood City, CA, USA, 1995.
U. H. Frauenfelder, R. H. Baayen, F. M. Hellwig, and R. Schreuder. Neighborhood density and frequency across languages and modalities. Journal of Memory and Language, 32:781–804, 1993.
Shane Frederick, George Loewenstein, and Ted O'Donoghue. Time discounting: A critical review. Journal of Economic Literature, 40(2):351–401, 2002.
Michael Fredericks. Using defect tracking and analysis to improve software quality. Thesis (m.s.), Department of Computer Science, University of Maryland, 1999.
Daniel P. Freedman and Gerald M. Weinberg. Handbook of Walkthroughs, Inspections, and Technical Reviews. Dorset House Publishing, 1990.
Christian Freksa. Temporal reasoning based on semi-intervals. Artificial Intelligence, 54(1):199–227, 1992.
Stefan A. Frisch, Nathan R. Large, and David B. Pisoni. Perception of wordlikeness: Effects of segment probability and length of the processing of nonwords. Journal of Memory and Language, 42:481–496, 2000.
Stefan Frisch. Similarity and frequency in phonology. PhD thesis, Northwestern University, December 1996.
Ram Frost, Leonard Katz, and Shlomo Bentin. Strategies for visual word recognition and orthographical depth: A multilingual comparison. Journal of Experimental Psychology: Human Perception and Performance, 13(1):104–115, 1987.
Ram Frost. Phonological computations and missing vowels: Mapping lexical involvement in reading. Journal of Experimental Psychology: Learning, Memory, and Cognition, 21(2):398–408, 1995.
Wai-Tat Fu and Wayne D. Gray. Memory versus perceptual-motor tradeoffs in a blocks world task. In Proceedings of the Twenty-second Annual Conference of the Cognitive Science Society, pages 154–159, Hillsdale, NJ, 2000. Erlbaum.
Eric Fudge. English Word-Stress. George Allen & Unwin, 1984.
Michael Fuller and Justin Zobel. Conflation-based comparison of stemming algorithms. In Proceedings of the Third Australian Document Computing Symposium, pages 8–13, August 1998.
Borivoje Furht. A RISC architecture with two-size, overlapping register windows. IEEE Micro, 8(2):67–80, March 1988.
G. W. Furnas, T. K. Landauer, L. M. Gomez, and S. T. Dumais. Statistical semantics: Analysis of the potential performance of key-word information systems. The Bell System Technical Journal, 62(6):1753–1805, 1983.
G. W. Furnas, T. K. Landauer, L. M. Gomez, and S. T. Dumais. The vocabulary problem in human-system communication: an analysis and a solution. Communications of the ACM, 30(11):964–971, 1987.
Teiji Furugori. Improving spelling checkers for Japanese users of English. IEEE Transactions on Professional Communication, 33(3):138–142, September 1990.
Xavier Gabaix. Zipf's law for cities: An explanation. The Quarterly Journal of Economics, 114(4):739–767, August 1999.
Freddy Gabbay and Avi Mendelson. Can program profiling support value prediction? In Proceedings of the 30^th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'97), pages 270–280. IEEE, December 1997.
Freddy Gabbay. Speculative execution based on value prediction. Technical Report EE Department technical Report #1080, Technion - Israel Institute of Technology, November 1996.
Altaf Abdul Gaffar, Wayne Luk, Peter Y. K. Cheung, Nabeel Shirazi, and James Hwang. Automating customisation of floating-point designs. In M. Glesner, P. Zipf, and M. Renovell, editors, Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream, pages 523–533. Springer-Verlag, April 2002.
Harald Gall, Mehdi Jazayeri, René R. Klösch, and Georg Trausmuth. Software evolution observations based on product release history. In Proceedings of the International Conference on Software Maintenance (ICSM'97, pages 160–166, 1997.
Ravi Ganesan and Alan T. Sherman. Statistical techniques for language recognition: An introduction and guide for cryptanalysts. Cryptologia, XVII(4):321–366, October 1993.
Michael K. Gardner, E. Z. Rothkopf, Richard Lapan, and Toby Laferty. The word frequency effect in lexical decision: Finding a frequency-based component. Memory & Cognition, 15(1):24–28, 1987.
Howard Gardner. Intelligence Reframed. Basic Books, 1999.
Simon Garrod and Gwyneth Doherty. Conversation, co-ordination and convention: an empirical investigation of how groups establish linguistic conventions. Cognition, 53:181–215, 1994.
Susan E. Gathercole, Susan J. Pickering, Camilla Knight, and Zoe Stegmann. Working memory skills and education attainment: Evidence form national curriculum assessments at 7 and 14 years of age. Applied Cognitive Psychology, 18(1):1–16, 2004.
David M. Gay. Correctly rounded binary-decimal and decimal-binary conversions. Numerical Analysis Manuscript 90-10, AT&T Bell Laboratories, Murray Hill, NJ, USA, November 1990.
Narain Gehani and William D. Roome. The Concurrent C Programming Language. Silicon Press, 1989.
N. H. Gehani. Exceptional C or C with exceptions. Software textendash Practice and Experience, 22(10):827–848, 1992.
Edward M. Gellenbeck and Curtis R. Cook. Does signaling help professional programmers read and understand computer programs? In Empirical Studies of Programmers: Fourth Workshop, Papers, pages 82–98, 1991.
Wolfgang Gellerich, Markus Kosiol, and Erhard Ploedereder. Where does GOTO go to? In Reliable Software Technology textemdash Ada-Europe 1996, volume 1088 of LNCS, pages 385–395. Springer, 1996.
Susan A. Gelman and Ellen M. Markman. Categories and induction in young children. Cognition, 23:183–209, 1986.
Donald R. Gentner, Serge Larochelle, and Jonathan Grudin. Lexical, sublexical, and peripheral effects in skilled typewriting. Cognitive Psychology, 20:524–548, 1988.
Martin J. Gervais, Lewis O. Harvey, and Jonathan O. Roberts. Identification confusions among letters of the alphabet. Journal of Experimental Psychology: Human Perception and Performance, 10(5):655–666, 1984.
Somnath Ghosh, Margaret Martonosi, and Sharad Malik. Cache miss equations: a compiler framework for analyzing and tuning memory behavior. ACM Transactions on Programming Languages and Systems, 21(4):703–746, July 1999.
Rishab A. Ghosh, Ruediger Glott, Bernhard Krieger, and Gregorio Robles. Free/Libre and open source software survey and study, part 4: Survey of developers. Technical Report Deliverable D18: Final Report, University of Maastricht, June 2002.
Tanton H. Gibbs. The design and implementation of a parser and front-end for the ISO C++ language and validation of the parser. PhD thesis, Clemson University, May 2003.
Edward Gibson and James Thomas. Memory limitations and structured forgetting: The perception of complex ungrammatical sentences as grammatical. Language and Cognitive Processes, 14(3):225–248, 1999.
Eleanor J. Gibson, Anne Pick, Harry Osser, and Marcia Hammond. The role of grapheme-phoneme correspondence in the perception of words. American Journal of Psychology, 75:554–570, 1962.
Andreas Gierlinger, Richard Forsyth, and Erwin Ofner. GEPARD: A parameterisable DSP core for ASICS. In Proceedings ICSPAT'97, pages 203–207, 1997.
Gerd Gigerenzer, Peter M. Todd, and The ABC Research Group. Simple Heuristics That Make Us Smart. Oxford University Press, 1999.
Daniel T. Gilbert, Romin W. Tafarodi, and Patrick S. Malone. You can't not believe everything you read. Journal of Personality and Social Psychology, 65(2):221–233, 1993.
Alberta S. Gilinsky and Ben B. Judd. Working memory and bias in reasoning across the life span. Psychology and Ageing, 9(3):356–371, 1994.
G. C. Gilmore, H. Hersh, A. Caramazza, and J. Griffin. Multidimensional letter similarity derived from recognition errors. Perception & Psychophysics, 25(5):425–431, 1979.
Gimpel Software. Reference Manual for PC-lint. Gimpel Software, 6.00 edition, January 1994.
Vittorio Girotto, Alberto Mazzocco, and Alessandra Tasso. The effect of premise order on conditional reasoning: a test of the mental model theory. Cognition, 63:1–28, 1997.
Murray Glanzer, Beth Fischer, and David Dorfman. Short-term storage in reading. Journal of Verbal Learning and Verbal Behavior, 23:467–486, 1984.
Robert L. Glass. Persistent software errors. IEEE Transactions on Software Engineering, 7(2):162–168, March 1981.
Andrew G. Glen, Lawrence M. Leemis, and John H. Drew. Computing the distribution of the product of two continuous random variables. Computational Statistics and Data Analysis, 44(3):451–464, January 2004.
Arthur M. Glenberg and William Epstein. Inexpert calibration of comprehension. Memory & Cognition, 15(1):84–93, 1987.
D. R. Godden and A. D. Baddeley. Context-dependent memory in two natural environments: On land and underwater. British Journal of Psychology, 66(3):325–331, 1975.
Michael W. Godfrey and Qiang Tu. Evolution in open source software: A case study. In Proceedings of the International Conference on Software Maintenance (ICSM'00), pages 131–142, October 2000.
Robert A. Goldberg, Steven Schwartz, and Manard Stewart. Individual differences in cognitive processes. Journal of Educational Psychology, 69(1):9–14, 1977.
D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1):5–48, March 1991.
Andrew R. Golding and Paul S. Rosenbloom. A comparison of Anapron with seven other name-pronunciation systems. Technical Report TR-93-05a, Mitsubishi Electric Research Laboratories, May 1996.
Jennifer M. Goldschneider and Robert M. DeKeyser. Explaining the "Natural order of L2 morpheme acquisition" in English: A meta-analysis of multiple determinants. Language Learning, 51(1):1–50, 2001.
Possidonia F. D. Gontijo, Janice Rayman, Shi Zhang, and Eran Zaidel. How brand names are special: brands, words, and hemispheres. Brain and Language, 82:327–343, 2002.
Esther G. Gonzalaz and Paul A. Kolers. Mental manipulation of arithmetic symbols. Journal of Experimental Psychology: Learning, Memory, and Cognition, 8(4):308–319, 1982.
Harold Goodglass and Arthur Wingfield. Selective preservation of a lexical category in aphasia: Disassociations in comprehension of body parts and geographical places names following focal brain lesion. Memory, 1(4):313–328, 1993.
James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison textendash Wesley, 1996.
James Gosling. Ace: a syntax-driven C preprocessor. In Australian Unix Users Group, July 1989.
Sudhakar Govindavajhala and Andrew W. Appel. Using memory errors to attack a virtual machine. In IEEE Symposium on Security and Privacy, pages 154–165. IEEE Press, May 2003.
Arthur C. Graesser, Nicholas L. Hoffman, and Leslie F. Clark. Structural components of reading time. Journal of Verbal Learning and Verbal Behavior, 19:135–151, 1980.
Arthur C. Graesser, Stanley B. Woll, Daniel J. Kowalski, and Donald A. Smith. Memory for typical and atypical actions in scripted activities. Journal of Experimental Psychology: Human Learning and Memory, 6(5):503–515, 1980.
Jonathan Grainger, J. Kevin O'Regan, Arthur M. Jacobs, and Juan Segui. Neighborhood frequency effects and letter visibility in visual word recognition. Perception & Psychophysics, 51(1):49–56, 1992.
E. Eugene Grant and Harold Sackman. An exploratory investigation of programmer performance under on-line and off-line conditions. IEEE Transactions on Human Factors in Electronics, 8(1):33–48, March 1967.
Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, and Susan J. Eggers. DyC: An expressive annotation-directed dynamic compiler for C. Technical Report TR-97-03-03, University of Washington, Department of Computer Science and Engineering, March 1997.
Silicon Graphics. Cray Standard C/C++ Reference Manual. Silicon Graphics, Inc, Mountain View, CA, USA, 3.6 edition, June 2002.
Todd L. Graves, Alan F. Karr, J. S. Marron, and Harvey Siy. Predicting fault incidence using software change history. IEEE Transactions on Software Engineering, 26(7):653–661, 2000.
John M. Gravley and Arun Lakhotia. Identifying enumeration types modeled with symbolic constants. In L. Wills, I. Baxter, and E. Chikofsky, editors, Proceedings of the 3^rd Working Conference on Reverse Engineering, pages 227–238. IEEE Computer Society Press, November 1996.
David Green and Paul Meara. The effects of script on visual search. Second Language Research, 3(2):102–118, 1987.
D. W. Green, E. J. Hammond, and S. Supramaniam. Letters and shapes: Developmental changes in search strategies. British Journal of Psychology, 74:11–16, 1983.
Paul Grice. Studies in the Way of Words. Harvard University Press, 1989.
R. E. Griswold, J. F. Poage, and I. P. Polonsky. The SNOBOL 4 Programming Language. Prentice Hall, Inc, second edition, 1968.
A. J. M. Groenewegen and W. A. Waganaar. Diagnosis in everyday situations: Limitations of performance at the knowledge level. Unit of Experimental Psychology, Leiden University, 1988.
William Groop. Users manual for doctext: Producing documentation from C source code. Technical Report Technical Report ANL/MCS-TM-206, Argonne National Laboratory, University of Chicago, Mathematics and Computer Science Division, 1995.
Dick Grune and Ceriel J. H. Jacobs. Parsing Techniques: A Practical Guide. Ellis Horwood, 1990.
Dick Grune, Henri E. Bel, Ceriel J. H. Jacobs, and Koen G. Langerndoen. Modern Compiler Design. John Wiley & Sons, Ltd, 2000.
Dick Grunwald and Benjamin Zorn. C textsc USTOM textsc ALLOC: Efficient synthesized memory allocators. Technical Report CU-CS-602-92, University of Colorado at Boulder, July 1992.
Rajiv Gupta, Eduard Mehofer, and Youtao Zhang. Profile guided compiler optimizations. In Y. N. Srikant and Priti Shankar, editors, The Compiler Design Handbook: Optimizations and Machine Code Generation, chapter 4, pages 143–174. CRC Press, 2002.
Yuri Gurevich and James K. Huggins. The semantics of the C programming language. In E. Boerger, H. K. Buning, G. Jager, S. Martini, and M. M. Richter, editors, Computer Science Logic: Selected Papers from CSL'92, volume 702 of LNCS, pages 274–308. Springer, 1993.
Peter Gutmann. Verification techniques. In Peter Gutmann, editor, Design and Verification of a Cryptographic Security Architecture, chapter 4. Springer-Verlag, 2003.
Henk Haarmann and Marius Usher. Maintenance of semantic information in capacity-limited short-term memory. Psychonomic Bulletin & Review, 8(3):568–578, 2001.
Ralph Norman Haber and Robert M. Schindler. Error in proofreading: Evidence of syntactic control of letter processing? Journal of Experimental Psychology: Human Perception and Performance, 7(3):573–579, 1981.
Michael Hahsler, Kurt Hornik, and Christian Buchta. Getting things in order: An introduction to the R package seriation. Journal of Statistical Software, 25(3):1–34, March 2008.
Karin Hajek. Detection of logical coupling based on product release history. Thesis (m.s.), Technical University of Vienna, 1998.
Harold W. Hake and W. R. Garner. The effect of presenting various numbers of discrete steps on scale reading accuracy. Journal of Experimental Psychology, 42(5):358–366, 1951.
Graeme S. Halford, William H. Wilson, and Steven Phillips. Processing capacity defined by relational complexity: Implications for comparative, developmental, and cognitive psychology. Behavioral & Brain Sciences, 21(6):803–831, 1998.
Robert J. Hall. Call path refinement profiles. IEEE Transactions on Software Engineering, 21(6):481–496, June 1995.
M. A. K. Halliday and Ruqaiya Hasan. Cohesion in English. Pearson Education Limited, 1976.
David Z. Hambrick and Randall W. Engle. Effect of domain knowledge, working memory capacity, and age on cognitive performance: An investigation of the knowledge-is-power hypothesis. Cognitive Psychology, 44(4):339–387, 2002.
Kenneth R. Hammond, Robert M. Hamm, Janet Grassia, and Tamra Pearson. Direct comparison of the efficacy of intuitive and analytical cognition in expert judgment. IEEE Transactions on Systems, Man, and Cybernetics, SMC-17:753–770, September 1987.
Richard Eugene Hank. Region-based compilation. PhD thesis, University of Illinois at Urbana-Champaign, 1996.
J. Richard Hanley and Peter Morris. The effects of amount of processing on recall and recognition. Quarterly Journal of Experimental Psychology, 39A:431–449, 1987.
C. L. Hardin and Luisa Maffi. Color categories in thought and language. Cambridge University Press, 1997.
W. S. Harley. Associative Memory in Mental Arithmetic. PhD thesis, Johns Hopkins University, October 1991.
Trevor Harley. The Psychology of Language. Psychology Press, second edition, 2001.
Michael Wyne Harm. Division of Labor in a Computational Model of Visual Word Recognition. PhD thesis, University of Southern California, August 1998.
John Harrison, Ted Kubaska, Shane Story, and Ping Tak Peter Tang. The computation of transcendental functions on the IA-64 architecture. Intel Technology Journal, Q4, November 1999.
Mary Jean Harrold, James A. Jones, and Gregg Rothermel. Empirical studies of control dependence graph size for C. Empirical Software Engineering Journal, 3(2):203–211, March 1998.
John Hartman. Automatic control understanding for natural programs. PhD thesis, University of Texas at Austin, May 1991.
Amir H. Hashemi, David R. Kaeli, and Brad Calder. Efficient procedure mapping using cache line coloring. Technical Report Research Report 96/3, Compaq Western Research Laboratory, 1996.
R. Hasting and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter Usenix Conference, pages 125–136, January 1992.
Les Hatton. Safer C : Developing Software for High-integrity and Safety-critical Systems. McGraw textendash Hill, 1995.
L. Hatton. The T-experiments: Errors in scientific software. IEE Computational Science & Engineering, 4(2):27–38, January 1997.
Les Hatton. Reexamining the fault density-component size connection. IEEE Software, 14(2):89–97, March 1997.
John R. Hauser. Handling floating-point exceptions in numeric programs. ACM Transactions on Programming Languages and Systems, 18(2):139–174, March 1996.
John Hauser. Softfloat-2b. www.jhauser.us/arithmetic/SoftFloat.html, 2002.
John A. Hawkins and Gary Gilligan. Prefixing and suffixing universals in relation to basic word order. Lingua, 74:219–258, 1988.
Brian Hayes. Third base. American Scientist, 89(6):490–494, 2001.
Alice F. Healy and Thomas F. Cunningham. A developmental evaluation of the role of word shape in word recognition. Memory & Cognition, 20(2):141–150, 1992.
Christopher Healy, Mikael Sjödin, Viresh Rustagi, David Whalley, and Robert van Engelen. Supporting timing analysis by automatic bounding of loop iterations. Real-Time Systems, pages 121–148, May 2000.
Matthew S. Hecht. Flow Analysis of Computer Programs. Elsevier, North-Holland, 1977.
Evan Heit. Background knowledge and models of categorization. In Ulrike Hahn and Michael Ramscar, editors, Similarity and Categorization, chapter 9, pages 155–178. Oxford University Press, April 2001.
Leslie Henderson and Sheila E. Henderson. Visual comparison of words and random letter strings: Effects of number and position of letters different. Memory & Cognition, 3(1):97–101, 1975.
John L. Hennessy and David A. Patterson. Computer Architecture A Quantitative Approach. Morgan Kaufmann Publishers, Inc, 1996.
M. Henricson and E. Nyquist. Industrial Strength C++, Rules and Recommendations. Prentice Hall, Inc, 1997.
Steve Henser. Thinking in Japanese? What have we learned about language-specific thought since Ervin Tripp's psychological tests of Japanese-English bilinguals. Technical Report No. 32, Nissan Institute of Japanese Studies, 2000.
Richard Nevill Astley Henson. Short-term Memory for Serial Order. PhD thesis, University of Cambridge, November 1996.
Richard N. A. Henson. Item repetition in short-term memory: Ranschburg repeated. Journal of Experimental Psychology: Learning, Memory, and Cognition, 24(5):1162–1181, 1998.
Richard N. A. Henson. Short-term memory for serial order: The start-end model. Cognitive Psychology, 36:73–137, 1998.
Debra M. B. Herbert and Jennifer S. Burt. What do students remember? Episodic memory and the development of schematization. Applied Cognitive Psychology, 18(1):77–88, 2004.
Chris M. Herdman and Allen R. Dobbs. Attentional demands of visual word recognition. Journal of Experimental Psychology: Human Perception and Performance, 15(1):124–132, 1989.
Chris M. Herdman, Donna Chernecki, and Dennis Norris. Naming cAsE aLtErNaTeD words. Memory & Cognition, 27(2):254–266, 1999.
Debra S. Herrmann. Software Safety and Reliability. IEEE Computer Society, 1999.
Ralph Hertwig and Gerd Gigerenzer. The 'conjunction fallacy' revisited: How intelligent inferences look like reasoning errors. Journal of Behavioral and Decision Making, 12(2):275–305, 1999.
Ralph Hertwig and Peter M. Todd. More is not always better: The benefits of cognitive limits. In L. Macchi and D. Hardman, editors, The psychology of reasoning and decision making: A handbook. John Wiley & Sons, Inc, 2000?
Hewlett-Packard. PA-RISC 2.0. Hewlett-Packard, 2.0 edition, 1995.
Yizo Hida, Xiaoye S. Li, and David H. Bailey. Quad-double arithmetic: Algorithms, implementation, and application. Technical Report LBNL-46996, Lawrence Berkeley National Laboratory, 2000.
Theodore P. Hill. A statistical derivation of the significant-digit law. Statistical Science, 10:354–363, 1996.
T. P. Hill. The first-digit phenomenon. American Scientist, 86:358–363, July-August 1998.
Denis J. Hilton. The social context of reasoning: Conversational inference and rational judgment. Psychological Bulletin, 118(2):248–271, 1995.
Michael Hind and Anthony Pioli. Which pointer analysis should I use? International Symposium on Software Testing and Analysis (ISSTA 2000), Aug 2000, 2000.
Michael Hind. Pointer analysis: Haven't we solved this problem yet? In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), pages 54–61. ACM, June 2001.
Perry R. Hinton. Statistics Explained. Routledge, 2nd edition, 2004.
Katherine W. Hirsh and Jeremy J. Tree. Word association norms for two cohorts of British adults. Journal of Neurolinguistics, 14(1):1–44, 2001.
Hitachi Ltd. H8S, H8/300 Series C Compiler User's Manual. Hitachi Ltd, 4.0 edition, September 1998.
Milton H. Hodge and Florrie M. Pennington. Some studies of word abbreviation behavior. Journal of Experimental Psychology, 98(2):350–361, 1973.
Donald D. Hoffman. Visual Intelligence: How We Create What We See. W. W. Norton, 2000.
Robin M. Hogarth and Hillel J. Einhorn. Order effects in belief updating: The belief-adjustment model. Cognitive Psychology, 24:1–55, 1992.
Robin M. Hogarth, Craig R. M. McKenzie, Brian J. Gibbs, and Margaret A. Marquis. Learning from feedback: Exactness and incentives. Journal of Experimental Psychology: Learning, Memory, and Cognition, 17(4):734–752, 1991.
Morris B. Holbrook. A comparison of methods for measuring the interletter similarity between capital letters. Perception & Psychophysics, 17(6):532–536, 1975.
Morris B. Holbrook. Effect of subjective interletter similarity, perceived word similarity, and contextual variables on the recognition of letter substitutions in a proofreading task. Perceptual and Motor Skills, 47:251–258, 1978.
John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and Paul R. Thagard. Induction. The MIT Press, 1989.
Jarrod Hollis and Tim Valentine. Proper name processing: Are proper names pure referencing expressions? Journal of Experimental Psychology: Learning, Memory & Cognition, 27:99–116, 2001.
Alison Holm and Barbara Dodd. The effect of first written language on the acquisition of English literacy. Cognition, 59:119–147, 1996.
David Holmes and M. Catherine McCabe. Improving precision and recall for soundex retrieval. In Proceedings of the 2002 IEEE International Conference on Information Technology - Coding and Computing (ITCC), pages 22–27, April 2002.
Jan Hoogerbrugge, Lex Augusteijn, Jeroen Trum, and Rik van de Wiel. A code compression system based on pipelined interpreters. Software textendash Practice and Experience, 29(11):1005–1023, September 1999.
Audrey A. Hook, Bill Brykczynski, Catherine W. McDonald, Sarah H. Nash, and Christine Youngblut. A survey of computer programming languages currently used in the department of defense. Technical Report P-3054, Institute for Defense Analyse, January 1995.
R. Hoosain and F. Salili. Language differences, working memory, and mathematical ability. In M. M. Grunberg, P. E. Morris, and R. N. Sykes, editors, Practical aspects of memory: Current research and issues, volume 2, pages 512–517. John Wiley & Sons, Inc, 1988.
Rumjahn Hoosain. Correlation between pronunciation speed and digit span size. Perception and Motor Skills, 55:1128–1128, 1982.
J. R. Horgan and S. London. Data flow coverage and the C language. In Proceedings of the 4^th Symposium on Software Testing, Analysis, and Verification, pages 87–97. ACM Press, October 1991.
Leonard M. Horowitz. Free recall and ordering of trigrams. Journal of Experimental Psychology, 62(1):51–57, 1961.
Mark R. Horton. Portable C Software. Prentice-Hall, Upper Saddle River, NJ 07458, USA, 1990.
Susan Horwitz. Precise flow-insensitive may-alias analysis is NP-hard. ACM Transactions on Programming Languages and Systems, 19(1):1–6, January 1997.
Marc W. Howard and Michael J. Kahana. Context variability and serial position effects in free recall. Journal of Experimental Psychology: Learning, Memory, & Cognition, 25(4):923–941, 1999.
Marc W. Howard and Michael J. Kahana. When does semantic similarity help episodic retrieval? Journal of Memory and Language, 46:85–98, 2002.
Davis H. Howes and Richard L. Solomon. Visual duration threshold as a function of word-probability. Journal of Experimental Psychology, 41:401–410, 1951.
HP. DEC C Language Reference Manual. Compaq Computer Corporation, aa-rh9na-te edition, July 1999.
Chung-Hsing Hsu and Ulrich Kremer. The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 38–8, 2003.
Windsor W. Hsu, Alan Jay Smith, and Honesty C. Young. I/O reference behavior of production database workloads and the TPC benchmarks - an analysis at the logical level. Technical Report UCB/CSD-99-1071, University of California, Berkeley, November 1999.
Chung-Hsing Hsu, Ulrich Kremer, and Michael Hsiao. Compiler-directed dynamic frequency and voltage scheduling. Technical Report DCS-TR-419, Department of Computer Science, Rutgers University, 2000.
Chih-Wei Hue and James R. Erickson. Short-term memory for Chinese characters and radicals. Memory & Cognition, 16(3):196–205, 1988.
David A. Hull and Gregory Grefenstette. A detailed analysis of English stemming algorithms. Technical Report MLTT-023, Xerox Research and Technology, January 1996.
A. J. Hull. A letter-digit metric of auditory confusions. British Journal of Psychology, 64(4):579–585, 1973.
Charles Hulme, Sarah Maughan, and Gordon D. A. Brown. Memory for familiar and unfamiliar words: Evidence for a long-term memory contribution to short-term memory span. Journal of Memory and Language, 30:685–701, 1991.
Earl Hunt, Clifford Lunneborg, and Joe Lewis. What does it mean to be high verbal? Cognitive Psychology, 7:194–227, 1975.
Earl Hunt. The Whorfian hypothesis: A cognitive psychology perspective. Psychological Review, 98(3):377–389, 1991.
Janellen Huttenlocher. Constructing spatial images: A strategy in reasoning. Psychological Review, 75(6):550–560, 1968.
Jukka Hyönä, Pekka Niemi, and Geoffrey Underwood. Reading long words embedded in sentences: Informativeness of word halves affects eye movements. Journal of Experimental Psychology: Human Perception and Performance, 15(1):142–152, 1989.
Jukka Hyönä. Do irregular letter combinations attract readers' attention? Evidence from fixation locations in words. Journal of Experimental Psychology: Human Perception and Performance, 21(1):68–81, 1995.
IAR Systems. PICmicro C Compiler: Programming Guide, iccpic-1 edition, 1998.
IBM Canada Ltd. C for AIX Compiler Reference. International Business Machines Corporation, May 2002.
IBM. Developing PowerPC Embedded Application Binary (EABI) Compliant Programs. IBM, September 1998.
IBM. Preprocessing Directives - #pragma. International Business Machines, 5.0 edition, 2000.
IBM. z/Architecture: Principles of Operation. International Business Machines, first edition, December 2000.
IBM. ILE C/C++ Compiler Reference. IBM Canada Ltd, Ontario, Canada, sc09-48 16-00 edition, May 2001.
IBM. WebSphere Development Studio ILE C/C++ Programmer's Guide. IBM Canada Ltd, Ontario, Canada, sc09-27 12-02 edition, May 2001.
J. Ichbiah, J. Barnes, R. Firth, and M. Woodger. Rationale for the Design of the Ada Programming Language. Cambridge University Press, 1991.
IEEE. IEEE 1003.3 Standard for Information Technology textemdash Test Methods for Measuring Conformance to POSIX.1. IEEE, 1991.
Imsys AB. the Cjip Technical Reference Manual. Imsys AB, Sweden, v0.23 edition, 2001.
INMOS Limited. Transputer Reference Manual. Prentice textendash Hall, 1988.
Texas Instruments. TMS320C2x/C2xx/C5x Optimizing C Compiler User's Guide. Texas Instruments, Inc, spru024e edition, August 1999.
Intel, Inc. Intel IA-64 Architecture Software Developer's Manual, 2000. Instruction Set Reference.
Intel. i860 64-bit microprocessor programmer's reference manual. Intel, Inc, 1989.
Intel. MCS 51 Microcontroller Family User's Manual. Intel, Inc, 272383-002 edition, February 1994.
Intel. Data Alignment and Programming Issues for the Streaming SIMD Extensions with the Intel C/C++ Compiler. Intel Corporation, 1.1 edition, January 1999.
Intel. IA-32 Intel Architecture Software Developer's Manual Volume 1: Basic Architecture. Intel, Inc, 2000.
Intel. Desktop Performance and Optimization for Intel Pentium 4 Processor. Intel, Inc, February 2001.
Intel. Intel XScale Microarchitecture Programmers Reference Manual. Intel, Inc, 2001.
Intel. Intel C++ Compiler User's Guide. Intel, Inc, 2002.
The international obfuscated C code contest, 2003. www.ioccc.org.
Kenji Ishihara, Tae Okada, and Shimpei Matsui. English vocabulary recognition and production: A preliminary survey report. Doshisha Studies in Language and Culture, 2(1):143–175, 1999.
ISO. ISO 6160-1979(E) textemdash Programming languages textemdash PL/1. ISO, 1979.
ISO. ISO 1989-1985(E) textemdash Programming languages textemdash COBOL. ISO, 1985.
ISO. Implementation of ISO/IEC TR 10034:1990 Guidelines for the preparation of conformity clauses in programming language standards. ISO, 1990.
ISO. ISO/IEC 9945-1:1990 Information technology textemdash Portable Operating System Interface (POSIX). ISO, 1990.
ISO. ISO/IEC Guide 25:1990 General requirements for the competence of calibration and testing laboratories. ISO, 1990.
ISO. Implementation of ISO/TR 9547:1988 Programming language processors textemdash Test methods textemdash Guidelines for their development and acceptability. ISO, 1991.
ISO. ISO/IEC 10206:1991 Information technology textemdash Programming languages textemdash Extended Pascal. ISO, 1991.
ISO. ISO/IEC 1539:1992 Information technology textemdash Programming languages textemdash FORTRAN. ISO, 1991.
ISO. ISO/IEC 9075:1992(E) Information technology textemdash Database languages textemdash SQL. ISO, 1992.
ISO. ISO/IEC 10967-1:1994(E) Information technology textemdash Language independent arithmetic textemdash Part 1: Integer and floating point arithmetic. ISO, 1994.
ISO. Implementation of ISO/IEC 8651-4:1995 Information technology textemdash Computer graphics textemdash Graphics kernel system (GKS) language bindings textemdash Part 4: C. ISO, 1995.
ISO. ISO/IEC 13211-1:1995 Information technology textemdash Programming languages, their environments and system software interfaces textemdash Programming language Prolog textemdash Part 1: General Core. ISO, 1995.
ISO. ISO/IEC 8652:1995(E) Information technology textemdash Programming languages textemdash Annotated Ada Reference Manual. ISO, 1995.
ISO. ISO/IEC 10514-1:1996 Information technology textemdash Programming languages textemdash Part 1. Modula-2, Base language. ISO, 1996.
ISO. ISO/IEC 13817-1:1996 Information technology textemdash Programming languages, their environments and system software interfaces textemdash Vienna Development Method textemdash Specification language Part 1. Base language. ISO, 1996.
ISO. ISO/IEC 14977:1996 Information technology textemdash Syntactic metalanguage textemdash Extended BNF. ISO, 1996.
ISO. ISO/IEC 13816:1997 Information technology textemdash Programming languages, their environments and system software interfaces textemdash Programming language ISLISP. ISO, 1997.
ISO. ISO TR 15580:1998 Information technology textemdash Programming languages textemdash Fortran textemdash Floating-point exception handling. ISO, 1998.
ISO. ISO/IEC 1539-3:1998 Information technology textemdash Programming languages textemdash FORTRAN textemdash Part 3: Conditional compilation. ISO, 1998.
ISO. ISO/IEC 13210:1999 Information technology textemdash Requirements and guidelines for test methods specifications and test method implementation for measuring conformance to POSIX standards. ISO, 1999.
ISO. Implementation of ISO/IEC TR 14651.3:2000 Information technology textemdash International String ordering textemdash Method for comparing Character Strings and Description of the Common Template Tailorable Ordering. ISO, 2000.
ISO. ISO/IEC 13751.2:2000 Information technology textemdash Programming languages, their environments and system software interfaces textemdash Programming language Extended APL. ISO, 2000.
ISO. ISO/IEC TR 15942:2000 Programming languages textemdash Guide for the Use of the Ada Programming Language in High Integrity Systems. ISO, 2000.
ISO. Implementation of ISO/IEC TR 10176:2003 Information technology textemdash Guidelines for the preparation of programming language standards. ISO, fourth edition, 2003.
ISO. ISO/IEC 9496:2003 CHILL textemdash The ITU-T programming language. ISO, 2003.
ISO. ISO/IEC Directives, Part 2 Rules for the structure and drafting of International Standards. ISO, fifth edition, 2004.
ISO. ISO/IEC FDIS 9945:2008 Information technology textemdash Portable Operating System Interface (POSIX textregistered ). ISO, 2008.
ISO. ISO/IEC TR 18037:2008 Programming languages textemdash C textemdash Extensions to support embedded processors. ISO, 2008.
Waddill Paula J and Mark A. McDaniel. Pictorial enhancement of text memory: Limitations imposed by picture type and comprehension skill. Memory & Cognition, 20(5):472–482, 1992.
Scott Armstrong J. The seer-sucker theory: The value of experts in forecasting. Technology Review, pages 16–24, June-July 1980.
Arthur M. Jacobs and Jonathan Grainger. Models of visual word recognition: Sampling the state of the art. Journal of Experimental Psychology: Human Perception and Performance, 20(6):1311–1334, 1994.
Rex Jaeschke. Portability and the C Language. Hayden Books, 4300 West 62nd Street, Indianapolis, IN 46268, USA, 1989.
Paul J. Jalics. COBOL on a PC: A new perspective on a language and its performance. Communications of the ACM, 30(2):142–154, February 1987.
Carlton T. James and David E. Smith. Sequential dependencies in letter search. Journal of Experimental Psychology, 85(1):56–60, 1970.
Carlton T. James. Vowels and consonants as targets in the search of single words. Bulletin of the Psychonomic Society, 2(4B):402–404, 1974.
Java Grande Forum Numerics Working Group. Improving java for numerical computation. math.nist.gov/javanumerics/reports/jgfnwg-01.htm, October 1998.
J. J. Jenkins. Remember that old theory of memory? Well, forget it! American Psychologist, 29(11):785–795, 1974.
Lingxiao Jiang, Zhendong Su, and Edwin Chiu. Context-based detection of clone-related bugs. In Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT symposium on The Foundations of Software Engineering, pages 55–64, September 2007.
Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, pages 275–288, June 2002.
Liang Jin, Chen Li, and Sharad Mehrota. Efficient similarity string joins in large data sets. Technical Report TR-DB-02-04, University of California at Irvine, February 2002.
Sanjay Jinturkar. Data-Specific Optimizations. PhD thesis, University of Virginia, May 1996.
Mark K. Johansen and Thomas J. Palmeri. Are there representational shifts during category learning? Cognitive Psychology, 45(4):482–553, 2002.
S. C. Johnson and B. W. Kernighan. The programming language B. Technical Report 8, Bell Telephone Laboratories, January 1973.
S. C. Johnson and D. M. Ritchie. The C language calling sequence. Technical Report Computing Science Technical Report No. 102, Bell Laboratories, September 1981.
Philip N. Johnson-Laird. Mental Models: Towards a cognitive science of language, inference, and consciousness. Harvard University Press, 1983.
Philip N. Johnson-Laird. Mental models and deduction. TRENDS in Cognitive Science, 5(10):434–442, 2001.
S. C. Johnson. Lint, a C program checker. Technical Report Computing Science Technical Report No.65, Bell Telephone Laboratories, 1977.
S. C. Johnson. A tour through the portable C compiler. In B. W. Kernighan and M. D. McIlroy, editors, Unix Programmer's Manual, 7th edition, Volume 2B, chapter 33. Bell Laboratories, Murray Hill, NJ, January 1979. Republished by Holt, Rinehart and Winston, New York, ISBN 0-03-061743-X, 1983.
W. Lewis Johnson. Intention-Based Diagnosis of Novice Programming Errors. Morgan Kaufmann Publishers, Inc, 1986.
Mark S. Johnstone and Paul R. Wilson. The memory fragmentation problem: Solved? In Proceedings of the first International Symposium on Memory management, pages 26–36, March 1998.
Richard W. M. Jones and Paul H. J. Kelly. Backwards-compatible bounds checking for arrays and pointers in C programs. In M. Kamkar and D. Byers, editors, Third International Workshop on Automated Debugging. Linkoping University Electronic Press, 1997.
Richard Jones and Rafael Lims. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Addison textendash Wesley, 1996.
John T. Jones, Brett W. Pelham, Matthew C. Mirenberg, and John J. Hetts. Name letter preferences are not merely mere exposure: Implicit egotism as self-regulation. Journal of Experimental Psychology, 38:170–177, 2002.
Capers Jones. Programming Productivity. McGraw textendash Hill Book Company, 1986.
Derek M. Jones. The Model C Implementation. Knowledge Software Ltd, 1992.
Derek M. Jones. Who guards the guardians? www.knosof.co.uk/whoguard.html, 1992.
Derek M. Jones. The open systems portability checker reference manual. www.knosof.co.uk, 1999.
Douglas W. Jones. BCD arithmetic, a tutorial. www.cs.uiowa.edu/~jones, July 1999.
Derek M. Jones. The 7 pm 2 urban legend. MISRA C 2002 conference http://www.knosof.co.uk/cbook/misart.pdf, October 2002.
Derek M. Jones. I_mean_something_to_somebody. C Vu, 15(6):17–19, December 2003.
Derek M. Jones. Experimental data and scripts for short sequence of assignment statements study. http://www.knosof.co.uk/cbook/accu04.html, 2004.
Derek M. Jones. Web site of the book: The new C Standard. www.knosof.co.uk/cbook/cbook.html, 2004.
Derek M. Jones. The new C Standard: An economic and cultural commentary. Knowledge Software, Ltd, 2005.
Derek M. Jones. Developer beliefs about binary operator precedence. C Vu, 18(4):14–21, August 2006.
Derek M. Jones. Experimental data and scripts for developer beliefs about binary operator precedence. http://www.knosof.co.uk/cbook/accu06.html, 2006.
Derek M. Jones. Experimental data and scripts for operand names influence operator precedence decisions. http://www.knosof.co.uk/cbook/accu07.html, 2008.
Derek M. Jones. Operand names influence operator precedence decisions. C Vu, 20(1):5–11, February 2008.
John Jonides and Caren M. Jones. Direct coding for frequency of occurrence. Journal of Experimental Psychology: Learning, Memory, and Cognition, 18(2):368–378, 1992.
Ramiro Jordan, Roberto Lotufo, and Danielle Argiro. Khoros Pro 2001 Student Version. Khoral Research, Inc, 2000.
Magne Jørgensen and Dag I. K. Sjøberg. Impact of experience on maintenance skills. Journal of Software Maintenance: Research and Practice, 14(2):123–146, 2002.
M. Jørgensen. A review of studies on expert estimation of software development effort. Journal of Systems and Software, 70(1-2):37–60, 2004.
Norman P. Jouppi and Parthasarathy Ranganathan. The relative importance of memory latency, bandwidth, and branch limits to performance. In Proceedings of Workshop of Mixing Logic and DRAM: Chips that Compute and Remember, June 1997.
Marcel Adam Just and Patricia Ann Carpenter. Comprehension of negation with quantification. Journal of Verbal Learning and Verbal Behavior, 10:244–253, 1971.
Marcel Adam Just and Patricia A. Carpenter. A capacity theory of comprehension: Individual differences in working memory. Psychological Review, 99(1):122–149, 1992.
Justice standards clearinghouse, 2004. it.ojp.gov/jsr/public/index.jsp.
Fernando Justicia, Sylvia Defior, Santiago Pelegrina, and Francisco J. Martos. The sources of error in Spanish writing. Journal of Research in Reading, 22(2):198–202, 1999.
Dona M. Kagan and John M. Douthat. Personality and learning FORTRAN. International Journal of Man-Machine Studies, 22(4):395–402, 1985.
William Kahan. IEEE standard 754 for binary floating-point arithmetic. Lecture Notes in progress, May 1995.
W. Kahan. How Java's floating-point hurts everyone. In ACM 1998 Workshop on Java for High-Performance Computing, 1998.
William Kahan. The improbability of PROBABILISTIC ERROR ANALYSIS for numerical computation. University of California at Berkeley, 1998.
William Kahan. Miscalculating area and angles of a needle-like triangle. Lecture Notes for Introductory Numerical Analysis Classes, March 2000.
Michael J. Kahana. Associative symmetry and memory theory. Memory & Cognition, 30(6):823–840, 2002.
Daniel Kahneman and Amos Tversky. On the psychology of prediction. In Daniel Kahneman, Paul Slovic, and Amos Tversky, editors, Judgment under uncertainty: Heuristics and biases, chapter 4, pages 48–68. Cambridge University Press, 1982.
Daniel Kahneman and Amos Tversky. Subjective probability: A judgment of representativeness. In Daniel Kahneman, Paul Slovic, and Amos Tversky, editors, Judgment under uncertainty: Heuristics and biases, chapter 3, pages 32–47. Cambridge University Press, 1982.
Daniel Kahneman and Amos Tversky. Choices, values, and frames. In Daniel Kahneman and Amos Tversky, editors, Choices, Values, and Frames, chapter 1, pages 1–16. Cambridge University Press, 1999.
Daniel Kahneman and Amos Tversky. Prospect theory: An analysis of decision under risk. In Daniel Kahneman and Amos Tversky, editors, Choices, Values, and Frames, chapter 2, pages 17–43. Cambridge University Press, 1999.
Daniel Kahneman, Paul Slovic, and Amos Tversky, editors. Judgment under uncertainty: Heuristics and biases. Cambridge University Press, 1982.
Stefan Kahrs. Mistakes and ambiguities in the definition of standard ML. Technical Report LFCS report ECS-LFCS-93-257, University of Edinburgh, Scotland, April 1993.
Toshihiro Kamiya, Shinji Kusumoto, and Katsuro Inoue. CCFinder: A multi-linguistic token-based code clone detection system for large scale source code. IEEE Transactions on Software Engineering, 28(7):654–670, 2002.
Yaakov Kareev. Seven (indeed, plus or minus two) and the detection of correlations. Psychological Review, 107(2):397–402, 2000.
Martin B. Karlin and Gordon H. Bower. Semantic category effects in visual word search. Perception & Psychophysics, 19(5):417–424, 1976.
M. Karnaugh. The map method for synthesis of combinational logic circuits. AIEE Transactions Comm. Elec, 72:593–599, 1953.
Masahiro Kawakami. Effects of phonographic and phonological neighbors on katakana word recognition. In The Second International Conference on Cognitive Science and The 16^th Annual Meeting of the Japanese Cognitive Science Society Joint Conference (ICCS/JCSS99). Japanese Cognitive Science Society, July 1999.
R. B. Kearfott. Interval computations: Introduction, uses, and resources. Euromath Bulletin, 2(1):95–112, 1996.
Keil. C Compiler manual. Keil Software, Inc, ??? edition, May 2005.
Brian Kelk. Letter frequency rankings for various languages. www.bckelk.uklinux.net/words/etaoin.html, 2003.
Richard Kelsey, William Clinger, Jonathan Rees, H. Abelson, R. K. Dybvig, C. T. Haynes, G. J. Rozas, N. I. Adams IV, D. P. Friedman, E. Kohlbecker, G. L. Steele JR., D. H. Bartley, R. Halstead, D. Oxley, G. J. Sussman, G. Brooks, C. Hanson, K. M. Pitman, and M. Wand. Revised⁵ report on the algorithmic language Scheme. Technical report, February 1998.
Chris F. Kemerer and Sandra Slaughter. Determinants of software maintenance profiles: An empirical investigation. Software Maintenance: Research and Practice, 9(4):235–251, 1997.
Chris K. Kemerer and Sandra Slaughter. An empirical approach to studying software evolution. IEEE Transactions on Software Engineering, 25(4):493–503, 1999.
Richard L. Kennell and Rudolf Eigenmann. Automatic parallelization of C by means of language transcription. In Siddhartha Chatterjee, Jan Prins, Larry Carter, Jeanne Ferrante, Zhiyuan Li, David C. Sehr, and Pen-Chung Yew, editors, Proceedings of the 11^th International Workshop on Languages and Compilers for Parallel Computing (LCPC-98), Lecture Notes in Computer Science, pages 166–180. Springer, 1998.
Brian W. Kernighan. Programming in C-A tutorial. Technical Report ???, Bell Laboratories, August ???
Brian W. Kernighan and Rob Pike. The Practice of Programming. Addison textendash Wesley, 1999.
Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice Hall, Inc, 1978.
Brian W. Kernighan and Dennis M. Ritchie. Recent changes to C. from Ritchie's web page, November 1978.
Brian W. Kernighan and Dennis M. Ritchie. The C Programming Language. Prentice Hall, Inc, 1988.
Mark D. Kernighan, Kenneth W. Church, and William A. Gale. A spelling correction program based on a noisy channel model. In Proceedings of COLING-90, pages 205–210, 1990.
Brett Kessler and Rebecca Treiman. Syllable structure and phoneme distribution. Journal of Memory and Language, 37:295–311, 1997.
David E. Kieras and David E. Meyer. An overview of the EPIC architecture for cognition and performance with application to human-computer interaction. Technical Report TR-95/ONR-EPIC-5, University of Michigan, 1995.
Jonathan King and Marcel Adam Just. Individual differences in syntactic processing: The role of working memory. Journal of Memory and Language, 30:580–602, 1991.
G. C. Kinney and Diana J. Showman. The relative legibility of upper case and lower case typewritten words. Information Display, 4:34–39, 1967.
Walter Kintsch and Janice Keenan. Reading rate and retention as a function of the number of propositions in the base structure of sentences. Cognitive Psychology, 5:257–274, 1973.
W. Kintsch, E. Kozminsky, W. J. Streby, G. McKoon, and J. M. Keenan. Comprehension and recall of text as a function of content variables. Journal of Verbal Learning and Verbal Behavior, 14:196–214, 1975.
Walter Kintsch, Theodore S. Mandel, and Ely Kozminsky. Summarizing scrambled stories. Memory & Cognition, 5(5):547–552, 1977.
Walter Kintsch. Comprehension: A paradigm for cognition. Cambridge University Press, 1998.
Simon Kirby. Language evolution without natural selection: From vocabulary to syntax in a population of learners. Technical Report Edinburgh Occasional Papers in Linguistics, Edinburgh University, April 1998.
Darko Kirovski, Johnson Kin, and William H. Mangione-Smith. Procedure based program compression. In Proceedings of the 30^th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'97), pages 204–213. Association for Computing Machinery, 1997.
G. Kiss, Christine Armstrong, R. Milroy, and J. Piper. An associative thesaurus of English and its computer analysis. In A. J. Aitken, R. W. Bailey, and N. Hamilton-Smith, editors, The Computer and Literary Studies, pages 153–165. Edinburgh University Press, 1973.
Thomas Kistler and Michael Franz. Automated data-member layout of heap objects to improve memory-hierarchy performance. ACM Transactions on Programming Languages and Systems, 22(3):490–505, 2000.
Thomas Kistler and Michael Franz. Continuous program optimization: A case study. Technical Report Technical Report No. 00-19, Department of Information and Computer Science, University of California, Irvine, 2000.
Shinobu Kitayama and Mayumi Karasawa. Implicit self-esteem in Japan: Name-letters and birthday numbers. Personality & Social Psychology Bulletin, 23(7):736–742, 1997.
David Klahr, William G. Chase, and Eugene A. Lovelace. Structure and process in alphabetic retrieval. Journal of Experimental Psychology: Learning, Memory and Cognition, 9(3):462–477, 1983.
Joshua Klayman and Young-Won Ha. Confirmation, disconfirmation, and information in hypothesis testing. Psychological Review, 94(2):211–228, 1987.
Joshua Klayman, Jack B. Soll, Claudia Gonz/'alez-Vallejo, and Sema Barlas. Overconfidence: It depends on how, what, and whom you ask. Organizational Behavior and Human Decision Processes, 79(3):216–247, 1999.
Gary Klein. Sources of Power. The MIT Press, 1999.
Markus Knauff, Reinhold Rauh, and Christoph Schlieder. Prefered mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus. In Proceedings of the Seventeenth Annual Conference of the Cognitive Science Society, pages 200–205. Lawrence Erlbaum Associates, 1995.
Jack L. Knetsch. The endowment effect and evidence of nonreversible indifference curves. In Daniel Kahneman and Amos Tversky, editors, Choices, Values, and Frames, chapter 9, pages 171–179. Cambridge University Press, 1999.
Donald E. Knuth. An empirical study of FORTRAN programs. Software textendash Practice and Experience, 1:105–133, 1971.
Donald E. Knuth. Structure programming with ttfamily go to statements. Computing Surveys, 6(4):261–301, December 1974.
Donald E. Knuth. Literate programming. The Computer Journal, 27(2):97–111, 1984.
Donald E. Knuth. The errors of TeX . Software textendash Practice and Experience, 19(7):607–685, 1989.
Keiko Koda. Effects of L1 orthographic representation on L2 phonological coding strategies. Journal of Psycholinguistic Research, 18(2):201–220, 1989.
Brian Koehler and R. Nigel Horspool. CCC: A caching compiler for C. Software textendash Practice and Experience, 27(2):155–165, 1997.
Jonathan J. Koehler. The base rate fallacy reconsidered: Descriptive, normative and methodological challenges. Behavior & Brain Sciences, 19(1):1–17, 1996.
Andrew Koenig. C Traps and Pitfalls. Addison textendash Wesley, 1989.
David Koes, Mihai Budiu, Girish Venkataramani, and Seth Copen Goldstein. Programmer specified pointer independence. Technical Report CMU-CS-03-128, Carnegie Mellon University, April 2003.
Chananda Kohsom and Fernand Gobet. Adding spaces to Thai and English: Effects on reading. In Proceedings of the 19^th Annual Meeting of Cognitive Science Society, 1997.
Paul A. Kolers and David N. Perkins. Spatial and ordinal components of form perception and literacy. Cognitive Psychology, 7:228–267, 1975.
Paul A. Kolers. Reading A year later. Journal of Experimental Psychology: Human Learning and Memory, 2(3):554–565, 1976.
Philip J. Koopman Jr. Stack Computers the new wave. Mountain View Press, 1989.
Moshe Koppel, Jonathan Schler, and Kfir Zigdon. Determining an author's native language by mining a text for errors. In Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pages 624–628, August 2005.
Asher Koriat, Morris Goldsmith, and Ainat Pansky. Toward a psychology of memory accuracy. Annual Review of Psychology, 51:481–537, 2000.
Asher Koriat. Phonetic symbolism and feeling of knowing. Memory & Cognition, 3(5):545–548, 1975.
Asher Koriat. How do we know that we know? The accessibility model of the feeling of knowing. Psychological Review, 100(4):609–639, 1993.
P. Kornerup, Vincent Lefèvre, and Jean-Michel Muller. On the computation of correctly-rounded sums. In 19^th IEEE Symposium on Computer Arithmetic (ARITH-19), pages ??–??, June 2009.
Stephen M. Kosslyn and Steven P. Shwartz. Empirical constraints on theories of visual imagery. In J. Long and A. D. Baddeley, editors, Attention and Performance IX, pages 241–260. Lawrence Erlbaum Associates, 1981.
Richard J. Koubek, William K. LeBold, and Gavriel Salvendy. Predicting performance in computer programming courses. Behavior and Information Technology, 4(2):113–129, 1985.
Hideki Kozima and Teiji Furugori. Similarity between words computed by spreading activation on an English dictionary. In Proceedings of the 6^th Conference of the European Chapter of the Association for Computational Linguistics (EACL-93), pages 232–239, 1993.
Hideki Kozima and Akira Ito. Context-sensitive measurement of word distance by adaptive scaling of a semantic space. In Ruslan Mitkov and Nicolas Nicolov, editors, Recent Advances in Natural Languages processing: Selected Papers from RANLP'95, chapter 2, pages 111–124. John Benjamins Publishing Company, 1996.
David S. Kreiner and Philip B. Gough. Two ideas about spelling: Rules and word-specific memory. Journal of Memory and Language, 29:103–118, 1990.
Charles B. Kreitzberg and Ben Shneiderman. The elements of FORTRAN style: techniques for effective programming. Harcourt, Brace, Jovanovich, San Diego, CA, USA, 1972.
Jens Krinke. Identifying similar code with program dependence graphs. In Proceedings of the 8^th Working Conference on Reverse Engineering (WCRE'01), pages 301–309, October 2001.
Robert Krovetz. Viewing morphology as an inference process. Technical Report UM-CS-1993-036, University of Mass-Amherst, April 1993.
Ivan Krsul and Eugene H. Spafford. Authorship analysis: Identifying the author of a program. Technical Report Technical Report TR-96-052, Department of Computer Sciences, Purdue University, 1996.
Ivan Krsul. Authorship analysis: Identifying the author of a program. Technical Report Purdue Technical Report CSD-TR-94-030, Department of Computer Sciences, Purdue University, 1994.
Lester E. Krueger. A theory of perceptual matching. Psychological Review, 85(4):278–304, 1978.
Nai kuan Tsao. On the distribution of significant digits and roundoff errors. Communications of the ACM, 17(5):269–271, May 1974.
Michael Kubovy and Sergei Gepshtein. Gestalt: From phenomena to laws. In Kim L. Boyer and Sudeep Sarkar, editors, Perceptual Organization for Artificial Vision Systems, chapter 5, pages 41–71. Kluwer Academic Publishers, Boston, 2000.
H. Kucera and W. N. Francis. Computational analysis of present-day American English. Brown University Press, 1967.
David J. Kuck, Douglas S. Parker Jr., and Ahmed H. Sameh. Analysis of rounding methods in floating-point arithmetic. IEEE Transactions on Computers, C-26(7):643–650, July 1977.
Teodor Kuennapas and Anne-Jeanette Janson. Multidimensional similarity of letters. Perceptual and Motor Skills, 28:3–12, 1969.
Karen Kukich. Spelling correction for the telecommunications network for the deaf. Communications of the ACM, 35(5):80–99, May 1992.
Karen Kukich. Techniques for automatically correcting words in text. ACM Computing Surveys, 24(4):377–439, 1992.
Ki-Il Kum, Jiyang Kang, and Wonyong Sung. A floating-point to fixed-point C converter for fixed-point digital signal processors. In Proceedings of the Second SUIF Compiler Workshop, August 1997.
Krishna Kunchithapadam and James R. Larus. Using lightweight procedures to improve instruction cache performance. Technical Report CS-Technical-Report 1390, University of Wisconsin-Madison, January 1999.
Pulak Kundu and B. B. Chaudhuri. Error pattern in Bangla text. International Journal of Dravidian Linguistics, 28(2):49–88, 1999.
Steven M. Kurlander, Todd A. Proebsting, and Charles N. Fischer. Efficient instruction scheduling for delayed-load architectures. ACM Transactions on Programming Languages and Systems, 17(5):740–776, 1995.
William Labov. The boundaries of words and their meaning. In Charles-James N. Bailey and Roger W. Shuy, editors, New ways of analyzing variation of English, pages 340–373. Georgetown Press, 1973.
Bruno Laguë, Daniel Proulx, Ettore M. Merlo, Jean Mayrand, and John Hudepohl. Assessing the benefits of incorporating function clone detection in a development process. In Proceedings: 1997 International Conference on Software Maintenance, pages 314–321. IEEE Computer Society Press, 1997.
Bruno Laguë, Charles Ledue, Andre Le Bob, Ettore Merlo, and Michel Dagenais. An analysis framework for understanding layered software architectures. In 6^th International Workshop on Program Comprehension, 1998.
Oliver Laitenberger and Jean-Marc DeBaud. Perspective-based reading of code documents at Robert Bosch GmbH. Technical Report Technical Report ISERN-97-14, Fraunhofer Institute for Experimental Software Engineering, 1997.
Oliver Laitenberger and Jean-Marc DeBaud. An encompassing life-cycle centric survey of software inspection. Technical Report Technical Report ISERN-98-32, Fraunhofer Institute for Experimental Software Engineering, 1998.
Oliver Laitenberger, Khaled El Emam, and Thomas Harbich. An internally replicated quasi-experimental comparison of checklist and perspective-based reading of code documents. Technical Report Technical Report ISERN-99-01, Fraunhofer Institute for Experimental Software Engineering, 1999.
Kari Laitinen, Jorma Taramaa, Markku Heikkilä, and Neil C. Rowe. Enhancing maintainability of source programs through disabbreviation. Journal of Systems and Software, 37:117–128, 1997.
Kari Laitinen. Natural naming in software development and maintenance. PhD thesis, University of Oulu, Finland, October 1995. VTT Publications 243.
George Lakoff and Mark Johnson. Metaphors We Live By. The University of Chicago Press, 1980.
John Lakos. Large Scale C++ Software Design. Addison textendash Wesley, 1996.
Bruce L. Lambert, Don Donderi, and John W. Senders. Similarity of drug names: Comparison of objective and subjective measures. Psychology and Marketing, 19(7-8):641–662, 2002.
Bruce L. Lambert, Ken-Yu Chang, and Prahlad Gupta. Effects of frequency and similarity neighborhoods on phamacists' visual perception of drug names. Social Science and Medicine, 57(10):1939–1955, November 2003.
T. K. Landauer and L. A. Streeter. Structural differences between common and rare words: Failure of equivalence assumptions for theories of word recognition. Journal of Verbal Learning and Verbal Behavior, 12:119–131, 1973.
Thomas K. Landauer, Peter W. Foltz, and Darrell Laham. An introduction to latent semantic analysis. Discourse Processes, 25:259–284, 1998.
Thomas K. Landauer. How much do people remember? Some estimates of the quantity of learned information in long-term memory. Cognitive Science, 10:477–493, 1986.
William Landi and Barbara G. Ryder. Pointer-induced aliasing: A problem classification. In Proceedings of the 18^th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 93–103, 1991.
William Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4):323–337, December 1992.
David Landy and Robert L. Goldstone. The alignment of ordering and space in arithmetic computation. In Proceedings of the Twenty-Ninth Annual Meeting of the Cognitive Science Society, pages 437–442, August 2007.
Geoff Langdale. The Effect of Profile Choice and Profile Gathering Methods on Profile-Driven Optimization Systems. PhD thesis, Carnegie Mellon University, October 2003.
Marielle Lange and Alain Content. The grapho-phonological system of written French: Statistical analysis and empirical evaluation. In ACL'99: The 37^th Annual Meeting of the Association for Computational Linguistics, pages 436–442, June 1999.
Ellen J. Langer. The illusion of control. Journal of Personality and Social Psychology, 32(2):311–328, 1975.
Dirk Lanneer, Johan Van Praet, Augusli Kifli, Koen Schoofs, Werner Geurts, Filip Thoen, and Gert Goossens. CHESS: Retargetable code generation for embedded DSP processors. In Peter Merwedel and Gert Goossens, editors, Code generation for embedded processors, chapter 5, pages 85–102. Kluwer Academic Publishers, July 1995.
Jill H. Larkin and Herbert A. Simon. Why a diagram is (sometimes) worth ten thousand words. Cognitive Science, 11:65–99, 1987.
Samuel Larsen, Emmett Witchel, and Saman Amarasinghe. Techniques for increasing and detecting memory alignment. Technical Report MIT-LCS-TM-621, MIT, USA, November 2001.
Per-Åke Larson and Murali Krishnan. Memory allocation for long-running server applications. In Proceedings of the First International Symposium on Memory Management ISMM'98, pages 176–185, 1998.
Kara A. Latorella. Investigating interruptions: Implications for flightdeck performance. Technical Report NASA/TM-1999-209707, NASA, October 1999.
Frederic Lavigne, Francoise Vitu, and Gery d'Ydewalle. The influence of semantic context on initial eye landing sites in words. Acta Psychologica, 104:191–214, 2000.
Orion Lawlor, Hari Govind, Isaac Dooley, Michael Breitenfeld, and Laxmikant Kale. Performance degradation in the presence of subnormal floating-point values. In Proceedings of the International Workshop on Operating System Interference in High Performance Applications, pages 859–863, September 2005.
Dawn Lawrie, Henry Feild, and David Binkley. Extracting meaning from abbreviated identifiers. In SCAM '07: Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation, pages 213–222, October 2007.
Alvin R. Lebeck. Cache conscious programming in undergraduate computer science. In Daniel Joyce, editor, Proceedings of the Thirtieth SIGCSE Technical Symposium on Computer Science Education, volume 31.1 of SIGCSE Bulletin, pages 247–251, N. Y., March 24–28 1999. ACM Press.
Christian Lebiere. The Dynamics of Cognition: An ACT-R Model of Cognitive Arithmetic. PhD thesis, Carnegie Mellon University, November 1998.
Chunho Lee, Miodrag Potkonjak, and William H. Mangione-Smith. MediaBench: A tool for evaluating and synthesizing multimedia and communications systems. In Proceedings of the 30^th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'97), pages 330–335. IEEE, December 1997.
Dennis C. Lee, Patrick J. Crowley, Jean-Loup Baer, Thomas E. Anderson, and Brian N. Bershad. Execution characteristics of desktop applications on Windows NT. In Proceedings of the 25^th Annual International Symposium on Computer Architecture (ISCA-98), volume 26,3 of ACM Computer Architecture News, pages 27–38, New York, June 27–July 1 1998. ACM Press.
Dennis Lee, Jean-Loup Baer, Brian Bershad, and Tom Anderson. Reducing startup latency in web and desktop applications. Technical Report TR-99-03-01, University of Washington, Department of Computer Science and Engineering, March 1999.
Dong Jae Lee. Interpretation of morpheme rank ordering in L₂ research. In Philip S. Dale and David Ingram, editors, Child Language – An International Perspective, pages 261–271. Baltimore: University Park Press, 1981.
Geoffrey Leech, Roger Garside, and Michael Bryant. CLAWS4: The tagging of the British national corpus. In Proceedings of the 15th International Conference on Computational Linguistics (COLING 94), pages 622–628, April 1994.
Geoffrey Leech, Paul Rayson, and Andrew Wilson. Word Frequencies in Written and Spoken English. Pearson Education, 2001.
Chingren Leen, Jenq Kuen Lee, Ting Ting Hwang, and Shi-Chun Tsai. Compiler optimization on instruction scheduling for low power. In Proceedings of the 13^th International Symposium on System Synthesis (ISSS'00), 2000.
Jo-Anne LeFevre and Jason Morris. More on the relation between division and multiplication in simple arithmetic: Evidence for mediation of division solutions via multiplication. Memory & Cognition, 27(5):803–812, 1999.
Vincent Lefèvre and Jean-Michel Muller. Worst case for correct rounding of the elementary functions in double precision. Technical Report No. 4004, Unité de recherche INRIA Rhône-Alpes, November 2000.
Jo-Anne LeFevre, Jeffrey Bisanz, Karen E. Daley, Lisa Buffone, Stephanie L. Greenham, and Gregory S. Sadesky. Multiple routes to solution of single-digit multiplication problems. Journal of Experimental Psychology: General, 125(3):284–306, 1996.
Charles Lefurgy, Eva Piccininni, and Trevor Mudge. Reducing code size with run-time decompression. In Proceedings of the Sixth International Symposium on High-Performance Computer Architecture, pages 218–227, Toulouse, France, January 8–12, 2000. IEEE Computer Society TCCA.
Charles Robert Lefurgy. Efficient Execution of Compressed Programs. PhD thesis, University of Michigan, 2000.
Gordon E. Legge, Timothy S. Klitz, and Bosco S. Tjan. Mr. Chips: An ideal-observer model of reading. Psychological Review, 104(3):524–553, 1997.
Darrin R. Lehman, Richard O. Lempert, and Richard E. Nisbett. The effects of graduate training on reasoning. American Psychologist, 43(6):431–442, 1988.
M. M. Lehman, J. F. Ramil, P. D. Wernick, D. E. Perry, and W. M. Wurski. Metrics and laws of software evolution - the nineties view. In 4^th International Software Metrics Symposium (METRICS '97), pages 20–32. IEEE, November 1997.
Patrick Lemaire and Michel Fayol. When plausibility judgments supersede fact retrieval: The example of the odd-even effect on product verification. Memory & Cognition, 23(1):34–48, 1995.
Patrick Lemaire, Herve Abdi, and Michel Fayol. The role of working memory resources in simple cognitive arithmetic. European Journal of Cognitive Psychology, 8(1):73–103, 1996.
Kevin M. Lepak, Gordon B. Bell, and Mikko H. Lipasti. Silent stores and store value locality. IEEE Transactions on Computers, 50:1174–1190, 2001.
Xavier Leroy. Formal certification of a compiler back-end or: Programming a compiler with a proof assistant. In Proceedings of the 2006 POPL Conference, pages 42–54, January 2006.
Timothy C. Lethbridge, Susan Elliott Sim, and Janice Singer. Software anthropology: Performing field studies in software companies. 2000.
Timothy C. Lethbridge. What knowledge is important to a software professional? IEEE Computer, 33(5):44–50, May 2000.
Stanley Letovsky. Cognitive processes in program comprehension. In Elliot Soloway and Sitharama Iyengar, editors, Empirical Studies of Programmers, pages 58–79. Ablex Publishing Corporation, 1986.
Stanley Letovsky. Cognitive processes in program comprehension. The Journal of Systems and Software, 7(4):325–339, December 1987.
Rainer Leupers and Fabian David. A uniform optimization technique for offset assignment problems. In Proceedings on 11^th international symposium on System synthesis, pages 3–8, December 1998.
Rainer Leupers and Peter Marwedel. Retargetable code generation based on structural processor descriptions. Design Automation for Embedded Systems, 3(1):1–36, January 1998.
Rainer Leupers and Peter Marwedel. Retargetable code generation based on structural processor descriptions. Design Automation for Embedded Systems, 3(1):1–36, January 1998.
Rainer Leupers. Exploiting conditional instructions in code generation for embedded VLIW processors. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition 1999, 1999.
Chuck Lever and David Boreham. malloc() Performance in a multithreaded linux environment. Technical Report CITI Technical Report 00-5, University of Michigan, May 2000.
Bruce Leverett and Thomas G. Szymanski. Chaining span-dependent jump instructions. ACM Transactions on Programming Languages and Systems, 2(3):274–289, 1980.
Bruce W. Leverett, Roderic G. G. Cattell, Steven O. Hobbs, Jospeh M. Newcomer, Andrew H. Reiner, Bruce R. Schatz, and William A. Wulf. An overview of the production-quality compiler-compiler project. Computer, 13(8):38–49, 1980.
John R. Levine. Linkers & Loaders. Morgan Kaufmann Publishers, 2000.
Pawel Lewicki, Thomas Hill, and Elizabeth Bizot. Acquisition of procedural knowledge about a pattern stimuli that cannot be articulated. Cognitive Psychology, 20:24–37, 1988.
Richard L. Lewis. Interference in short-term memory: The magical number two (or three) in sentence processing. Journal of Psycholinguistic Research, 25(1):93–115, 1996.
Bengu Li and Rajiv Gupta. Bit section instruction set extension of ARM for embedded applications. In International Conference on Compilers, Architecture, and Synthesis for Embedded Systems CASES 2002, pages 69–78. ACM, October 2002.
Kuo-Cheng Li and Herb Schwetman. Implementing a scalar C compiler on the Cyber 205. Software textendash Practice and Experience, 14(9):867–888, 1984.
Zhiyuan Li, Junjie Gu, and Gyungho Lee. An evaluation of the potential benefits of register allocation for array references. In Proceedings of the 1^st Workshop on Interaction between Compilers and Computer Architectures, February 1996.
Eldon Y. Li, Houn-Gee Chen, and Waiman Cheung. Total quality management in software development process. The Journal of the Quality Assurance Institute, 14(1):4–6 & 35–41, January 2000.
Wentian Li. Random texts exhibit Zipf's textendash law textendash like word frequency distribution. IEEE Transactions on Information Theory, 38(6):1842–1845, 1992.
Sarah Lichtenstein and Baruch Fishhoff. Do those who know more also know more about how much they know? Organizational Behavior and Human Performance, 20:159–183, 1977.
Wen-Yen Lin. An optimizing compiler for the TMS320C25 DSP processor. Thesis (m.s.), University of Toronto, Department of Electrical and Computer Engineering, 1995.
Dekang Lin. Automatic retrieval and clustering of similar words. In Proceedings of Coling/ACL-98, pages 768–774, 1998.
Mark A. Linton and Russell W. Quong. A macroscopic profile of program compilation and linking. IEEE Transactions on Software Engineering, 15(4):427–436, April 1989.
Mikko Herman Lipasti. Value locality and speculative execution. PhD thesis, Carnegie Mellon University, April 1997.
Andy Litman. An implementation of precompiled headers. Software textendash Practice and Experience, 23(3):341–350, 1993.
David C. Littman, Jeannine Pinto, Stanley Letovsky, and Elliot Soloway. Mental models and software maintenance. In Elliot Soloway and Sitharama Iyengar, editors, Empirical Studies of Programmers, pages 80–98. Ablex Publishing Corporation, 1986.
Ariadna Font Llitjós. Improving pronunciation accuracy of proper names with language origin classes. Thesis (m.s.), Carnegi Mellon University, PA, USA, August 2001.
Gordon D. Logan and Stuart T. Klapp. Automatizing alphabet arithmetic: I. Is extended practice necessary or produce automaticity? Journal of Experimental Psychology: Learning, Memory, and Cognition, 17(2):179–195, 1991.
Gordon P. Logan. Toward an instance theory of automatization. Psychological Review, 95(4):492–527, 1988.
Robert H. Logie, Sergio Della Sala, Val Wynn, and Alan D. Baddeley. Visual similarity effects in immediate verbal serial recall. The Quarterly Journal of Experimental Psychology, 53A(3):626–646, 2000.
Alexey Loginov, Suan Hsi Yong, Susan Horowitz, and Thomas Reps. Debugging via run-time type checking. In H. Hussmann, editor, Fundamental Approaches to Software Engineering 4th International Conference (FASE 2001), pages 217–232. Springer-Verlag, April 2001.
Longman. Longman Dictionary of Contemporary English. Longman, 2001.
Daniel P. Lopresti and Andrew Tomkins. Block edit models for approximate string matching. Theoretical Computer Science, 181(1):159–179, 1997.
Eugene A. Lovelace and Stephen S. Southall. Memory for words in prose and their locations on the page. Memory & Cognition, 11(5):429–434, 1983.
John Lu. Interprocedural Pointer Analysis for C. PhD thesis, Rice University, April 1998.
John A. Lucy. Language diversity and thought: A reformulation of the linguistic relativity hypothesis. Cambridge University Press, 1992.
Chi-Keung Luk and Todd C. Mowry. Compiler-based prefetching for recursive data structures. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, pages 222–233, October 1996.
Georgije Lukatela and M. T. Turvey. Reading in two alphabets. American Psychologist, 53(9):1057–1072, 1998.
Paul Lukowicz, Ernst A. Heinz, Lutz Prechelt, and Walter F. Tichy. Experimental evaluation in computer science: a quantitative study. Technical Report iratr-1994-17, Universität Karlsruhe, Institut für Programmstrukturen und Datenorganisation, February 1994.
Ken Lunde. Understanding Japanese Information Processing. O'Reilly & Associates, Inc., 1993.
Ken Lunde. CJKV Information Processing. O'Reilly & Associates, Inc., 1999.
Gang Luo, Tony Chen, and Hao Yu. Toward a progress indicator for program compilation. Software textendash Practice and Experience, 37(9):909–933, July 2007.
A. R. Luria. The mind of a mnemonist. Harvard University Press, 1986.
Richard Lutz and Stephan Greene. Measuring phonological similarity: The case of personal names. Technical report, Language Analysis Systems, Inc., 2001.
James N. MacGregor. Short-term memory capacity: Limitation or optimization? Psychological Review, 94(1):107–108, 1987.
Landis MacKellar. Variations in productivity over the life span: A review and some implications. Technical Report IR-02-061, International Institute for Applied Systems Analysis, Austria, September 2002.
I. Scott MacKenzie and R. William Soukoreff. Text entry for mobile computing: Models and methods, theory and practice. Human-Computer Interaction, 17:147–198, 2002.
Colin M. MacLeod and Kristina E. Kampe. Word frequency effects on recall, recognition, and word fragment completion tests. Journal of Experimental Psychology: Learning, Memory, and Cognition, 22(1):132–142, 1996.
C. M. MacLeod, E. B. Hunt, and N. N. Matthews. Individual differences in the verification of sentence-picture relationships. Journal of Verbal Learning and Verbal Behavior, 17:493–507, 1978.
W. Todd Maddox and Corey J. Bohil. Costs and benefits in perceptual categorization. Memory & Cognition, 28:597–615, 2000.
Daniel J. Magenheimer, Liz Peters, Karl W. Pettis, and Dan Zuras. Integer multiplication and division on the HP precision architecture. IEEE Transactions on Computers, 37(8):980–990, 1988.
Margaret Magnus. What's in a Word? Studies in Phonosemantics. PhD thesis, Norwegian University of Department of Linguistics Science and Technology, April 2001.
Eleanor A. Maguire, David G. Gadian, Ingrid S. Johnsrude, Catriona D. Good, John Ashburner, Richard S. J. Frackowiak, and Christopher D. Frith. Navigation-related structural change in the hippocampi of taxi drivers. Proceedings of the National Academy of Sciences, 97(8):4398–4403, 2000.
Michael A. Malcolm. On accurate floating-point summation. Communications of the ACM, 14(11):731–736, 1971.
Michael A. Malcolm. Algorithms to reveal properties of floating-point arithmetic. Communications of the ACM, 15(11):949–951, 1972.
Haroon Malik, Istehad Chowdhury, Hsiao-Ming Tsou, Zhen Ming Jiang, and Ahmed E. Hassan. Understanding the rationale for updating a function's comment. In Proceedings of the International Conference on Software Maintenance (ICSM'08), pages 167–176, October 2008.
Kenneth J. Malmberg, Mark Steyvers, Joseph D. Stephens, and Richard M. Shiffrin. Feature frequency effects in recognition memory. Memory & Cognition, 30(4):607–613, 2002.
Barbara C. Malt and Steven A. Sloman. Linguistic diversity and object naming by non-native speakers of English. Bilingualism: Language and Cognition, 6(1):47–67, 2003.
Barbara C. Malt, Steven A. Sloman, Silvia Gennari, Meiyi Shi, and Yuan Wang. Knowing versus naming: Similarity and the linguistic categorization of artifacts. Journal of Memory and Language, 40:230–262, 1999.
Barbara C. Malt, Steven A. Sloman, and Silvia P. Gennari. Universality and language specificity in object naming. Journal of Memory and Language, 49(1):20–42, 2003.
Jean M. Mandler and Nancy S. Johnson. Remembrance of things parsed: Story structure and recall. Cognitive Psychology, 9:111–151, 1977.
Ken Manktelow. Reasoning and thinking. Psychology Press, 1999.
Andrian Marcus and Jonathan I. Maletic. Identification of high-level concept clones in source code. In Proceedings of the 16^th IEEE International Conference on Automated Software Engineering (ASE 2001), pages 107–114, November 2001.
Arthur B. Markman and Edward J. Wisniewski. Similar and different: The differentiation of basic-level categories. Journal of Experimental Psychology: Learning, Memory and Cognition, 23(1):54–70, 1997.
A. I. Markushevich. Theory of Functions of a Complex Variable. American Mathematical Society, second edition, 1998.
George Marsaglia. Diehard random number test suite. stat.fsu.edu/~geo/diehard.html, 2003.
Milo M. Martin, Amir Roth, and Charles N. Fischer. Exploiting dead value information. In Proceedings of the 30^th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'97), pages 125–135. IEEE, December 1997.
Maryanne Martin. Memory span as a measure of individual differences in memory capacity. Memory & Cognition, 6(2):194–198, 1978.
William J. Masek and Michael S. Paterson. How to compute string-edit distances quickly. In David Sankoff and Joseph Kruskal, editors, Time Warps, String Edits, and Macromolecules, chapter 14, pages 337–349. CSLI Publications, 1999.
Henry Massalin. Superoptimizer – A look at the smallest program. In Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), pages 122–126. ACM Press, October 1987.
Dominic W. Massaro, Richard L. Venezky, and Glen A. Taylor. Orthographic regularity, positional frequency, and visual processing of letter strings. Journal of Experimental Psychology: General, 108(1):107–122, 1979.
Edgar Matias, I. Scott MacKenzie, and William Buxton. One-handed touch-typing on a QWERTY keyboard. Human-Computer Interaction, 11:1–27, 1996.
David W. Matula. In and out conversions. Communications of the ACM, 11:47–50, 1968.
Richard E. Mayer. Qualitatively different encoding strategies for linear reasoning premises: Evidence for single association and distance theories. Journal of Experimental Psychology: Human Learning and Memory, 5(1):1–10, 1979.
Ann Marie Grizzaffi Maynard, Colette M. Donnelly, and Bret R. Olszewski. Contrasting characteristics and cache performance of technical and multi-user commercial workloads. In ASPLOS-VI: Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 145–156, October 1994.
Jean Mayrand, Claude Leblanc, and Ettore M. Merlo. Automatic detection of function clones in a software system using metrics. In Proceedings of the International Conference on Software Maintenance, pages 244–254. IEEE Computer Society Press, November 1996.
James L. McClelland and David E. Rumelhart. An interactive activation model of context effects in letter perception: Part 1. An account of basic findings. Psychological Review, 88(5):375–405, 1981.
A. G. R. McClelland, R. E. Rawles, and F. E. Sinclair. The effects of search criteria and retrieval cue availability on memory for words. Memory & Cognition, 9(2):164–168, 1981.
David C. McClelland. Testing for competence rather than for "intelligence". American Psychologist, 28:1–14, January 1973.
Michael McCloskey, Allyson Washburn, and Linda Felch. Intuitive physics: The straight-down belief and its origin. Journal of Experimental Psychology: Learning, Memory and Cognition, 9(4):636–649, 1983.
Steve McConnell. Code Complete. Microsoft Press, 1993.
Kathleen B. McDermott. The persistence of false memories in list recall. Journal of Memory and Language, 35:212–230, 1996.
Daniel McFadden. Rationality for economists? Journal of Risk and Uncertainty, 19:73–105, 1999.
Daniel C. McFarlane. Interruption of people in human-computer interaction: A general unifying definition of human interruption and taxonomy. Technical Report NRL/FR/5510-97-9870, Naval Research Laboratory, December 1997.
Scott McFarling. Procedure merging with instruction caches. Technical Report WRL Research Report 91/5, Digital Western Research Laboratory, March 1991.
Katherine B. McKeithen, Judith S. Reitman, Henry H. Ruster, and Stephen C. Hirtle. Knowledge organization and skill differences in computer programmers. Cognitive Psychology, 13:307–325, 1981.
Kathryn S. McKinley and Olivier Temam. Quantifying loop nest locality using SPEC'95 and the Perfect benchmarks. ACM Transactions on Computer Systems, 17(4):288–336, November 1999.
Elinor McKone. Short-term implicit memory for words and nonwords. Journal of Experimental Psychology: Learning, Memory & Cognition, 21(5):1108–1126, 1995.
Gail McKoon and Roger Ratcliff. Contextually relevant aspects of meaning. Journal of Experimental Psychology: Learning, Memory, and Cognition, 14(2):331–343, 1988.
Larry McMahan and Ruby Lee. Pathlengths of SPEC benchmarks for PA-RISC, MIPS, and SPARC. In Proceedings of IEEE Compcon, pages 481–490, February 1993.
J. McMillan. Enhancing college student's critical thinking: A review of studies. Research in Higher Education, 26:3–29, 1987.
Timothy P. McNamara, James K. Hardy, and Stephen C. Hirtle. Subjective hierarchies in spatial memory. Journal of Experimental Psychology: Learning, Memory, and Cognition, 15(2):211–227, 1989.
John Michael McNamee. A comparison of methods for accurate summation. ACM SIGSAM Bulletin, 38(1):1–7, March 2004.
Kathryn H. McWeeny, Andrew W. Young, Dennis C. Hay, and Andrew W. Ellis. Putting names to faces. British Journal of Psychology, 78:143–149, 1987.
R. E. Melchers and M. V. Harrington. Human error in simple design tasks. Technical Report Civil Engineering Research Reports Report Number 31, Monash University, 1982.
Ralph C. Merkle. Energy limits to the computational power of the human brain. Foresight Update, 6, August 1989.
Metroworks. CodeWarrior C Compilers Reference. Metroworks Corp., August 2001.
Scott Meyers and Moises Lejter. Automatic detection of C++ programming errors: Initial thoughts on a lint++. Technical Report Technical Report CS-91-51, Brown University, 1991.
Scott Meyers, Carolyn K. Duby, and Steven P. Reiss. Constraining the structure and style of object-oriented programs. Technical Report CS-93-12, Department of Computer Science, Brown University, Box 1910, Providence, Rhode Island 02912, U.S.A., April 1993.
Scott Meyers. Effective C++: 50 Specific Ways to Improve Your Programs and Designs. Addison-Wesley professional computing series. Addison textendash Wesley, Reading, MA, USA, 1992.
Microchip. PIC18CXX2 High-Performance Microcontrollers with 10-Bit A/D, ds39026b edition, 1999.
Microsoft. Microsoft QuickC Compiler. Microsoft Corporation, 1987.
Ana Milanova, Atanas Rountev, and Barbara G. Ryder. Precise call graph construction in the presence of function pointers. In Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), pages 155–162, October 2002.
Stanley Milgram. Obedience to Authority. McGraw textendash Hill, 1974.
George A. Miller and Stephen Isard. Free recall of self-embedded English sentences. Information and Control, 7:292–303, 1964.
George A. Miller and Patricia E. Nicely. An analysis of perceptual confusions among some english consonants. The Journal of the Acoustical Society of America, 27(2):338–352, 1955.
James S. Miller and Guillermo J. Rozas. Garbage collection is fast, but a stack is faster. Technical Report A.I. Memo No. 1462, M.I.T., March 1994.
George A. Miller, Jerome S. Bruner, and Leo Postman. Familiarity of letter sequences and tachistoscope identification. The Journal of General Psychology, 50:129–139, 1954.
James Miller, John Daly, Murray Wood, Marc Roper, and Andrew Brooks. Statistical power and its subcomponents – missing and misunderstood concepts in empirical software engineering research. Technical Report EFOCS-15-94, Department of Computer Science, University of Strathclyde, Livingstone Tower, Richmond Street, Glasgow G1 1XH, UK, 1994.
James Miller, Murray Wood, Marc Roper, and Andrew Brooks. Further experiences with scenarios and checklists. Technical Report EFOCS-20-94, University of Strathclyde, 1994.
George A. Miller. The magical number seven, plus or minus two: Some limits on our capacity for processing information. The Psychological Review, 63(2):81–97, 1956.
MISRA. Guidelines for the Use of the C Language in Vehicle Based Software. Motor Industry Research Association, Nuneaton CV10 0TU, UK, 1998.
MISRA. MISRA-C:2004 Guidelines for the Use of the C Language in Vehicle Based Software. Motor Industry Research Association, Nuneaton CV10 0TU, UK, 2004.
MISRA. MISRA-C++:2008 Guidelines for the use of the C++ language in critical systems. Motor Industry Research Association, Nuneaton CV10 0TU, UK, 2008.
Brian S. Mitchell and Spiros Mancoridis. Comparing the decompositions produced by software clustering algorithms using similarity measures. In Proceedings of the 2001 International Conference on Software Maintenance (ICSM'01), pages 744–753. IEEE, April 2001.
Steven Mithen. The Prehistory of the Mind. Thames and Hudson, 1996.
Roger Mitton. English Spelling and the Computer. Longman, 1996.
Akira Miyake and Priti Shah. Models of Working Memory: Mechanisms of Active Maintenance and Executive Control. Cambridge University Press, 1999.
Etsuko Mizukami. The accuracy of floating-point summation for cg-like methods. Technical Report Technical Report 486, Indiana University, July 1997.
Markus Mock, Manuvir Das, Craig Chambers, and Susan J. Eggers. Dynamic points-to sets: A comparison with static analysis and potential applications in program understanding and optimization. Technical Report UW CSE Technical Report 01-03-01, University of Washington, March 2001.
Markus Ulrich Mock. Automatic Selective Dynamic Compilation. PhD thesis, University of Washington, 2002.
Audris Mockus and David M. Weiss. Predicting risk in software changes. Bell Labs Technical Journal, April-June 2000.
Audris Mockus, Roy T. Fielding, and James D. Herbsleb. Two case studies of open source software development: Apache and Mozilla. Technical Report ALR-2002-003, Avaya Labs Research, January 2002.
Thomas Moher and G. Michael Schneider. Methods for improving controlled experimentation in software engineering. In Proceedings of the 5^th international conference on Software engineering, pages 224–233. IEEE Computer Society, March 1981.
Carlos Molina, Antonio González, and Jordi Tubella. Dynamic removal of redundant computations. In Proceedings of the 13^th International Conference on Supercomputing, pages 474–481. ACM Press, 1999.
Josephine Monaghan and Andrew W. Ellis. What exactly interacts with spelling-sound consistency in word naming? Journal of Experimental Psychology: Learning, Memory, and Cognition, 28(1):183–206, 2002.
Padraic Monaghan. A corpus-based analysis of individual differences in proof-style. Thesis (m.s.), Centre for Cognitive Science, University of Edinburgh, 1995.
Padraic Monaghan. Representation and Strategy in Reasoning: An Individual Differences Approach. PhD thesis, University of Edinburgh, 2000.
Andrew F. Monk and Charles Hulme. Errors in proofreading: Evidence for the use of word shape in word recognition. Memory & Cognition, 11(1):16–23, 1983.
David Monniaux. The pitfalls of verifying floating-point computations. ACM Transactions on Programming Languages and Systems (TOPLAS), 30(3):1–41, May 2008.
Stephen Monsell, Karalyn E. Patterson, Andrew Graham, Claire H. Hughes, and Robert Milroy. Lexical and sublexical translation of spelling to sound: Strategic anticipation of lexical status. Journal of Experimental Psychology: Learning, Memory, and Cognition, 18(3):452–467, 1992.
Stephen Monsell. Task switching. TRENDS in Cognitive Science, 7(3):134–140, 2003.
Jo Ellen Moore and Lisa A. Burke. How to turn around 'turnover culture' in IT. Communications of the ACM, 45(2):73–78, 2002.
James A. Moorer. 48-bit integer processing beats 32-bit floating point for professional audio applications. In AES 107^th Convention, September 1999. preprint 5038.
B. J. T. Morgan, S. M. Chambers, and J. Morton. Acoustic confusion of digits in memory and recognition. Perception & Psychophysics, 14(2):375–383, 1973.
B. J. T. Morgan. Cluster analysis of two acoustic confusion matrices. Perception & Psychophysics, 13:12–24, 1973.
Jane Morris and Graeme Hirst. Lexical cohension computed by thesaural relations as an indicator of the structure of text. Computational Linguistics, 17(1):21–48, 1991.
D. Moseley. How lack of confidence in spelling affects children's written expression. Educational Psychology in Practice, 5(1):42–46, 1989.
Motorola, Inc. DSP563CCC Motorola DSP56300 Family Optimizing C Compiler User's Manual. Motorola, Inc, Austin, TX, USA, 19??
Motorola, Inc. MOTOROLA M68000 Family Programmer's Reference Manual. Motorola, Inc, 1992.
Motorola, Inc. PowerPC 601 RISC Microprocessor User's Manual. Motorola, Inc, 1993.
Motorola, Inc. DSP5600 24-bit Digital Signal Processor Family Manual. Motorola, Inc, Austin, TX, USA, dsp56kfamum/ad edition, 1995.
Motorola, Inc. AltiVec Technology Programming Interface Manual. Motorola, Inc, 1999.
Motorola, Inc. SC140 DSP Core Reference Manual. Motorola, Inc, 2 edition, April 2001.
Todd C. Mowry, Angela K. Demke, and Orran Krieger. Automatic compiler-inserted I/O prefetching for out-of-core applications. In Proceedings of the USENIX 2^nd Symposium on Operating Systems Designed and Implementation, pages 3–17. USENIX Association, October 1996.
Robert S. Moyer and Richard H. Bayer. Mental comparison and the symbolic distance effect. Cognitive Psychology, 8:228–246, 1976.
Robert S. Moyer and Thomas K. Landauer. Time required for judgements of numerical inequality. Nature, 215:1519–1520, 1967.
Steven S. Muchnick. Advances Compiler Design & Implementation. Morgan Kaufmann Publishers, 1997.
Shane T. Mueller, Travis L. Seymour, David E. Kieras, and David E. Meyer. Theoretical implications of articulatory duration, phonological similarity, and phonological complexity in verbal working memory. Journal of Experimental Psychology: Learning, Memory, and Cognition, 29(6):1353–1380, 2003.
Shane T. Mueller, Christoph T. Weidemann, and Richard M. Shiffrin. Alphabetic letter similarity matrices: Effects of bias, perceivability, similarity and evidence discounting. September 2007.
Markus Müller-Olm and Oliver Rüthing. On the complexity of constant propagation. In D. Sands, editor, 10^th European Symposium on Programming (ESCOP 2001), pages 190–205. Springer-Verlag, April 2001.
Jean-Michel Muller. On the definition of ulp (x). Technical Report No. 5504, Unité de recherche INRIA Rhône-Alpes, February 2005.
Gregory L. Murphy and Douglas L. Medin. The role of theories in conceptual coherence. Psychological Review, 92(3):289–315, 1985.
Gail C. Murphy, David Notkin, and Erica S. C. Lan. An empirical study of static call graph extractors. In Proceedings of the 18^th International Conference on Software Engineering, pages 90–99. IEEE Computer Society Press/ACM Press, 1996.
Gail C. Murphy, David Notkin, William G. Griswold, and Erica S. Lan. An empirical study of static call graph extractors. ACM Transactions on Software Engineering and Methodology, 7(2):158–191, April 1998.
Paul Muter and Elizabeth E. Johns. Learning logographies and alphabetic codes. Applied Cognitive Psychology, 4:105–125, 1985.
Robert Muth, Saumya Debray, Scott Watterson, and Koen de Bosschere. alto: A link-time optimizer for the DEC Alpha. Technical Report TR98-14, The Department of Computer Science, University of Arizona, Wednesday, December 9 1998.
Robert Muth, Scott Watterson, and Saumya Debray. Code specialization based on value profiles. In Proceedings 7^th International Static Analysis Symposium (SAS 2000), volume 1824 of LNCS, pages 340–359. Springer, 2000.
Isabel Briggs Myers, Mary H. McCaulley, Naomi L. Quenk, and Allen L. Hammer. A Guide to the Development and Use of the Myers-Briggs Type Indicator. Consulting Psychologists Press, third edition, 1998.
Clifford R. Mynatt, Michael E. Doherty, and William Dragan. Information relevance, working memory, and the consideration of alternatives. Quarterly Journal of Experimental Psychology, 46A(4):759–778, 1993.
Clifford R. Mynatt, Michael E. Doherty, and Ryan D. Tweney. Confirmation bias in a simulated research environment. Quarterly Journal of Experimental Psychology, 29:85–95, 1997.
Ramadass Nagarajan, Karthikeyan Sankaralingam, Doug Burger, and Stephen W. Keckler. A design space evaluation of grid processor architectures. In Proceedings of the 34^th Annual International Symposium on Microarchitecture, pages 40–51, December 2001.
James S. Nairne. A feature model of immediate memory. Memory & Cognition, 18(3):251–269, 1990.
Tarun Nakra. A framework for performing prediction in VLIW architectures. PhD thesis, University of Pittsburgh, 2001.
Jagadeesh Nandigam. A Measure for Module Cohesion. PhD thesis, University of Louisiana, May 1995.
NASA. NASA GB-1740.13-96: NASA guidebook for safety critical software - analysis and development. Technical report, NASA Glenn Research Center, 1996.
Paul Nation and Robert Waring. Vocabulary size, text coverage and word lists. In Norbert Schmitt and Michael McCarthy, editors, Vocabulary: Description, Acquisition and Pedagogy, chapter 1.1, pages 6–19. Cambridge University Press, 1998.
Gonzalo Navarro, Ricardo Baeza-Yates, and Jo ao Marcelo Azevedo Arcoverde. Matchsimile: A flexible approximate matching tool for personal names searching. Journal of the American Society of Information Systems and Technology, 54(1):3–15, 2003.
Iulian Neamtiu, Jeffrey S. Foster, and Michael Hicks. Understanding source code evolution using abstract syntax tree matching. In Proceedings of the 2005 International Workshop on Mining Software Repositories, pages 1–5, May 2005.
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Practical dynamic software updating for C. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 72–83, June 2006.
Iulian Neamtiu. Detailed break-down of general data provided in paper [Neamtiu et al., 2005] kindly supplied by first author. January 2008.
Ian Neath and James S. Nairne. Word-length effects in immediate memory: Overwriting trace decay theory. Psychonomic Bulletin & Review, 2(4):429–441, 1995.
George C. Necula and Peter Lee. The design and implementation of a certifying compiler. In Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation (PLDI), pages 333–344, 1998.
George C. Necula, Scott McPeak, and Wes Weimer. Taming C pointers. www.cs.berkeley.edu/~necula, 2004.
George C. Necula. Compiling with Proofs. PhD thesis, Carnegie Mellon University, October 1998. Available as Technical Report CMU-CS-98-154.
George C. Necula. Translation validation for an optimizing compiler. SIGPLAN Conference on Programming Language Design and Implementation, pages 83–95, 2000.
Douglas L. Nelson and Cathy McEvoy. Word fragments as retrieval cues: Letter generation or search through nonsemantic memory? American Journal of Psychology, 97(1):17–36, 1984.
Douglas L. Nelson, Cathy L. McEvoy, and Thomas A. Schreiber. The university of south Florida word association, rhyme and word fragment norms. Technical report, University of South Florida, August 1999. www.usf.edu/FreeAssociation.
Kay M. Nelson, H. James Nelson, and Mehdi Ghods. Understanding the personal competencies of IS support experts: Moving towards the E-business future. In 34^th Annual Hawaii International Conference on System Sciences (HICSS-34)-Volume 8. IEEE, January 2001.
Alan Newell and Paul S. Rosenbloom. Mechanisms of skill acquisition and the power law of practice. In John R. Anderson, editor, Cognitive skills and their acquisition, pages 1–54. Erlbaum, Hillsdale, NJ, 1981.
K. C. Ng and FP group of SunPro. Argument reduction for huge arguments: Good to the last bit. Work in progress, March 1992.
David M. Nichols and Michael B. Twidale. Usability and open source software. Technical Report Working Paper 10/02, University of Waikato, 2002.
C. A. Nickerson and D. S. Cartwright. An empirical thesaurus: Meaning norms for 90 common words, complete tables. Technical Report 85, University of Colorado at Boulder, October 1979.
Ray S. Nickerson, David N. Perkins, and Edward E. Smith. The Teaching of Thinking. Erlbaum, Hillsdale NJ, 1985.
Xiaoning Nie, Lajos Gazsi, Frank Engel, and Gerhard Fettweis. A new network processor architecture for high-speed communications. In IEEE Workshop on Signal Processing Systems (SiPS'99), 1999.
Barry K. Nirmal. PROGRAMMING STANDARDS and GUIDELINES: COBOL edition. Prentice-Hall, Inc, 1987.
Richard E. Nisbett and Ara Norenzayan. Culture and cognition. In Douglas Medin and Hal Pashler, editors, Stevens' Handbook of Experimental Psychology, Volume Two: Memory and Cognitive Processes, chapter 13. John Wiley & Sons, third edition, April 2002.
Richard E. Nisbett, David H. Krantz, Christopher Jepson, and Ziva Kunda. The use of statistical heuristics in everyday inductive reasoning. Psychological Review, 90(4):339–363, 1983.
Richard E. Nisbett, Kaiping Peng, Incheol Choi, and Are Norenzayan. Culture and thought. Psychological Review, 108:291–310, 2001.
Michael Norrish. C formalized in HOL. PhD thesis, Cambridge University, 1998.
Robert M. Nosofsky. Exemplar-based accounts of relations between classification, recognition and typicality. Journal of Experimental Psychology: Learning, Memory, and Cognition, 14(4):700–708, 1988.
Ira Noveck, Gennaro Chierchia, and Emmanuel Sylvestre. Linguistic-pragmatic factors in interpreting disjunctions. Thinking and Reasoning, 8(4):297–326, 2002.
Numerical C Extensions Group. Float-point C extensions. Technical Report X3J11.1/93-028, American National Standards Institute, August 1993.
Jozef M. Nuttin Jr. Affective consequence of mere ownership: The name letter effect in twelve European languages. European Journal of Social Psychology, 17:381–402, 1987.
Mike Oaksford and Nick Chater. A rational analysis of the selection task as optimal data selection. Psychological Review, 101(4):608–631, 1994.
Klaus Oberauer, Heinz-Martin Süß, Oliver Wilhelm, and Werner W. Wittmann. The multiple faces of working memory: Storage, processing, supervision, and coordination. Intelligence, 31:167–193, 2003.
Jon Oberlander, Ricghard Cox, Padraic Monaghan, Keith Stenning, and Richard Tobin. Individual differences in proof structures following multimodal logic teaching. In Proceedings of the 18^th Annual Meeting of the Cognitive Science Society, pages 201–206, 1996.
Stuart Franklin Oberman. Design issues in high performance floating point arithmetic units. Technical Report CSL-TR-96-711, Stanford University, December 1996.
Sandra Martin O'Donnell. Programming for the World. Prentice Hall, Inc, 1994.
UK Ministry of Defence. Defence Standard 00-55. Requirements for safety related software in defence equipment. Part 2: Guidance. UK Ministry of Defence, August 1997.
A. Jefferson Offutt, Mary Jean Harrold, and Priyadarshan Kolte. A software metric system for module coupling. The Journal of Systems and Software, 20(3):295–308, 1993.
Kemal Oflazer and Cemaleddin Güzet. Spelling correction in agglutinative languages. Technical Report BU-CEIS-9401, Bilkent University, 1994.
Kenton O'Hara. Towards a typology of reading goals. Technical Report Technical Report EPC-1996-107, Rank Xerox Research Centre, 1996.
Magnus C. Ohlsson. Utilisation of historical data for controlling and improving software development. Licentiate, Lund Institute of Technology, Sweden, 1999.
Magnus C. Ohlsson. Controlling Fault-Prone Components for Software Evolution. PhD thesis, Lund Institute of Technology, Sweden, 2001.
Yutaka Oiwa, Tatsurou Sekiguichi, Eijiro Sumii, and Akinori Yonezawa. Fail-safe ANSI-C compiler: An approach to making C programs secure. In Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, and Akinori Yonezawa, editors, Software Security – Theories and Systems, pages 133–153. Springer-Verlag, April 2003.
Tokeshi Okada. A corpus analysis of spelling errors made by Japanese EFL writers. Yamagata English Studies, 9:17–36, 2004.
Takeshi Okada. A corpus-based study of spelling errors of Japanese EFL writers with reference to errors occurring in word-initial and word-final positions. In Vivian Cook and Benedetta Basetti, editors, Second Language Writing Systems, chapter 6, pages 164–183. Multilingual Matters Limited, 2005.
Amos R. Omondi. Computer Arithmetic Systems: Algorithms, architecture, and implementation. Prentice Hall, Inc, 1994.
Naoyuki Osaka. Eye fixation and saccade during kana and kanji text reading: Comparison of English and Japanese text processing. Bulletin of the Psychonomic Society, 27(6):548–550, 1989.
Daniel N. Osherson, Ormond Wilkie, Eldar Shafir, Edward E. Smith, and Alejandro López. Category-based induction. Psychological review, 97(2):185–200, 1990.
Emre Özer, Andy P. Nisbet, and David Gregg. Stochastic bit-width approximation using extreme value theory for customizable processors. In Compiler Construction, 13^th International Conference, pages 250–264, April 2004.
Kenneth R. Paap, Sandra L. Newsome, and Ronald W. Noel. Word shape's in poor shape for the race to the lexicon. Journal of Experimental Psychology: Human Perception and Performance, 10(3):413–428, 1984.
Hewlett Packard. HP C/iX Reference Manual. Hewlett Packardi, Inc, USA, 3 edition, April 1999.
Hewlett Packard. HP C/HP-UX Programmer's Guide. Hewlett Packard Company, tenth edition, December 2001.
Yoann Padioleau, Lin Tan, and Yuanyuan Zhou. Listening to programmers – taxonomies and characteristics of comments in operating system code. In Proceedings of the 31^st International Conference on Software Engineering (ICSE'09), pages 331–341, May 2009.
Paul W. Paese and Janet A. Sniezek. Influences on the appropriateness of confidence in judgment: Practice, effort, information, and decision-making. Organizational Behavior and Human Decision Processes, 48:100–130, 1991.
Vincent Pagel, Kevin Lenzo, and Alan W. Black. Letter to sound rules for accented lexicon compression. In ICSLP98, volume 5, pages 2015–2020, 1998.
Krishna V. Palem and Rodric M. Rabbah. Bridging processor and memory performance in ILP processors via data-remapping. Technical Report GIT-CC-01-014, Georgia Institute of Technology, June 2001.
Jeffrey Palm and J. Eliot B. Moss. When to use a compilation service? In Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems, LCTES'02, pages 194–203. ACM, June 2002.
John Palmer, Preeti Verghese, and Misha Pavel. The psychophysics of visual search. Vision Research, 40:1227–1268, 2000.
David D. Palmer. A trainable rule-based algorithm for word segmentation. In Philip R. Cohen and Wolfgang Wahlster, editors, Proceedings of the Thirty-Fifth Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics, pages 321–328. Association for Computational Linguistics, 1997.
Stephen E. Palmer. Vision Science: Photons to Phenomenology. The MIT Press, 1999.
Vlad-Mihai Panait, Amit Sasturkar, and Weng-Fai Wong. Static identification of delinquent loads. In Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, pages 303–314, March 2004.
Preeti Ranjan Panda, Nikil D. Dutt, and Alexandru Nicolau. Memory data organization for improved cache performance in embedded processor applications. ACM Transactions on Design Automation of Electronic Systems, 2(4):384–409, October 1997.
P. Panda, F. Catthoor, N. Dutt, K. Danckaert, E. Brockmeyer, C. Kulkarni, A. Vandecappelle, and P. G. K. Kjeldsberg. Data and memory optimization techniques for embedded systems. ACM Transactions on Design Automation and Electronic Systems, 6(2):149–206, April 2001.
S. Paoli. C++ coding standard specification. Technical Report CERN-UCO/1999/207, CERN, January 2000.
Nikolaos S. Papaspyrou. A Formal Semantics for the C Programming Language. PhD thesis, National Technical University of Athens, Greece, February 1998.
Dharmesh Parikh, Kevin Skadron, Yan Zhang, Marco Barcella, and Mircea R. Stan. Power issues related to branch prediction. In Proceedings of Eighth International Symposium on High-Performance Computer Architecture (HPCA'02), pages 233–244, February 2002.
Robert E. Park. Software size measurement: A framework for counting source statements. Technical Report CMU/SEI-92-TR-20, Software Engineering Institute, September 1992.
J. R. Parker. A general character to integer conversion method. Software textendash Practice and Experience, 15(8):761–766, 1985.
John M. Parkman and Guy J. Groen. Temporal aspects of simple addition and comparison. Journal of Experimental Psychology, 89(2):335–342, 1971.
John M. Parkman. Temporal aspects of simple multiplication and comparison. Journal of Experimental Psychology, 95(2):437–444, 1972.
Michael Parks. Number-theoretic test generation for directed rounding. IEEE Transactions on Computers, 49(2):651–658, July 2000.
D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053–1058, 1972.
Harold E. Pashler. The Psychology of Attention. The MIT Press, 1999.
Mark A. Paskin. Maximum entropy probabilistic logic. Technical report, University of California, Berkeley, USA, 2002.
Barbara K. Pasquale and George C. Polyzos. A static analysis of I/O characteristics of scientific applications in a production workload. In Proceedings of Supercomputing '93, pages 388–397, November 1993.
Arvind Patel. Auditors' belief revision: Recency effects of contrary and supporting audit evidence and source reliability. The Auditors Report, 24(3), 2001.
E. Paulesu, E. McCrory, F. Fazio, L. Menoncello, N. Brunswick, S. F. Cappa, M. Cotelli, G. Cossu, F. Corte, M. Lorusso, S. Pesenti, A. Gallagher, D. Perani, C. Price, C. D. Frith, and U. Frith. A cultural effect on brain function. Nature Neuroscience, 3(1):91–96, January 2000.
Antonella Pavese and Carlo Umiltà. Symbolic distance between numerosity and identity moulates stroop-like interference. Journal of Experimental Psychology: Human Perception and Performance, 24(5):1535–1545, 1998.
John W. Payne, James R. Bettman, and Eric J. Bettman. The Adaptive Decision Maker. Cambridge University Press, 1993.
Guillermo Paz-y-Miño C, Alan B. Bond, Alan C. Kamil, and Russell P. Balda. Pinyon jays use transitive inference to predict social dominance. Nature, 430:778–781, August 2004.
Michael J. Pazzani. Influence of prior knowledge on concept acquisition: Experimental and computational results. Journal of Experimental Psychology: Learning, Memory and Cognition, 17(3):416–432, 1991.
Judea Pearl. Causality: Models, Reasoning, and Inference. Cambridge University Press, 2000.
Ronald Peereman and Alain Content. Orthographic and phonological neighborhood in naming: Not all neighbors are equally influential in orthographic space. Journal of Memory and Language, 37:382–410, 1997.
Ronald Peereman and Alain Content. Quantitative analyses of orthography to phonology mapping in English and French. student.vub.ac.be/~acontent/OPMapping.html, 1998.
Denis G. Pelli, Catherine W. Burns, Bart Farell, and Deborah C. Moore. Identifying letters. Vision Research, 46(28):4646–4674, 2006.
Kaiping Peng, Daniel R. Ames, and Eric D. Knowles. Culture and human inference: Perspectives from three traditions. In David Matsumoto, editor, The Handbook of Culture and Psychology, pages 243–263. Oxford University Press, October 2001.
Nancy Pennington. Comprehension strategies in programming. In Gary Olson, Sylvia Shepard, and Elliot Soloway, editors, Empirical Studies of programmers: Second Workshop, chapter 7, pages 100–113. Ablex Publishing, 1987.
Nancy Pennington. Stimulus structures and mental representations in expert comprehension of computer programs. Cognitive Psychology, 19:295–341, 1987.
Manuel Perea and Eva Rosa. Does "whole word shape" play a role in visual word recognition? Perception and Psychophysics, 64(5):785–794, 2002.
Perkin-Elmer. C PROGRAMMING Manual. Perkin-Elmer Corporation, Oceanport, New Jersey 07757, 1984.
D. E. Perry and W. M. Evangelist. An empirical study of software interface faults. In International Symposium on New Directions in Computing, pages 32–38. IEEE, August 1985.
Dewayne E. Perry and Carol S. Stieg. Software faults in evolving a large, real-time system: a case study. In Proceedings of the 1993 European Software Engineering Conference, pages 48–67, 1993.
Dewayne E. Perry, Nancy A. Staudenmayer, and Lawrence G. Votta Jr. People, organizations, and process improvement. IEEE Software, 11(4):36–45, July 1994.
Dewayne E. Perry, Nancy A. Staudenmayer, and Lawrence G. Votta Jr. Understanding and improving time usage in software development. In Alfonso Fuggetta and Alexander L. Wolf, editors, Trends in Software Process, chapter 5. John Wiley & Sons, 1996.
Conrad Perry, Johannes C. Ziegler, and Max Coltheart. How predictable is spelling? Developing and testing metrics of phoneme-grapheme contingency. The Quarterly Journal of Experimental Psychology, 55A(3):897–915, 2002.
James L. Peterson. A note on undetected typing errors. Communications of the ACM, 29(7):633–637, 1986.
Grant W. Petty. Automated computation and consistency checking of physical dimensions and units in scientific programs. Software textendash Practice and Experience, 31(11):1067–1076, September 2001.
Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall International, 1987.
R. J. Phillips. Why is lower case better? Applied Ergonomics, 10(4):211–214, 1979.
Richard J. Phillips. Searching for a target in a random arrangement of names: An eye fixation analysis. Canadian Journal of Psychology, 35(4):330–346, 1981.
Colin Phillips. Order and Structure. PhD thesis, M.I.T., August 1996.
Rik Pieters and Luk Warlop. Visual attention during brand choice: The impact of time pressure and task motivation. International Journal of Research in Marketing, 16:1–16, 1999.
Rob Pike. How to use the Plan 9 C compiler. In Plan 9 Programmer's Manual. AT&T Bell Laboratories, 1995.
Steven Pinker. How the Mind Works. Penguin, 1997.
Steven Pinker. Words and Rules. Weidenfeld & Nicolson, 1999.
Ari Pirkola. Morphological typology of languages in IR. Journal of Documentation, 57(3):330–348, 2001.
Peter Pirolli and Stuart K. Card. Information foraging. Psychological Review, 106(4):643–675, 1999.
Madelaine Plauché, Cristina Delogu, and John J. Ohala. Asymmetries in consonant confusion. In Proceedings of Eurospeech 1997: 5^th European Conference on Speech Communication and Technology: Vol 4, pages 2187–2190, September 1997.
P. J. Plauger. The Standard C Library. Prentice Hall, Inc, 1992.
David C. Plaut and James R. Booth. Individual and developmental differences in semantic priming: Empirical and computational support for a single-mechanism account of lexical processing. Psychological Review, 107:786–823, 2000.
David C. Plaut, James L. McClelland, Mark S. Seidenberg, and Karalyn Patterson. Understanding normal and impaired word reading: Computational principles in quasi-regular domains. Psychological Review, 103(1):56–115, 1996.
Rolf Ploetzner and Kurt VanLehn. The acquisition of qualitative physics knowledge during textbook-based physics trainings. Cognition and Instruction, 15(2):169–205, 1997.
T. Plum and D. Saks. C++ Programming Guidelines. Plum Hall, 1991.
Thomas Plum. Reliable data structures in C. Plum Hall, 1985.
Thomas Plum. C Programming guidelines. Plum Hall, 1989.
Massimiliano Poletto and Vivek Sarkar. Linear scan register allocation. ACM Transactions on Programming Languages and Systems, 21(5):895–913, September 1999.
Alexander Pollatsek, Shmuel Bolozky, Arnold D. Well, and Keith Rayner. Asymmetries in the perceptual span for Israeli readers. Brain and Language, 14:174–180, 1981.
Thijs Pollmann and Carel Jansen. The language user as an arithmetician. Cognition, 59:219–237, 1996.
J. J. Pollock and A. Zamora. Collection and characterization of spelling errors in scientific and scholarly text. Journal of the American Society for Information Science, 34(1):51–58, 1983.
M. Popovic and P. Willett. The effectiveness of stemming for natural-language access to Slovene textual data. Journal of the American Society for Information Science, 43(5):384–390, 1992.
Karl R. Popper. Conjectures and Refutations. Routledge, 1969.
Adam Porter and Lawrence Votta. Comparing detection methods for software requirements inspections: A replication using professional subjects. Empirical Software Engineering, 3(4):355–379, 1998.
Adam Porter, Harvey Siy, and Lawrence Votta. A review of software inspections. In Marvin Zelkowitz, editor, Advances in Computers 42, pages 39–76. Academic Press, 1996.
Adam A. Porter, Harvey Siy, Audris Mockus, and Lawrence G. Votta. Understanding the sources of variation in software inspections. Technical Report CS-TR-3762, University of Maryland, College Park, January 1997.
Adam A. Porter, Harvey P. Siy, Carol A. Toman, and Lawrence G. Votta. An experiment to assess the cost-benefits of code inspections in large scale software development. IEEE Transactions on Software Engineering, 23(6):329–346, June 1997.
POSC. POSC Base Computer Standards: version 2. Prentice Hall, Inc, 1994.
Matthew Postiff, David Greene, and Trevor Mudge. The need for large register files in integer codes. Technical Report CSE-TR-434-00, The University of Michigan, August 2000.
Albert Postma, Roelanda Izendoorn, and Edward H. F. De Haan. Sex differences in object location memory. Brain and Cognition, 36:334–345, 1998.
Emmanuel M. Pothos and Nick Chater. Rational categories. In Proceedings of the Twentieth Annual Conference of the Cognitive Science Society, pages 848–853, 1998.
Mary C. Potter, Anita Moryadas, Irene Abrams, and Audra Noel. Word perception and misperception in context. Journal of Experimental Psychology: Learning, Memory & Cognition, 19(1):3–22, 1993.
George R. Potts. Storing and retrieving information about ordering relationships. Journal of Experimental Psychology, 103(3):431–439, 1974.
David M. W. Powers. Applications and explanations of Zipf's law. In D. M. W. Powers, editor, NeMLaP3/CoNLL98: New Methods in Language Processing and Computational Natural Language Learning, pages 151–160, 1998.
Lutz Prechelt and Walter F. Tichy. A controlled experiment measuring the effect of procedure argument type checking on programmer productivity. Technical Report Technical Report CMU/SEI-96-TR-014, Software Engineering Institute, Carnegie Mellon University, 1996.
Lutz Prechelt, Guido Malpohl, and Michael Phlippsen. JPlag: Finding plagiarisms among a set of programs. Technical Report Technical Report 2000-1, Universität Karlsruhe, Fakultat für Informatik, 2000.
Lutz Prechelt. Why we need an explicit forum for negative results. Journal of Universal Computer Science, 3(9):1074–1083, 1997.
Lutz Prechelt. The 28:1 Grant/Sackman legend is misleading, or: How large is interpersonal variation really? Technical Report iratr-1999-18, Universität Karlsruhe, 1999.
Lutz Prechelt. Comparing Java vs. C slash C++ efficiency differences to interpersonal differences. Communications of the ACM, 42(10):109–112, October 1999.
Lutz Prechelt. An empirical comparison of C, C++, Java, Perl, Python, Rexx and Tcl for a string processing program. Technical Report Technical Report 2000-5, Universität Karlsruhe, Fakultat für Informatik, 2000.
William H. Press, Brian P. Flannery, Saul A. Teukolsky, and William T. Vetterling. Numerical Recipes in C: The Art of Scientific Computing. Cambridge University Press, second edition, 1993.
Clark C. Presson and Daniel R. Montello. Updating after rotational and translational body movements: coordinate structure of perspective space. Perception, 23:1447–1455, 1994.
Douglas M. Priest. On Properties of Floating-Point Arithmetic: Numerical Stability and the Cost of Accurate Computations. PhD thesis, University of California at Berkeley, November 1992.
Linda Pring. Phonological codes and functional spelling units: Reality and implications. Perception and Psychophysics, 30(6):573–578, 1981.
Todd A. Proebsting and Benjamin G. Zorn. Programming shorthand. Technical Report Technical Report MSR-TR-2000-03, Microsoft Research, 2000.
Julia Beth Proffitt, John D. Coley, and Douglas L. Medin. Expertise and category-based induction. Journal of Experimental Psychology: Learning, Memory, and Cognition, 26(4):811–828, 2000.
C. Pronk. Stress testing of compilers for Modula-2. Software textendash Practice and Experience, 22(10):885–897, 1992.
PTSC. Patriot C Development Tools Reference Manual. Patriot Scientific Corporation, San Diego, CA, 1.1 edition, February 2001.
PTSC. IGNITE Intellectual Property Reference Manual. Patriot Scientific Corporation, San Diego, CA, 1.0 edition, March 2002.
Zenon Pylyshyn. Is vision continuous with cognition? The case for cognitive impenetrability of visual perception. Behavioral and Brain Sciences, 22(3):341–423, 1999.
Steve Qualline. C Elements of Style. M&T Books, 1992.
Philip T. Quinlan and Richard N. Wilton. Grouping by proximity or similarity? Competition between gestalt principles in vision. Perception, 27:417–430, 1998.
Graham Quinton and Brian J. Fellows. 'Perceptual` strategies in the solving of three-term series problems. British Journal of Psychology, 66:69–78, 1975.
Matthew Rabin and Joel Schrag. First impressions matter: A model of confirmation bias. Quarterly Journal of Economics, 114:37–82, 1999.
Henry Rabinowitz and Chaim Schaap. Portable C. Prentice Hall, Inc, 1990.
David Raffo, John Settle, and Warren Harrison. Investigating financial measures for planning software IV&V. Technical Report TR-99-05, Portland State University, 1999.
Mohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, and Richard D. Schlichting. System call clustering :A profile-directed optimization technique. www.cs.arizona.edu, May 2002.
Ryan Rakvic, Ed Grochowski, Bryan Black, Muraki Annavaram, Trung Diep, and John P. Shen. Performance advantage of the register stack in Intel Itanium processors. In 2^nd Workshop on Explicitly Parallel Instruction Computing Architecture and Compilers (EPIC-2), November 2002.
G. Ramalingam. Identifying loops in almost linear time. Transactions on Programming Languages and Systems (TOPLAS), 21(2):175–188, 1999.
Murali Krishna Ramanathan, Ananth Grama, and Suresh Jagannathan. Path-sensitive inference of function precedence protocols. In Proceedings of the 29^th International Conference on Software Engineering, pages 240–250, May 2007.
Alex Ramírez, Josep-L. Larriba-Pey, Carlos Navarro, Xavi Serrano, Josep Torrellas, and Mateo Valero. Code reordering of decision support systems for optimized instruction fetch. In IEEE International Conference on Parallel Processing (ICPP99), 1999.
Jay Ranade and Alan Nash. The Elements of C Programming Style. McGraw-Hill, Inc, 1992.
Parthasarathy Ranganathan, Kourosh Gharachorloo, Sarita V. Adve, and Luiz André Barroso. Performance of database workloads on shared-memory systems with out-of-order processors. In Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 1998.
Amit Rao. Compiler optimizations for storage assignment on embedded DSPs. Thesis (m.s.), University of Cincinnati, October 1998.
Kathleen Rastle and Max Coltheart. Whammies and double whammies: The effect of length on nonword reading. Psychonomic Bulletin and Review, 5:277–282, 1998.
Emily J. Ratliff. Decreasing process memory requirements by overlapping run-time stack data. Thesis (m.s.), Florida State University, College of Arts and Sciences, 1997.
Keith Rayner, Katherine S. Binder, Jane Ashby, and Alexander Pollatsek. Eye movement control in reading: word predictability has little influence on initial landing position in words. Vision Research, 41:943–954, 2001.
Keith Rayner. Eye movements in reading and information processing: 20 years of research. Psychology Bulletin, 124(3):372–422, 1998.
James Reason. Human Error. Cambridge University Press, 1990.
Arthur S. Reber and Saul M. Kassin. On the relationship between implicit and explicit modes in the learning of a complex rule structure. Journal of Experimental Psychology: Human Learning and Memory, 6(5):492–502, 1980.
RedHill Consulting, Pty. Simian - similarity analyser, v 2.0.2. www.redhillconsulting.com.au, 2004.
Gerald M. Reicher. Perceptual recognition as a function of meaningfulness of stimulus material. Journal of Experimental Psychology, 81(2):275–280, 1969.
Erik D. Reichle, Alexander Pollatsek, Donald L. Fisher, and Keith Rayner. Towards a model of eye movement control in reading. Psychological Review, 105(1):125–157, 1998.
Erik D. Reichle, Keith Rayner, and Alexander Pollatsek. The E-Z reader model of eye-movement control in reading: Comparison to other models. Behavioral and Brain Sciences, 26(4):445–476, 2003.
Donald J. Reifer. Qualifying the debate: Ada vs C++. Crosstalk: The Journal of Defense Software Engineering, 1996.
Thomas W. Reps. "maximal-munch" tokenization in linear time. ACM Transactions on Programming Languages and Systems, 20(2):259–273, March 1998.
Programming Research. QAC Users Guide. Programming Research, Hersham, Surrey, KT12 5LU, pc version 5.0 edition, April 2003.
Philip Resnick. Semantic similarity in a taxonomy: An information based measure and its application to ambiguity in natural language. Journal of A.I. Research, 11:95–130, 1999.
Arnaud Rey, Arthur M. Jacobs, Florian Schmidt-Weigand, and Johannes C. Ziegler. A phoneme effect in visual word recognition. Cognition, 68:B71–B80, 1998.
Arnaud Rey, Johannes C. Ziegler, and Arthur M. Jacobs. Graphemes are perceptual reading units. Cognition, 75:B1–B12, 2000.
Martin Richards and Colin Whitby-Strevens. BCPL textemdash the language and its compiler. Cambridge University Press, 1979.
Jack C. Richards. The role of vocabulary teaching. TESOL Quarterly, 10(1):77–89, 1976.
Juliet Richardson and Thomas C. Ormerod. Rephrasing between disjunctives and conditionals: Mental models and the effects of thematic content. The Quarterly Journal of Experimental Psychology, 50A(2):358–385, 1997.
Stephen E. Richardson. Caching function results: Faster arithmetic by avoiding unnecessary computation. Technical Report SMLI TR-92-1, Sun Microsystems Laboratories, Inc, September 1992.
Paul L. Richman. Floating-point number representations: base choice versus exponent range. Technical Report CS-TR-67-64, Stanford University, Department of Computer Science, April 1967.
Lance J. Rips, Edward J. Shoben, and Edward E. Smith. Semantic distance and the verification of semantic relations. Journal of Verbal Learning and Verbal Behavior, 12:1–20, 1973.
Lance J. Rips. Inductive judgments about natural categories. Journal of Verbal Learning and Verbal Behavior, 14:665–681, 1975.
Lance J. Rips. The Psychology of Proof. The MIT Press, 1994.
D. M. Ritchie, B. W. Kernighan, and M. E. Lesk. The C programming language. Technical Report 31, Bell Telephone Laboratories, October 1975.
Dennis M. Ritchie. The development of the C language. Second History of Programming Languages conference, 1993.
T. G. Robertazzi and S. C. Schwartz. Best "ordering" for floating point addition. ACM Transactions on Mathematical Software, 14(1):101–110, 1988.
Maxwell J. Roberts, David J. Gilmore, and David J. Wood. Individual differences and strategy selection in reasoning. British Journal of Psychology, 88:473–492, 1997.
Eric S. Roberts. Implementing exceptions in C. Technical Report 40, Digital Systems Research Center, March 1989.
Edward L. Robertson. Code generation and storage allocation for machines with span-dependent instructions. ACM Transactions on Programming Languages and Systems, 1(1):71–83, 1979.
Arch D. Robison. Impact of economics on compiler optimization. In Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, pages 1–10. ACM Press, 2001.
Henry L. Roediger III, J. Derek Jacoby, and Kathleen B. McDermott. Misinformation effects in recall: Creating false memories through repeated retrieval. Journal of Memory and Language, 35:300–318, 1996.
Robert D. Rogers and Stephen Monsell. Costs of a predictable switch between simple cognitive tasks. Journal of Experimental Psychology: General, 124(2):207–231, 1995.
Ronny Ronen, Avi Mendelson, Konrad Lai, Shih-Lien Lu, Fred Pollack, and John P. Shen. Coming challenges in microarchitecture and architecture. Proceedings of the IEEE, 89(3):325–340, 2001.
Eleanor Rosch, Carolyn B. Mervis, Wayne D. Gray, David M. Johnson, and Penny Boyes-Braem. Basic objects in natural categories. Cognitive Psychology, 8:382–439, 1976.
L. Rosler. The evolution of C–past and future. AT&T Bell Laboratories Technical Journal, 63(8):1685–1699, 1984.
Brian H. Ross and Gregory L. Murphy. Food for thought: Cross-classification and category organization in a complex real-world domain. Cognitive Psychology, 38:495–552, 1999.
Lee Ross, Mark R. Lepper, and Michael Hubbard. Perseverance in self-perception and social perception: Biased attributional processes in the debeliefing paradigm. Journal of Personality and Social Psychology, 32(5):880–892, 1975.
Sheldon M. Ross. Introduction to Probability Models. Academic Press, 9th edition, 2007.
Ernst Z. Rothkopf. Incidental memory for location of information in text. Journal of Verbal Learning and Verbal Behavior, 10:608–613, 1971.
Chanchal K. Roy and James R. Cordy. An empirical study of function clones in open source software. In Proceedings of the 15^th Working Conference on Reverse Engineering (WCRE '08), pages 81–90, October 2008.
RTCA. Software considerations in airborne systems and equipment certifications, DOD-178B. Technical report, RTCA, Washington D.C., 1992.
David C. Rubin and Amy E. Wenzel. One hundred years of forgetting: A quantitative description of retention. Psychological Review, 103(4):734–760, 1996.
Shai Rubin, Rastislav Bodik, and Trishul Chilimbi. An efficient profile-analysis framework for data-layout optimizations. In The 29^th Annual ACM Symposium on Principles of Programming Languages, POPL'02, pages 140–153, January 2002.
David C. Rubin. Within word structure in the tip-of-the-tongue phenomenon. Journal of Verbal Learning and Verbal Behavior, 14:392–397, 1975.
Joshua S. Rubinstein, David E. Meyer, and Jeffrey E. Evans. Executive control of cognitive processes in task switching. Journal of Experimental Psychology: Human Perception and Performance, 27(4):763–797, 2001.
Chris Ruemmler and John Wilkes. UNIX disk access patterns. In USENIX Winter 1993 Technical Conference Proceedings, pages 405–420, January 1993.
David E. Rumelhart and Donald A. Norman. Similating a skilled typist: A study of skilled cognitive-motor performance. Cognitive Science, 6:1–36, 1982.
Siegfried M. Rump, Paul Zimmermann, Sylvie Boldo, and Guillaume Melquiond. Computing predecessor and successor in rounding to nearest. BIT Numerical Mathematics, 49(2):419–431, June 2009.
Johan Runeson. Code compression through procedure abstraction before register allocation. Thesis (m.s.), Uppsala University, Box 311, S-751 05 Uppsala, Sweden, 2000.
Chandan R. Rupakheti and Daqing Hou. An empirical study of the design and implementation of object equality in java. In CASCON '08: Proceedings of the 2008 Conference of the Center for Advanced Studies on Collaborative Research, pages 111–125, October 2008.
Alan H. Russell. The effect of historical programming practices on current COBOL programming efforts. PhD thesis, Kennedy-Western University, March 1989.
Rafael H. Saavedra and Alan J. Smith. Analysis of benchmark characteristics and benchmark performance prediction. Technical Report USC-CS-92-524, University of California, Berkeley, September 1992.
Jorma Sajaniemi. Visualizing roles of variables to novice programmers. In Jasna Kuljis, Lynne Baldwin, and Rosa Scoble, editors, Fourteenth Annual Workshop of the Psychology of Programming Interest Group, pages 111–127, June 2002.
Timothy A. Salthouse. The processing-speed theory of adult age differences in cognition. Psychological Review, 103(3):403–428, 1996.
Dario D. Salvucci. An integrated model of eye movements and visual encoding. Cognitive Systems Research, 1(4):201–220, 2001.
Geoffrey Sampson. Writing Systems: A Linguistic Introduction. Stanford University Press, 1985.
Richard Samuels, Stephen Stich, and Luc Faucher. Reason and rationality. In Illka Niiniluoto, Matti Sintonen, and Jan Wolenski, editors, Handbook of Epistemology, pages 131–179. Dordrecht:Kluwer, 2004.
Thomas Sanocki. Font regularity constraints on the process of letter recognition. Journal of Experimental Psychology: Human Perception and Performance, 14(3):472–480, 1988.
Walt Scacchi. Understanding software productivity. In David Hurley, editor, Advances in Software Engineering and Knowledge Engineering, volume 4, pages 37–70. World Scientific, 1995.
Daniel J. Scales. Efficient dynamic procedure placement. Technical Report Research Report 98/5, Compaq Western Research Laboratory, 1998.
Robert W. Scheifler. An analysis of inline substitution for a structured programming language. Communications of the ACM, 20(9):647–654, 1977.
David A. Schkade and Don N. Kleinmuntz. Information displays and choice processes: Differential effects of organization, form, and sequence. Organizational Behavior and Human Decision Processes, 57:319–337, 1994.
Ira Schloss. Chickens and pickles. Journal of Advertising Research, 21(6):47–49, December 1981.
Walter Schneider. Training high-performance skills: Fallacies and guidelines. Human Factors, 27(3):285–300, 1985.
James W. Schoonard and Stephen J. Boies. Short type: A behavior analysis of typing and text entry. Human Factors, 17(2):203–214, 1975.
N. L. Schryer. A test of a computer's floating-point arithmetic unit. Technical Report Computing Science Technical Report No. 89, Bell Laboratories, Murray Hill, NJ, USA, February 1981.
Michael J. Schulte, Kent E. Wires, and James E. Stine. Variable-correction truncated floating point multipliers. In Conference Record of the Thirty-Fourth Asilomar Conference on Signals, Systems and Computers, pages 1344–1348. IEEE, 2000.
Christian D. Schunn, Lynne M. Reder, Adisack Nhouyvanisvong, Daniel R. Richards, and Philip J. Stroffolino. To calculate or not to calculate: A source activation confusion model of problem familiarity's role in strategy selection. Journal of Experimental Psychology: Learning, Memory, and Cognition, 23(1):3–29, 1997.
E. M. Schwarz and C. A. Krygowski. The S/390 G5 floating point unit. IBM Journal of Research and Development, 43(5/6):707–721, September-November 1999.
Sophie K. Scott, Philip J. Barnard, and Jon May. Specifying executive representations and processes in number generation tasks. The Quarterly Journal of Experimental Psychology, 54:641–644, 2001.
Amanda Scott. The vertical direction and time in Mandarin. Australian Journal of Linguistics, 9:295–314, 1989.
R. S. Scowen. Extended BNF – A generic base standard. Discusses the syntactic metalanguages used in various language specifications. Gives an indepth analysis of the syntactic specification of floating-point literals., September 1998.
Sylvia Scribner. Modes of thinking and ways of speaking: culture and logic reconsidered. In P. N. Johnson-Laird and P. C. Wason, editors, Thinking: Readings in Cognitive Science, chapter 29, pages 483–500. Cambridge University Press, 1977.
Peter Sedlmeier, Ralph Hertwig, and Gerd Gigerenzer. Are judgments of the positional frequencies of letters systematically biased due to availability? Journal of Experimental Psychology: Learning, Memory, and Cognition, 24(3):754–770, 1998.
Matthew L. Seidl and Benjamin G. Zorn. Implementing heap-object behavior prediction efficiently and effectively. Software textendash Practice and Experience, 31(9):869–892, 2001.
Richard W. Selby and Victor R. Basili. Analysing error-prone system structure. IEEE Transactions on Software Engineering, 17(2):141–152, February 1991.
Elisabeth O. Selkirk. The Syntax of Words. MIT Press, 1982.
Ravi Sethi and J. D. Ullman. The generation of optimal code for arithmetic expressions. Journal of the ACM, 17(4):715–728, 1970.
Christine A. Sevald and Gary S. Dell. The sequential cuing effect in speech production. Cognition, 53:91–127, 1994.
L. H. Shaffer and J. Hardwick. Typing performance as a function of text. Quarterly Journal of Experimental Psychology, 20:360–369, 1968.
Teresa M. Shaft and Iris Vessey. The relevance of application domain knowledge: Characterizing the computer program comprehension process. Journal of Management Information Systems, 15(1):51–78, 1998.
Roger C. Shank and Robert P. Abelson. Scripts, Plans, Goals, and Understanding: An Enquiry into Human Knowledge Structures. Lawrence Erlbaum Associates, 1977.
Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, and David Wagner. Detecting format string vulnerabilities with type qualifiers. In 10^th USENIX Security Symposium, August 2001.
C. E. Shannon. A mathematical theory of communication. The Bell System Technical Journal, 27:379–423, 623–656, 1948.
D. J. Shaw. A phonological interpretation of two acoustic confusion matrices. Perception & Psychophysics, 17(6):537–542, 1975.
B. A. Sheil. The psychological study of programming. ACM Computing Surveys, 13(1):101–120, March 1981.
Jeffrey W. Sheldon. Strength reduction of integer division and modulo operations. Thesis (m.s.), MIT, May 2001.
Zhiyu Shen, Zhiyuan Li, and Pen-Chung Yew. An empirical study of FORTRAN programs for parallelizing compilers. IEEE Transactions on Parallel and Distributed Systems, 1(3):356–364, July 1990. CSRD TR#983.
Roger N. Shepard and Jacqueline Metzler. Mental rotation of three-dimensional objects. Science, 171:701–703, February 1971.
Roger N. Shepard, Carl I. Hovland, and Herbert M. Jenkins. Learning and memorization of classifications. Psychological Monographs: General and Applied, 75(15):1–39, 1961.
Timothy Sherwood and Brad Calder. Time varying behavior of programs. Technical Report CS99-630, University of California, San Diego, August 1999.
Richard M. Shiffrin and Mark Steyvers. A model for recognition memory: REM – retrieving effectively from memory. Psychonomic Bulletin & Review, 4(2):145–166, 1997.
Robert J. Shiller. Irrational Exuberance. Princeton University Press, 2000.
Keoncheol Shin, Jeongeun Kim, Seonggun Kim, and Hwansoo Han. Restructuring field layouts for embedded memory systems. In Proceedings of the conference on Design, Automation and Test in Europe, pages 937–942, March 2006.
Ben Shneiderman. Software Psychology: Human Factors in Computer and Information Systems. Winthrop Publishers, Inc, 1980.
Steven M. Shugan. The cost of thinking. Journal of Consumer Research, 7:99–111, September 1980.
Leonard Jay Shustek. Analysis and performance of computer instruction sets. PhD thesis, Stanford University, January 1978.
Ashley Sides, Daniel Osherson, Nicolao Bonini, and Riccardo Viale. On the reality of the conjunction fallacy. Memory & Cognition, 30(2):191–198, 2002.
Jeremy G. Siek, Jeffrey M. Squyres, and Andrew Lumsdaine. The laboratory for scientific computing (LSC): Coding standards. Technical report, University of Notre Dame, April 2000.
Michael Benjamin Siff. Techniques for software renovation. PhD thesis, University of Wisconsin textendash Madison, 1998.
Steve Silberman. The geek syndrome. Wired, 9(12), December 2001.
Silicon Graphics. C Language Reference Manual. Silicon Graphics, Inc, 007-0701-130 edition, 1999.
Susan Elliott Sim and Richard C. Holt. The ramp-up problem in software projects: A case study of how software immigrants naturalize. In Proceedings of the Twentieth International Conference on Software Engineering, pages 361–370, April 1998.
Susan Elliot Sim, Charles L. A. Clarke, and Richard C. Holt. Archetypal source code searches: A survey of software developers and maintainers. In Proceedings of the Sixth International Workshop on Program Comprehension, pages 180–187, June 1998.
M. V. Simkin and V. P. Roychowdhury. Read before you cite! arxiv.org/abs/cond-mat/0212043, December 2002.
Jean-Martin Simon, Khaled El Emam, Sonia Rousseau, Eric Jacquet, and Frederic Babey. The reliability of ISO/IEC PDTR 15504 assessments. Technical Report Technical Report ISERN-97-28, Fraunhofer Institute for Experimental Software Engineering, 1997.
Herbert A. Simon. Models of Bounded Rationality: Behavioral Economics and Business Organization. The MIT Press, 1982.
Itamar Simonson and Amos Tversky. Choice in context: Tradeoff contrast and extremeness aversion. Journal of Marketing Research, 29:281–295, 1992.
Itamar Simonson. Choice based on reasons: The case of attraction and compromise effects. Journal of Consumer Research, 16:158–173, September 1989.
Charles Simonyi. Meta-Programming: A Software Production Method. PhD thesis, Stanford University, 1977. msdn.microsoft.com/library/techart/hunganotat.htm.
Murray Singer and Kathryn F. M. Ritchot. The role of working memory capacity and knowledge access in text inference processing. Memory & Cognition, 24(6):733–743, 1996.
Wai Ting Siok and Paul Fletcher. The role of phonological awareness and visual-orthographic skills in Chinese reading acquisition. Developmental Psychology, 37(6):886–899, 2001.
Richard L. Sites and Richard L. Witek. Alpha AXP architecture reference manual. Digital Press, 12 Crosby Drive, Bedford, MA 01730, USA, second edition, 1995.
Dag I. K. Sjøberg, Bente Anda, Erik Arisholm, Tore Dybå, Magne Jørgensen, Emela Karahasanovic, Espen F. Koren, and Marek Vokác. Conducting realistic experiments in software engineering. In Proceedings of the 2002 International Symposium on Empirical Software Engineering (ISESE'02), pages 17–26, October 2002.
Dag I. K. Sjøberg, Jo E. Hannay, Ove Hansen, Vigdis By Kampenes, Amela Karahasanovic, Nils-Kristian Liborg, and Anette C. Rekdal. A survey of controlled experiments in software engineering. Technical Report 2004-4, SIMULA Research Laboratory, 2004.
Jan Sjödin and Carl von Platen. Storage allocation for embedded processors. In Proceedings of CASES'01, pages 15–23, November 2001.
Kevin Skadron, Pritpal S. Ahuja, Margaret Martonosi, and Douglas W. Clark. Improving prediction for procedure returns with return-address-stack repair mechanisms. In Proceedings of the 31^st Annual ACM/IEEE International Symposium on Microarchitecture (MICRO-98), pages 259–271, Los Alamitos, November 30–December 2 1998. IEEE Computer Society.
Vegard Skirbekk. Age and individual productivity: A literature survey. Technical Report MPIDR Working Paper WP 2003-028, Max Plank Institute for Demographic Research, August 2003.
Norman J. Slamecka and Peter Graf. The generation effect: Delineation of a phenomenon. Journal of Experimental Psychology: Human Learning and Memory, 4(6):592–604, 1978.
Nathan T. Slingerland and Alan Jay Smith. Measuring the performance of multimedia instruction sets. Technical Report UCB/CSD-00-1125, University of California Berkeley, USA, December 2000.
John A. Sloboda. Visual imagery and individual differences in spelling. In Uta Frith, editor, Cognitive Processes in Spelling, chapter 11, pages 231–248. Academic Press, 1980.
Steven Sloman and David A. Lagnado. Counterfactual undoing in deterministic causal reasoning. In Proceedings of the Twenty-Fourth Annual Conference of the Cognitive Science Society, 2002.
Steven A. Sloman, Marianne C. Harrison, and Barbara C. Malt. Recent exposure affects artifact naming. Memory & Cognition, 30(5):687–695, 2002.
Steven A. Sloman. The empirical case for two systems of reasoning. Psychological Bulletin, 119(1):3–22, 1996.
Michael D. Smith, Mike Johnson, and Mark A. Horowitz. Limits on multiple issue. In Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems, pages 290–302, 1989.
Patrick Smith. Implicit pointer conversion involving const and volatile. Technical Report WG21/N0283, JTC1/SC22/WG21 C++ Standards Committee, 1993.
Gregor Snelting. Reengineering of configurations based on mathematical concept analysis. Technical Report Informatik-Bericht Nr. 95-02, Techniesche Universität Braunschweig, January 1995.
Byoungro So and Mary W. Hall. Increasing the applicability of scalar replacement. In Compiler Construction, 13th International Conference, CC 2004, pages 185–201, March 2004.
Peter Soderquist and Miriam Leeser. Area and performance tradeoffs in floating-point divide and square root implementations. Computing Surveys, 28(3):518–564, September 1996.
Svetlana Sokolova and David R. Kaeli. Static branch prediction using high-level language. Technical Report Technical Report ECE-CEG-98-009, Northeastern University, 1998.
Robert L. Solso and Paul F. Barabuto jr. Bigram and trigram frequencies and versatilities in the English language. Behavior Research Methods & Instrumentation, 11(5):475–484, 1979.
Robert L. Solso and Connie L. Juel. Positional frequency and versatility of bigrams for two- through nine-letter English words. Behavior Research Methods & Instrumentation, 12(3):297–343, 1980.
Robert L. Solso and Joseph F. King. Frequency and versatility of letters in the English language. Behavior Research Methods & Instrumentation, 8(3):283–286, 1976.
Sabine Sonnentag. Excellent software professionals: experience, work activities, and perception by peers. Behaviour & Information Technology, 14(5):289–299, 1995.
Francesco Spadini, Michael Fertig, and Sanjay J. Patel. Characterization of repeating dynamic code fragments. Technical Report CRHC-02-09, University of Illinois at Urbana-Champaign, 2002.
A. Spector and I. Biederman. Mental set and shift revisited. American Journal of Psychology, 89:669–679, 1976.
Dan Sperber and Deirdre Wilson. Relevance: Communication and Cognition. Blackwell Publishers, second edition, 1995.
Kathryn T. Spoehr and Edward E. Smith. The role of orthographic and phonotactic rules in perceiving letter patterns. Journal of Experimental Psychology: Human Perception and Performance, 104(1):21–34, 1975.
Richard Sproat, Alan Black, Stanley Chen, Shankar Kumar, Mari Ostendorf, and Christopher Richards. Normalization of non-standard words: WS'99 final report. Technical Report www.clsp.jhu.edu/ws99/projects/normal, The Johns Hopkins University, September 1999.
D. A. Spuler. Compiler code generation for multiway branch statements as a static search problem. Technical Report Technical Report 94/03, James Cook University, January 1994.
David Spuler. C++ and C debugging, testing and reliability. Prentice Hall, Inc, 1994.
Amitabh Srivastava and David W. Wall. Link-time optimization of address calculation on a 64-bit architecture. Technical Report Research Report 954/1, Western Research Laboratory - Compaq, February 1994.
Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, and Patrick Jenkins. Modular information hiding and type-safe linking for C. In Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pages 3–14, April 2007.
Richard M. Stallman. Using te GNU Compiler Collection. Free Software Foundation, March 2004.
Dimitrios Stamovlasis and Georgios Tsaparlis. Non-linear analysis of the effect of working-memory capacity on organic-synthesis problem solving. Chemistry Education: Research and Practice in Europe, 1(3):375–380, 2000.
Lionel Standing, Jerry Conezio, and Ralph Norman Haber. Perception and memory for pictures: Single-trial learning of 2500 visual stimuli. Psychonomic Science, 19(2):73–74, 1970.
Standish Group. The chaos report. Technical report, The Standish Group, 1995.
James Stanlaw. Two observations on culture contact and the Japanese color nomenclature system. In C. L. Hardin and Luisa Maffi, editors, Color categories in thought and language, chapter 11, pages 240–260. Cambridge University Press, 1997.
James Stanlaw. Japanese English: Language and Culture Contact. Hong Kong University Press, 2004. Use of English loanwords in Japanese, with lots of examples drawn from popular culture. Provides historical background and empirical evidence based on word counts.
Keith E. Stanovich and David W. Bauer. Experiments on the spelling-to-sound regularity effects in word recognition. Memory & Cognition, 6(4):410–415, 1978.
Keith E. Stanovich. Who Is Rational?. Lawrence Erlbaum Associates, 1999.
Mathew L. Staples and James M. Bieman. 3-D visualization of software structure. In Marvin Zelkowitz, editor, Advances in Computers, Volume 49, pages 96–143. Academic Press, April 1999.
Guy L. Steele Jr. and Jon L. White. How to print floating-point numbers accurately. In Proceeding of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, 1990.
Guy L. Steele Jr. Arithmetic shifting considered harmful. Technical Report A.I. Memo No. 378, M.I.T., September 1976.
Joseph L. Steffen. Adding run-time checking to the portable C compiler. Software textendash Practice and Experience, 22(4):305–316, 1992.
David W. Stephens and John R. Krebs. Foraging Theory. Princeton University Press, 1986.
Mark William Stephenson. Bitwise: Optimizing bitwidths using data-range propagation. Thesis (m.s.), M.I.T, Cambridge, MA, USA, May 2000.
Christopher M. Sterling. Spelling errors in context. British Journal of Psychology, 74:353–364, 1983.
Robert J. Sternberg and Evelyn M. Weil. An aptitude times strategy interaction in linear syllogistic reasoning. Journal of Educational Psychology, 72(2):226–239, 1980.
Saul Sternberg. Memory-scanning: Mental processes revealed by reaction-time experiments. American Scientist, 57(4):421–457, 1969.
Robert J. Sternberg. Representation and process in linear syllogistic reasoning. Journal of Experimental Psychology: General, 109(2):119–159, 1980.
Albert Stevens and Patty Coupe. Distortions in judged spatial relations. Cognitive Psychology, 10:422–437, 1978.
W. P. Stevens, G. J. Myers, and L. L. Constantine. Structured design. IBM Systems Journal, 38(2-3):231–256, 1999.
Thomas R. Stewart and Cynthia M. Lusk. Seven components of judgmental forecasting skill: Implications for research and improving forecasts. Journal of Forecasting, 13:579–599, 1994.
Mark Steyvers and Kenneth J. Malmberg. The effect of normative contextual variability on recognition memory. Journal of Experimental Psychology: Learning, Memory, and Cognition, 29(5):760–766, 2003.
Mark Steyvers and Joshua B. Tenenbaum. The large-scale structure of semantic networks: Statistical analysis and a model of semantic growth. Cognitive Science, 29(1):41–78, January 2005.
Mark Steyvers. Modeling semantic and orthographic similarity effects on memory for individual words. PhD thesis, Indiana University, September 2000.
M. Stiff, S. Chandra, T. Ball, K. Kunchithapadam, and T. Reps. Coping with type casts in C. Technical Report Technical Report BL0113590-990202-03, Bell Laboratories, 1999.
Michael Benjamin Stiff. Techniques for software renovation. PhD thesis, University of Wisconsin-Madison, 1998.
James E. Stine and Michael J. Schulte. The symmetric table addition method for accurate function approximation. Journal of VLSI Signal Processing, 11:1–12, 1999.
Gregory O. Stone, Mickie Vanhoy, and Guy C. Van Orden. Perception is a two-way street: Feedforward and feedback phonology in visual word recognition. Journal of Memory and Language, 36:337–359, 1997.
Eamon Strain, Karalyn Patterson, and Mark S. Seidenberg. Semantic effects in single-word naming. Journal of Experimental Psychology: Learning, Memory, and Cognition, 21(5):1140–1154, 1995.
David Straker. C-Style standards and guidelines. Prentice Hall, Inc, 1992.
John Strang, Tim O'Reilly, and Linda Mui. Termcap and Terminfo. O'Reilly & Associates, Inc, 1989.
Marilyn Strathern. 'Improving ratings': audit in the British university system. European Review, 5(3):305–321, 1997.
L. A. Streeter, J. M. Ackroff, and G. A. Taylor. On abbreviating command names. The Bell System Technical Journal, 62(6):1807–1826, 1983.
J. Ridley Stroop. Studies of interference in serial verbal reactions. Journal of Experimental Psychology, 28:643–662, 1935.
Bjarne Stroustrup. The Design and Evolution of C++. Addison textendash Wesley, 1999.
Bjarne Stroustrup. C and C++: Case studies in compatibility. The C/C++ Users Journal, 20(9), September 2002.
Bjarne Stroustrup. Evolving a language in and for the the real world: C++ 1991-2006. In Proceedings of the third ACM SIGPLAN conference on History of programming languages, pages 4–1--4–57, June 2007.
Ching-Long Su, Chi-Ying Rsui, and Alvin M. Despain. Low power architecture design and compilation techniques for high-performance processors. Technical Report ACAL-TR-94-01, University of Southern California - ISI, February 1994.
Kevin Sullivan, Yuanfang Cai, Ben Hallen, and William G. Griswold. The structure and value of modularity in software design. Technical Report Technical Report CS-2001-13, University of Virginia, 2001.
Kevin Sullivan, Prasad Chalasani, and Somesh Jha. Software design decisions as real options. Technical Report Technical Report 97-14, University of Virginia, June SULLIV 1.PDF.
Sun. C User's Guide. Sun Microsystems, Inc, Palo Alto, CA, USA, revision a edition, May 2000.
Patrick Suppes, Michael Cohen, Robert Laddaga, James Anliker, and Robert Floyd. A procedural theory of eye movements in doing arithmetic. Journal of Mathematical Psychology, 27:341–369, 1983.
Dinesh C. Suresh, Satya R. Mohanty, Walid A. Najjar, Laxmi N. Bhuyan, and Frank Vahid. Loop level analysis of security and network applications. In Workshop on Computer Architecture Evaluation using Commercial Workloads (CAECW-03), February 2003.
Heinz-Martin Süß, Klaus Oberauer, Werner W. Wittmann, Oliver Wilhelm, and Ralf Schulze. Working memory capacity and intelligence: An integrative approach based on brunswik symmetry. Technical report, Universität Mannheim, 1996.
Herb Sutter and Andrei Alexandrescu. C++ Coding Standards: Rules, Guidelines, and Best Practices. Addison Wesley, 2004.
K. Svatko. Descriptive adjective ordering in English and Arabic. Quoted from by Celce-Murcia [Celce-Murcia and Larsen-Freeman, 1999], 1979.
Michael Swan and Bernard Smith. Learner English. Cambridge University Press, second edition, 2001.
E. Burton Swanson. IS "maintainability":Should it reduce the maintenance effort. The DATA BASE for Advances in Information Systems, 30(1):65–76, 1999.
H. Lee Swanson. What develops in working memory? A life span perspective. Developmental Psychology, 35(4):986–1000, 1999.
Peter F. Sweeney and Frank Tip. A study of dead data members in C++ applications. In Proceedings of the 1998 ACM Conference on Programming Language Design and Implementation, pages 324–332, June 1998.
D. W. Sweeney. An analysis of floating-point addition. IBM Systems Journal, 4(1):31–42, 1965.
John Sweller, John F. Mawer, and Mark R. Ward. Development of expertise in mathematical problem solving. Journal of Experimental Psychology: General, 112(4):639–661, 1983.
John Sweller. Cognitive load during problem solving: Effects on learning. Cognitive Science, 12:257–285, 1988.
Agere Systems. Trigonometric Functions on the DSP16000 Core Digital Signal Processor. Agere Systems, Allentown, PA, USA, ap02-044winf edition, March 2002.
Marcus Taft and Kenneth I. Foster. Lexical storage and retrieval of prefixed words. Journal of Verbal Learning and Verbal Behavior, 14:638–647, 1975.
Marcus Taft and Kenneth I. Foster. Lexical storage and retrieval of polymorphemic and polysyllabic words. Journal of Verbal Learning and Verbal Behavior, 15:607–620, 1976.
Marcus Taft. Lexical access via orthographic code: The basic orthographic syllabic structure (BOSS). Journal of Verbal Learning and Verbal Behavior, 18:21–39, 1979.
Steve Talbott. Managing Projects with Make. O'Reilly & Associates, Inc, 1989.
Li Hai Tan and Charles A. Perfetti. Phonological activation in visual identification of Chinese two-character words. Journal of Experimental Psychology: Learning, Memory, and Cognition, 25(2):382–393, 1999.
Lin Tan, Ding Yuan, Gopal Krishna, and Yuanyuan Zhou. /* iComment: Bugs or bad comments? */. In Proceedings of the 21^st ACM SIGOPS Symposium on Operating System Principles, pages 145–158, October 2007.
James W. Tanaka and Marjorie Taylor. Object categories and expertise: Is the basic level in the eye of the beholder. Cognitive Psychology, 23:457–482, 1991.
Shelley E. Taylor and Jonathon D. Brown. Illusion and well-being: A social psychological perspective on mental health. Psychological Bulletin, 103(2):193–210, 1988.
W. J. Teahan and John G. Cleary. The entropy of English using PPM-based models. In IEEE Data Compression Conference, pages 53–62. IEEE Computer Society Press, 1996.
Barbee E. Teasley, Laura Marie Leventhal, Clifford R. Mynatt, and Diane S. Rohlman. Why software testing is sometimes ineffective: Two applied studies of positive test strategy. Journal of Applied Psychology, 79(1):142–155, 1994.
Tendra home page, 2003. www.tendra.org.
David Tennenhouse. It's time to get physical. In 20^th IEEE Real-Time Systems Symposium (RTSS'99), December 1999.
Katya Tentori, Daniel Osherson, Lynn Hasher, and Cynthia May. Wisdom and ageing: Irrational preferences in college students but not older adults. Cognition, 81(3):B87–B99, 2001.
Philip E. Tetlock, Orie V. Kristel, S. Beth Elson, Melanie C. Green, and Jennifer S. Lerner. The psychology of the unthinkable: Taboo trade-offs, forbidden base rates, and heretical counterfactuals. Journal of Personality and Social Psychology, 78:853–870, 2000.
Philip E. Tetlock. Accountability: The neglected social context of judgment and choice. Research in Organizational Behavior, 7:297–332, 1985.
Philip E. Tetlock. An alternative metaphor in the study of judgment and choice: People as politicians. Theory and Psychology, 1(4):451–475, 1991.
Texas Instruments. TMS370 and TMS370C8 8-Bit Microcontroller Family Optimizing C Compiler Users' Guide. Texas Instruments, spnu022c edition, April 1996.
Texas Instruments. TMS320C3x User's Guide. Texas Instruments, Inc, spru031e, revision l edition, July 1997.
Texas Instruments. TMS320C6000 CPU and Instruction Set Reference Guide. Texas Instruments, spru189f edition, October 2000.
Texas Instruments. TMS320C6000 Programmer's Guide. Texas Instruments, Inc, spru196d edition, March 2000.
Thomas A. Thayer, Myron Lipow, and Eldred C. Nelson. Software Reliability. North-Holland Publishing Company, 1978.
The Santa Cruz Operation. System V Application Binary Interface: MIPS RISC processor Supplement. The Santa Cruz Operation, Inc, Santa Cruz, CA, USA, 3rd edition, February 1996.
The Santa Cruz Operation. System V Application Binary Interface: SPARC processor Supplement. The Santa Cruz Operation, Inc, Santa Cruz, CA, USA, third edition, 1996.
The Santa Cruz Operation. System V Application Binary Interface: Intel386 Architecture Processor Supplement. The Santa Cruz Operation, Inc, Santa Cruz, CA, USA, fourth edition, March 1997.
Jeyarajan Thiyagalingam, Olav Beckmann, and Paul H. J. Kelly. Is Morton layout competitive for large two-dimensional arrays, yet? Concurrency and Computation: Practice & Experience, 18(11):1509–1539, September 2006.
Jeyarajan Thiyagalingam. Alternative Array Storage Layout for Regular Scientific Programs. PhD thesis, Imperial College, University of London, June 2005.
Peter Thompson. Margaret Thatcher: a new illusion. Perception, 9:483–484, 1980.
Ken Thompson. Plan 9 C compilers. In Plan 9 Programmer's Manual. AT&T Bell Laboratories, 1995.
Mikkel Thorup. All structured programs have small tree-width and good register allocation. Information and Computation, 142(2):159–181, 1998.
Miles A. Tinker. The relative legibility of the letters, the digits, and of certain mathematical signs. Journal of Generative Psychology, 1:472–494, 1928.
Steve Tockey. Return on Software: Maximizing the Return on Your Software Investment. Addison textendash Wesley, 2005. Introductory material, with lots of examples, on basic investment decisions. Also covers risk and uncertainty issues at a basic level.
Hiroyuki Tomiyama and Hiroto Yasuura. Optimal code placement of embedded software for instruction caches. In European Design and Test Conference (ED&TC '96), pages 96–101. IEEE, March 1996.
P. Tonella, G. Antoniol, R. Fiutem, and F. Calzolari. Reverse engineering 4.7 million lines of code. Software textendash Practice and Experience, 30(2):129–150, February 2000. (doi:10.1002/(SICI)1097-024X(200002)30:2<129::AID-SPE293>3.0.CO;2-M)
Ying Fai Tong, Rob A. Rutenbar, and David F. Nagle. Minimizing floating-point power dissipation via bit-width reduction. In Proceedings of the 1998 International Symposium on Computer Architecture Power Driven Microarchitecture Workshop, pages 114–118, June 1998.
The Quine McClusky Simplification Tool. Botsch. freshmeat.net/projects/qmc, 2003.
Top 500 supercomputer sites, 2003. www.top500.org.
Josep Torrellas, Chun Xia, and Russell L. Daigle. Optimizing the instruction cache performance of the operating system. IEEE Transactions on Computers, 47(12):1363–1381, 1998.
J. T. Townsend, S. G. Taylor, and D. R. Brown. Lateral masking for letters with unlimited viewing time. Perception & Psychophysics, 10(5):375–378, 1971.
J. T. Townsend. Alphabetic confusion: A test for individuals. Perception & Psychophysics, 9(6):449–454, 1971.
J. T. Townsend. Theoretical analysis of an alphabetic confusion matrix. Perception & Psychophysics, 9(1A):40–50, 1971.
Rebecca Treiman and Christopher Barry. Dialect and authography: Some differences between American and British spellers. Journal of Experimental Psychology: Learning, Memory, and Cognition, 26:1423–1430, 2000.
Rebecca Treiman and Brett Kessler. Context sensitivity in the spelling of English vowels. Journal of Memory and Language, 47:448–468, 2002.
Anne M. Treisman and Garry Gelade. A feature-integration theory of attention. Cognitive Psychology, 12:97–136, 1980.
Anne Treisman and Janet Souther. Search asymmetry: A diagnostic for preattentive processing of separable features. Journal of Experimental Psychology: General, 114(3):285–310, 1985.
Lana M. Trick and Zenon W. Pylyshyn. What enumeration studies can show us about spatial attention: Evidence for limited capacity preattentive processing. Journal of Experimental Psychology: Human Perception and Performance, 19(2):331–351, 1993.
Lana M. Trick and Zenon W. Pylyshyn. Why are small and large numbers enumerated differently? A limited-capacity preattentive stage in vision. Psychological Review, 101(1):80–102, 1994.
Trimaran home page, 2003. www.trimaran.org.
Chau-Wen Tseng. Software support for improving locality in advanced scientific codes. Technical Report CS-TR-4168, University of Maryland, 2000.
Richard M. Tubbs, William F. Messier Jr., and W. Robert Knechel. Recency effects in the auditor's belief revision process. The Accounting Review, 65(2):452–460, April 1990.
Richard T. Turley and James M. Bieman. Competencies of exceptional and nonexceptional software engineers. The Journal of Systems and Software, 28(1):19–38, January 1995.
Jim Turley. Embedded processors. www.extremetech.com, January 2002.
Marilyn L. Turner and Randall W. Engle. Is working memory capacity task dependent? Journal of Memory and Language, 28:127–154, 1989.
Amos Tversky and Daniel Kahneman. Availability: A heuristic for judging frequency and probability. In Daniel Kahneman, Paul Slovic, and Amos Tversky, editors, Judgment under uncertainty: Heuristics and biases, chapter 11, pages 163–178. Cambridge University Press, 1982.
Amos Tversky and Daniel Kahneman. Judgment under uncertainty: Heuristics and biases. In Daniel Kahneman, Paul Slovic, and Amos Tversky, editors, Judgment under uncertainty: Heuristics and biases, chapter 1, pages 3–20. Cambridge University Press, 1982.
Amos Tversky and Daniel Kahneman. Judgments of and by representativeness. In Daniel Kahneman, Paul Slovic, and Amos Tversky, editors, Judgment under uncertainty: Heuristics and biases, chapter 6, pages 84–98. Cambridge University Press, 1982.
Amos Tversky and Itamar Simonson. Context-dependent preferences. In Daniel Kahneman and Amos Tversky, editors, Choices, Values, and Frames, chapter 29, pages 518–527. Cambridge University Press, 1999.
Amos Tversky, Shmuel Sattath, and Paul Slovic. Contingent weighting in judgment and choice. In Daniel Kahneman and Amos Tversky, editors, Choices, Values, and Frames, chapter 28, pages 503–517. Cambridge University Press, 1999.
Amos Tversky. Elimination by aspects: A theory of choice. Psychological Review, 79(4):281–299, 1972.
Ryan D. Tweney, Michael E. Doherty, Winifred J. Worner, Daniel P. Pliske, Clifford R. Mynatt, Kimberly A. Gross, and Daniel L. Arkkelin. Strategies of rule discovery in an inference task. Quarterly Journal of Experimental Psychology, 32:109–123, 1980.
Fred Tydeman. Private email from Fred. www.tybor.com, 2002.
Fred Tydeman. Sample C99+FPCE tests. www.tybor.com, 2005.
Andrea Tyler and Vyvyan Evans. Reconsidering prepositional polysemy networks: The case of over. Language, 77(4):724–765, 2001.
Andrea Tyler and Vyvyan Evans. The Semantics of English Prepositions. Cambridge University Press, 2003.
Vassilious Tzerpos and R. C. Holt. A well-formedness theory of C source inclusion. In Proceedings of the 3^rd International Symposium on Applied Corporate Computing (ISACC'95), pages 18–22, October 1995.
Ubicom. IP2022 Internet Processor. Ubicom, Inc, preliminary edition, July 2002.
Gang-Ryung Uh and David B. Whalley. Effectively exploiting indirect jumps. Software textendash Practice and Experience, 29(12):1061–1101, October 1999. (doi:10.1002/(SICI)1097-024X(199910)29:12<1061::AID-SPE272>3.0.CO;2-K)
Gang-Ryung Uh, Yuhong Wang, David Whalley, Sanjay Jinturkar, Chris Burns, and Voncent Cao. Techniques for effectively exploiting a zero overhead loop buffer. In Proceedings of the International Conference on Compiler Construction, pages 157–172, March 2000.
Gang-Ryung Uh. Effectively exploiting indirect jumps. PhD thesis, Florida State University, 1997.
Sebastian Unger. Transforming Irreducible Regions of Control Flow into Reducible Regions by Optimized Node Splitting. PhD thesis, Humboldt Universität zu Berlin, 1998.
Unisys Corporation. Architecture MCP/AS (Extended). Unisys Corporation, 3950 8932-100 edition, 1994.
Unisys Corporation. C Programming Reference Manual, Volume 1: Basic Implementation. Unisys Corporation, 8600 2268-203 edition, 1998.
Unisys Corporation. C Compiler Programming Reference Manual Volume 1: C Language and Library. Unisys Corporation, 7831 0422006, release level 8R1A edition, 2001.
Unix System Laboratories, Inc. Programmer's Guide: ANSI C Programming Support Tools. Prentice Hall, Inc, 1990.
Unix System Laboratories, Inc. Unix System V Release 4 Programmer's Guide: ANSI C and Programming Support Tools. Prentice Hall, Inc, 1990.
U.S. DoD. Memorandum on the use of the Ada programming language. Technical report, U.S. Department of Defence, April 1997.
Vojin Zivojnovic, Juan Martínez Velarde, Christian Schläger, and Heinrich Meyr. DSPSTONE: A DSP-oriented benchmarking methodology. In Proceedings of the International Conference on Signal Processing and Technology (ICSPAT'94), 1994.
Tim Valentine, Tim Brennen, and Serge Breédart. The Cognitive Psychology of Proper Names. Routledge, 1996.
Michael L. Van De Vanter. The documentary structure of source code. Information and Software Technology, 44(13):767–782, October 2002.
Omer Van den Bergh, Scott Vrana, and Paul Eelen. Letters from the heart: Affective categorization of letter combinations in typists and nontypists. Journal of Experimental Psychology: Learning, Memory, and Cognition, 16(6):1153–1161, 1990.
Frank van der Velde, A. H. C. van der Heijden, and Robert Schreuder. Context-dependent migrations in visual word perception. Journal of Experimental Psychology: Human Perception and Performance, 15(1):133–141, 1989.
Tim van Gelder and Andy Bulka. Reason!: Improving informal reasoning skills. In Proceedings of the Australian Computers in Education Conference, 2000.
Tim van Gelder. Penicillin for the mind? Reason, education and cognitive science. Technical Report Preprint No. 1/98, University of Melbourne Department of Philosophy, 1998.
Walter J. B. van Heuven, Tom Dijkstra, and Jonathan Grainger. Orthographic neighborhood effects in bilingual word recognition. Journal of Memory and Language, 39:458–483, 1998.
Guy C. Van Orden. A ROWS is a ROSE: Spelling, sound, and reading. Memory & Cognition, 15(3):181–198, 1987.
Iris van Rooij. Notation specificity in numerical cognition: A critique of Noël and Seron's (1992) reappraisal of the Gonzalez and Kolers (1982) study. 2000.
C. Van Rooy, C. Stough, A. Pipingas, C. Hocking, and R. B. Silberstein. Spatial working memory and intelligence Biological correlates. Intelligence, 29:275–292, 2001.
R. J. J. H. van Son and Louis C. W. Pols. An acoustic model of communicative efficiency in consonants and vowels taking into account context distinctiveness. In Proceedings of ICPhS (International Congress of Phonetic Sciences), pages 2141–2144, August 2003.
A. van Wijngaarden, B. J. Mailloux, J. E. L. Peck, C. H. A. Koster, M. Sintzoff, C. H. Lindsey, L. G. L. T. Meertens, and R. G. Fisker. Algol 68. Springer textendash Verlag, 1976.
Steven P. VanderWiel and David J. Lilja. Data prefetch mechanisms. ACM Computing Surveys, 32(2):174–199, 2000.
Hurt VanLehn. Mind Bugs: The Origins of Procedural Misconceptions. The MIT Press, 1990.
Jennifer Jean Vannest. Morphological Effects in Visual Word Processing: Their Timecourse and Consequences for Lexical Architecture. PhD thesis, The Ohio State University, 2001.
Francisco J. Varela, Evan Thompson, and Eleanor Rosch. The Embodied Mind: Cognitive Science and Human Experience. The MIT Press, 1999.
Allen G. Vartabedian. The effects of letter size, case, and generation method on CRT display search time. Human Factors, 13(4):363–368, 1971.
Rodd L. Velduizen. C++ templates as partial evaluation. Technical Report TR519, Indiana University, July 2000.
W. N. Venables, D. M. Smith, and R Development Core Team. An introduction to R. April 2006.
Richard L. Venezky. From Webster to Rice to Roosevelt: The formative years for spelling instruction and spelling reform in the U.S.A. In Uta Frith, editor, Cognitive Processes in Spelling, chapter 1, pages 9–30. Academic Press, 1980.
Richard L. Venezky. The American Way of Spelling. Guilford Press, 1999.
Clark Verbrugge, Phong Co, and Laurie Hendren. Generalized constant propagation A study in C. In Proceedings of the 1996 International Conference on Compiler Construction, pages 74–89. Springer-Verlag, April 1996.
Kristina L. Verco and Michael J. Wise. Software for detecting suspected plagiarism: Comparing structure and attribute-counting systems. In Proceedings of First Australian Conference on Computer Science Education, 1996.
Brigitte Verdonk, Annie Cuyt, and Dennis Verschaeren. A precision and range independent tool for testing floating-point arithmetic I: basic operations, square root and remainder. ACM Transactions on Mathematical Software, 27(1):92–118, 2001.
Preeti Verghese and Debis G. Pelli. The information capacity of visual attention. Vision Research, 32(5):983–995, 1992.
Paul Verhaeghen and John Cerella. Ageing, executive control, and attention: a review of meta-analyses. Neuroscience and Biobehavioral Reviews, 26(7):849–857, 2002.
Paul Vickers. CAITLIN: Implementation of a Musical Program Auralisation System to Study the Effects of Debugging Tasks as Performed by Novice Pascal Programmers. PhD thesis, Loughborough University, 1999.
Jason Villarreal, Roman Lysecky, Susan Cotteral, and Frank Vahid. A study of the loop behavior of embedded programs. Technical Report UCR-CSE-01-03, University of California, Riverside, December 2001.
Giuseppe Visaggio. Value-based decision model for renewal processes in software maintenance. Technical Report ISERN-99-06, Department of Informatics, University of Bari, Italy, 1999.
Eelco Visser. Scannerless generalised-LR parsing. Technical Report Report P9707, University of Amsterdam, August 1997.
Tony Vitale. An algorithm for high accuracy name pronunciation by parametric speech synthesizer. Computational Linguistics, 17(3):258–276, 1991.
Paul C. Vitz and Brenda Spiegel Winkler. Predicting the judged "similarity of sound" of English words. Journal of Verbal Learning and Verbal Behavior, 12:373–388, 1973.
Jeffrey Voas, Larry Morell, and Keith Miller. Using dynamic sensitivity analysis to assess testability. www.cigital.com, 1991.
Kai von Fintel and Lisa Matthewson. Universals in semantics. The Linguistic Review, 25(1-2):139–201, 2008.
A. von Mayrhauser and A. M. Vans. From program comprehension to tool requirements in an industrial environment. In Proceedings Second Workshop on Program Comprehension, pages 78–86, July 1993.
Annelise von Mayrhauser, A. Marie Vans, and Steve Lang. Program comprehension and enhancement of software. In Proceedings IFIP World Computing Congress - Information Technology and Knowledge Engineering, 1998.
Wietske Vonk, Ralph Radach, and Hedderik van Rijn. Eye guidance and the saliency of word beginnings in reading text. In Alan Kennedy, Ralph Radach, Dieter Heller, and J. Pynte, editors, Reading as a Perceptual Process, chapter 11, pages 269–299. North-Holland, 2000.
Tim A. Wagner and Susan L. Graham. General incremental lexical analysis. http://harmonia.cs.berkeley.edu/harmonia/papers/twagner-lexing.pdf, 1997.
Tim A. Wagner and Susan L. Graham. Modeling user-provided whitespace and comments in an incremental SDE. Software textendash Practice and Experience, ???(1):???, 1998.
Jens Wagner and Rainer Leupers. C compiler design for an industrial network processor. In Proceedings of The Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES 2001), pages 155–164, 2001.
David Wagner, Jeffrey S. Foster, Eric A. Bfrewer, and Alexander Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In Network and Distributed System Security Symposium, 2000.
Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review, 27(5):203–216, December 1993.
W. M. Waite. The cost of lexical analysis. Software textendash Practice and Experience, 16(5):473–488, 1986.
Larry Wall, Tom Christiansen, and Jon Orwant. Programming Perl. O'Reilly & Associates, Inc, 3rd edition, 2000.
David W. Wall. Global register allocation at link time. Technical Report 86/3, Western Research Lab, October 1986.
Stephen R. Walli. The myth of application source-code conformance. Standard View, 4(2):94–99, June 1996.
Chenxi Wang, Jonathan Hill, John Knight, and Jack Davidson. Software tamper resistance: Obstructing static analysis of programs. Technical Report CS-2000-12, University of Virginia, December 2000.
Willis H. Ware, S. N. Alexander, P. Armer, M. M. Astrahan, T. Biers, H. H. Goode, H. D. Huskey, and M. Rebinoff. Soviet computer technology – 1959. Communications of the ACM, 3(3):131–166, 1960.
Colin Ware. Information Visualization Perception for Design. Morgan Kaufmann Publishers, 2000.
Jr. Henry S. Warren. Hacker's Delight. Addison textendash Wesley, 4th edition, 2003.
P. C. Wason. On the failure to eliminate hypothesis in a conceptual task. Quarterly Journal of Experimental Psychology, XII:129–140, 1960.
P. C. Wason. Reasoning. In Brian M. Foss, editor, New Horizons in Psychology 1, chapter 6, pages 135–151. Penguin Books, 1966.
Watcom. Watcom C Language Reference. Sybase, Inc, 11.0c edition, 2000.
Arthur H. Watson and Thomas J. McCabe. Structured testing: A testing methodology using the cyclomatic complexity metric. Technical Report NIST Special Publication 500-235, National Institute of Standards and Technology (NIST), September 1996.
John Wawrzynek, Krste Asanovic, Brian Kingsbury, David Johnson, James Beck, and Nelson Morgan. Spert-II: A vector microprocessor system. IEEE Computer, 29(3):79–86, March 1996.
Thomas P. Way. Procedure restructuring for ambitious optimization. PhD thesis, University of Delaware, 2002.
David L. Weaver and Tom Germond. The SPARC Architecture Manual. Prentice Hall, Inc, ninth edition, 2000.
Brendan S. Weekes. Differential effects of number of letters on word and nonword naming latency. Quarterly Journal of Experimental Psychology, 50A(2):439–456, 1997.
L. Wehmeyer, M. K. Jain, S. Steinke, P. Marwedel, and M. Balakrishnan. Analysis of the influence of register file size on energy consumption, code size and execution time. IEEE Transactions on Computer-Aided Design of Integrated Circuit and Systems, 20(11):1329–1337, November 2001.
Sheri Wells-Jensen. Cognitive Correlates of Linguistic Complexity: A Cross-Linguistic Comparison of Errors in Speech. PhD thesis, State University of New York at Buffalo, July 1999.
Jim Welsh and Atholl Hay. A Model Implementation of Standard Pascal. Prentice-Hall, Inc, 1986.
John William Whalen. The Influence of Semantic Number representations on Arithmetic Fact Retrieval. PhD thesis, The John Hopkins University, July 2000.
Richard Wheeldon and Steve Counsell. Power law distributions in class relationships. In Third International Workshop on Source Code Analysis and Manipulation (SCAM 2003), pages 45–54, September 2003.
The White House. Guidelines and discount rates for benefit-cost analysis of federal programs. Technical Report OMB Circular A-94, US Government, 1992.
B. A. Wichmann and M. Davies. Experience with a compiler testing tool. Technical Report NPL Report DITC 138/89, National Physical Laboratory, England, 1989.
B. A. Wichmann and I. D. Hill. Algorithm 183. Applied Statistics, 31(2):188–190, 1982.
Wayne A. Wickelgren. Size of rehearsal group and short-term memory. Journal of Experimental Psychology, 68(4):413–419, 1964.
Wayne A. Wickelgren. Short-term memory for repeated and non-repeated items. Quarterly Journal of Experimental Psychology, 17:14–25, 1965.
Cheryl A. Wiecek. A case study of VAX-11 instruction set usage for compiler execution. In Proceedings of the first International Symposium on Architectural Support for Programming Languages and Operating Systems, pages 177–184, March 1982.
Anna Wierzbicka. Semantics: Primes and Universals. Oxford University Press, 1996.
T. A. Wiggerts. Using clustering algorithms in legacy systems remodularizations. In Proceedings of the 4^th Working Conference on Reverse Engineering (WCRE '97), pages 33–43. IEEE, October 1997.
John Wilander and Mariam Kamkar. A comparison of publicly available tools for dynamic buffer overflow prevention. In 10^th Network and Distributed System Security Symposium (NDSS'03), pages 149–162, February 2003.
Edward Wiles. Economic models of software reuse: A survey, comparison and partial validation. Technical Report UWA-DCS-99-032, Department of Computer Science, University of Wales, Aberystwyth, 1999.
Jennifer Wiley. Expertise as mental set: The effects of domain knowledge in creative problem solving. Memory & Cognition, 26(4):716–730, 1998.
J. H. Wilkinson. Rounding Errors in Algebraic Processes. Dover, 1994.
Edward D. Willink and Vyacheslav B. Muchnick. Preprocessing C++: Substitution and composition. In Proceedings of the Eastern European Conference on the Technology of Object Oriented Languages and Systems, June 1999.
Edward D. Willink. Meta-Compilation for C++. PhD thesis, University of Surrey, June 2001.
Theodore C. Willoughby. Are programmers paranoid? In Proceedings of the Tenth Annual SIGCPR Conference, pages 47–54, June 1972.
Linda Wills. Automated Program Recognition by Graph Parsing. PhD thesis, MIT, July 1992.
Paul R. Wilson, Mark S. Johnstone, Michael Neely, and David Boles. Dynamic storage allocation: A survey and critical review. In H. G. Baker, editor, Proceedings 1995 International Workshop on Memory Management, volume 986 of Lecture Notes in Computer Science, pages 1–116. Springer-Verlag, Berlin, Germany, September 1995.
Timothy D. Wilson, Samuel Lindsey, and Tonya Y. Schooler. A model of dual attitudes. Psychological Review, 107(1):101–126, 2000.
Alan M. Wing and Alan D. Baddeley. Spelling errors in handwriting: A corpus and distributional analysis. In Uta Frith, editor, Cognitive Processes in Spelling, chapter 12, pages 251–285. Academic Press, 1980.
David S. Wise and Jeremy D. Frens. Morton-order matrices deserve compilers' support. Technical Report Technical Report 533, Indiana University, November 1999.
J. Chris Wise, David L. Hannaman, Peter Kozumplik, Ellen Franke, and Betty L. Leaver. Methods to improve cultural communication skills in special operations forces. Technical Report ARI Contract Report 98-06, United States Army Research Institute for the Behavioral and Social Sciences, July 1998.
E. J. Wisniewski and D. Gentner. On the combinatorial semantics of noun pairs: Minor and major adjustments to meaning. In G. B. Simpson, editor, Understanding word and sentence, pages 241–284. Amsterdam: North Holland, 1991.
Edward Wisniewski and Bradley C. Love. Relations versus properties in conceptual combination. Journal of Memory and Language, 38:177–202, 1998.
James Withey. Investment analysis of software assets for product lines. Technical Report CMU/SEI-96-TR-010, Software Engineering Institute, Carnegie Mellon University, November 1996.
WL | Delft Hydraulics. Programmer's guide C programming rules. Technical Report OMS report number 2001-02, WL | Delft Hydraulics, November 2001.
Michael Wolfe. How compilers and tools differ for embedded systems. In Proceedings of the 2005 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2005, pages 1–4. ACM, September 2005.
Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie, Jaswinder Pal Singh, and Anoop Gupta. The SPLASH-2 programs: Characterization and methodological considerations. In Proceedings of the 22^nd Annual International Symposium on Computer Architecture, pages 24–37, New York, June 22–24 1995. ACM Press.
S. Woods and Q. Yang. Approaching the program understanding problem: Analysis and A heuristic solution. In Proceedings of the 18^th International Conference on Software Engineering (ICSE '96), March 1996.
Steven Woods. A Method of Program Understanding using Constraint Satisfaction for Software Reverse Engineering. PhD thesis, University of Waterloo, 1996.
Le-Chun Wu, Rajiv Mirani, Harish Patil, Bruce Olsen, and Wen-Mei W. Hwu. A new framework for debugging globally optimized code. In Proceedings of the SIGPLAN'99 Conference on Programming Language Design and Implementation, 1999.
Lisa Wu, Chris Weaver, and Todd Austin. CryptoManiac: A fast flexible architecture for secure communication. In 28^th Annual International Symposium on Computer Architecture (ISCA-2001), pages 110–119, June 2001.
Yichen Xie and Dawson Engler. Using redundancies to find errors. In Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering, pages 51–60, November 2002.
X/Open Company Ltd. Go Solo textendash How to implement and Go Solo with the Single UNIX Specification. Prentice Hall, Inc, 1995.
Zhichen Xu, Thomas Reps, and Barton P. Miller. Typestate checking of machine code. In European Symposium On Programming 2001, 2001.
Jun Yang and Rajiv Gupta. Frequent value locality and its applications. ACM Transactions on Embedded Computing Systems, 2(3):1–27, 2002.
Minghui Yang, Gang-Ryung Uh, and David B. Whalley. Efficient and effective branch reordering using profile data. ACM Transactions on Programming Languages and Systems (TOPLAS), 24(6):667–697, 2002.
E. J. Yannakoudakis and D. Fawthrop. The rules of spelling errors. Information Processing & Management, 19(2):87–99, 1983.
Joshua J. Yi and David J. Lilja. Improving processor performance by simplifying and bypassing trivial computations. In International Conference on Computer Design (ICCD'02), pages 462–467, September 2002.
Peter N. Yianilos and Kirk G. Kanzelberger. The LIKEIT intelligent string comparison facility. Technical report, NEC Research Institute, May 1997.
Hidetoshi Yokoo. Overflow/underflow-free floating-point number representations with self-delimiting variable-length exponent field. IEEE Transactions on Computers, 41(8):1033–1039, August 1992.
Cliff Young, David S. Johnson, David R. Karger, and Michael D. Smith. Near-optimal intraprocedural branch alignment. SIGPLAN Notices, 32(5):183–193, May 1997.
William D. Young. A verified code generator for a subset of Gypsy. PhD thesis, The University of Texas at Austin, December 1988.
Weider D. Yu. A software fault prevention approach in coding and root cause analysis. Bell Labs Technical Journal, April-June 1998.
Robert Yung. Evaluation of a commercial microprocessor. Technical Report SMLI TR-98-65, Sun Microsystems, 1998.
Z-World. Dynamic C User's Manual. Z-World, Inc, Davis, CA, USA, 019-0071.020218-p edition, 1999.
E. M. Zamora, J. J. Pollock, and Antonio Zamora. The use of trigram analysis for spelling error detection. Information Processing & Management, 17(6):305–316, 1981.
Michael Joseph Zastre. Compacting object code via parameterized procedure abstraction. Thesis (m.s.), University of Victoria, 1993.
N. Jane Zbrodoff and Gordon D. Logan. On the relation between production and verification tasks in the psychology of simple arithmetic. Journal of Experimental Psychology: Learning, Memory, and Cognition, 16(1):83–97, 1990.
N. Jane Zbrodoff. Why is 9 + 7 harder than 2 + 3? Strength and interference as explanations of the problem-size effect. Memory & Cognition, 23(6):689–700, 1995.
Stephen F. Zeigler. Comparing development costs of C and Ada. Technical report, Rational Software Corporation, March 1995.
Marvin V. Zelkowitz and Dolores Wallace. Experimental models for validating computer technology. IEEE Computer, 31(5):23–31, May 1998.
Jason D. Zevin and Mark S. Seidenberg. Age of acquisition effects in word reading and other tasks. Journal of Memory and Language, 47:1–29, 2002.
Youtao Zhang and Rajiv Gupta. Data compression transformations for dynamically allocated data structures. In R. Nigel Horspool, editor, Compiler Construction 11^th International Conference, CC 2002, pages 14–28. Springer-Verlag, April 2002.
Jian Zhang and Howard J. Hamilton. Learning English syllabification rules. In R. E. Mercer and E. Neufeld, editors, Advances in Artificial Intelligence: 12^th Biennial Conference of the Canadian AI Society for the Computational Studies of Intelligence (AI'98) Proceedings, pages 246–258, 1998.
Sean Zhang and Barbara G. Ryder. Complexity of single level function pointer aliasing analysis. Technical Report LCSR-TR-233, Rutgers University, August 1994.
Jiajie Zhang and Hongbin Wang. The effect of external representations on numeric tasks. Quarterly Journal of Experimental Psychology, 58(5):817–838, October 2005.
Xiang-Xiang Sean Zhang. Practical pointer aliasing analysis. PhD thesis, New Brunswick Rutgers, The State University of New Jersey, October 1998.
Jinger Zhao. Voice notes: A discourse analysis of programmer voice annotations. Technical Report TR-18-04, Harvard University, August 2004.
Johannes C. Ziegler, Arnaud Rey, and Arthur M. Jacobs. Simulating individual word identification thresholds and errors in the fragmentation task. Memory & Cognition, 26(3):490–501, 1998.
Johannes C. Ziegler, Conrad Perry, Arthur M. Jacobs, and Mario Braun. Identical words are read differently in different languages. Psychological Science, 12(5):379–384, September 2001.
G. K. Zipf. Human Behavior and the Principle of Least Effort: An Introduction to Human Ecology. Addison textendash Wesley, 1949.
Fred Zlotnick. The POSIX.1 Standard: A Programmer's Guide. The Benjamin/Cummings Publishing Company, 1991.
Justin Zobel. Reliable research: Towards experimental standards for computer science. In Proceedings of the 21^st Australian Computer Science Conference, pages 217–229, February 1998.
Steve Zucker and Kari Karhi. System V Application Binary Interface: PowerPC processor Supplement. SunSoft, Mountain View, CA, USA, 802-3334-10 edition, September 1995.