skip to main content
Skip header Section
The C programming languageJune 1989
Publisher:
  • Prentice Hall Press
  • One Lake Street Upper Saddle River, NJ
  • United States
ISBN:978-0-13-110362-7
Published:01 June 1989
Pages:
272
Skip Bibliometrics Section
Bibliometrics
Skip Abstract Section
Abstract

This ebook is the first authorized digital version of Kernighan and Ritchies 1988 classic, The C Programming Language (2nd Ed.). One of the best-selling programming books published in the last fifty years, K&R has been called everything from the bible to a landmark in computer science and it has influenced generations of programmers. Available now for all leading ebook platforms, this concise and beautifully written text is a must-have reference for every serious programmers digital library. As modestly described by the authors in the Preface to the First Edition, this is not an introductory programming manual; it assumes some familiarity with basic programming concepts like variables, assignment statements, loops, and functions. Nonetheless, a novice programmer should be able to read along and pick up the language, although access to a more knowledgeable colleague will help.

Cited By

  1. ACM
    Rose A and Bansal S (2024). Modeling Dynamic (De)Allocations of Local Memory for Translation Validation, Proceedings of the ACM on Programming Languages, 8:OOPSLA1, (1463-1492), Online publication date: 29-Apr-2024.
  2. ACM
    Avishahar-Zeira A and Lorenz D Could No-Code Be Code? Toward a No-Code Programming Language for Citizen Developers Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (103-119)
  3. ACM
    Altoyan N and Batory D (2022). On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels, ACM Transactions on Software Engineering and Methodology, 32:2, (1-42), Online publication date: 30-Apr-2023.
  4. ACM
    Weideman N, Wang H, Kann T, Zahabizadeh S, Wu W, Tandon R, Mirkovic J and Hauser C Harm-DoS: Hash Algorithm Replacement for Mitigating Denial-of-Service Vulnerabilities in Binary Executables Proceedings of the 25th International Symposium on Research in Attacks, Intrusions and Defenses, (276-291)
  5. ACM
    Yodaiken V How ISO C became unusable for operating systems development Proceedings of the 11th Workshop on Programming Languages and Operating Systems, (84-90)
  6. ACM
    Darwish O, Elmasry A and Katajainen J (2021). Memory-Adjustable Navigation Piles with Applications to Sorting and Convex Hulls, ACM Transactions on Algorithms, 17:2, (1-19), Online publication date: 1-Jun-2021.
  7. ACM
    Lilis Y and Savidis A (2019). A Survey of Metaprogramming Languages, ACM Computing Surveys, 52:6, (1-39), Online publication date: 30-Nov-2020.
  8. Grévisse C and Rothkugel S An SKOS-Based Vocabulary on the Swift Programming Language The Semantic Web – ISWC 2020, (244-258)
  9. Kägi A and Mache J (2021). Hands-on teaching of RSA public-key cryptosystems with snap!, Journal of Computing Sciences in Colleges, 36:1, (12-20), Online publication date: 1-Oct-2020.
  10. Zhu Z, Ko H, Zhang Y, Martins P, Saraiva J and Hu Z (2020). Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars, New Generation Computing, 38:3, (423-476), Online publication date: 1-Jul-2020.
  11. ACM
    Chari G, Pimás J, Vitek J and Flückiger O (2020). Self-contained development environments, ACM SIGPLAN Notices, 53:8, (76-87), Online publication date: 6-Apr-2020.
  12. ACM
    Schardl T, Moses W and Leiserson C (2019). Tapir, ACM Transactions on Parallel Computing, 6:4, (1-33), Online publication date: 26-Dec-2019.
  13. Andrey T and Platonova M IT Education in St. Petersburg State University Frontiers in Software Engineering Education, (106-114)
  14. ACM
    Ludwig K, Krüger J and Leich T Covert and Phantom Features in Annotations Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A, (218-230)
  15. Vale T and Almeida E (2019). Experimenting with information retrieval methods in the recovery of feature-code SPL traces, Empirical Software Engineering, 24:3, (1328-1368), Online publication date: 1-Jun-2019.
  16. Angerer F, Grimmer A, Prähofer H and Grünbacher P (2019). Change impact analysis for maintenance and evolution of variable software systems, Automated Software Engineering, 26:2, (417-461), Online publication date: 1-Jun-2019.
  17. ACM
    Jakobsson A, Dabrowski F and Bousdira W Safe usage of registers in BSPlib Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1400-1407)
  18. ACM
    Singer K, Xu Y and Lee I Proactive work stealing for futures Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, (257-271)
  19. ACM
    Malhotra V and Anand A Teaching a University-Wide Programming Laboratory Proceedings of the Twenty-First Australasian Computing Education Conference, (1-10)
  20. Lee J, Shi W and Gil J (2018). Accelerated bulk memory operations on heterogeneous multi-core systems, The Journal of Supercomputing, 74:12, (6898-6922), Online publication date: 1-Dec-2018.
  21. ACM
    Ren J, Yin H, Hu Q, Fox A and Koszek W Towards quantifying the development value of code contributions Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (775-779)
  22. ACM
    Chari G, Pimás J, Vitek J and Flückiger O Self-contained development environments Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages, (76-87)
  23. ACM
    van Binsbergen L, Scott E and Johnstone A GLL parsing with flexible combinators Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (16-28)
  24. ACM
    Schardl T, Lee I and Leiserson C Brief Announcement Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, (351-353)
  25. ACM
    Krüger J, Ludwig K, Zimmermann B and Leich T Physical separation of features Proceedings of the 33rd Annual ACM Symposium on Applied Computing, (2042-2049)
  26. ACM
    Railing B and Bryant R Implementing Malloc Proceedings of the 49th ACM Technical Symposium on Computer Science Education, (104-109)
  27. ACM
    Krieter S, Krüger J and Leich T Don't Worry About it Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, (19-26)
  28. ACM
    Krüger J, Gu W, Shen H, Mukelabai M, Hebig R and Berger T Towards a Better Understanding of Software Features and Their Characteristics Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, (105-112)
  29. ACM
    Jourdan J and Pottier F (2017). A Simple, Possibly Correct LR Parser for C11, ACM Transactions on Programming Languages and Systems, 39:4, (1-36), Online publication date: 31-Dec-2018.
  30. ACM
    Fang B and Sighireanu M (2017). A refinement hierarchy for free list memory allocators, ACM SIGPLAN Notices, 52:9, (104-114), Online publication date: 31-Oct-2017.
  31. ACM
    Schardl T, Moses W and Leiserson C (2017). Tapir, ACM SIGPLAN Notices, 52:8, (249-265), Online publication date: 26-Oct-2017.
  32. Kusner M, Paige B and Hernández-Lobato J Grammar variational autoencoder Proceedings of the 34th International Conference on Machine Learning - Volume 70, (1945-1954)
  33. ACM
    Fang B and Sighireanu M A refinement hierarchy for free list memory allocators Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, (104-114)
  34. ACM
    Vinayakarao V, Sarma A, Purandare R, Jain S and Jain S ANNE Proceedings of the Tenth ACM International Conference on Web Search and Data Mining, (211-220)
  35. ACM
    Schardl T, Moses W and Leiserson C Tapir Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (249-265)
  36. ACM
    Lima G, Santos R and Azevedo R Programming Multimedia Applications in GStreamer Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web, (19-20)
  37. ACM
    Zhu Z, Zhang Y, Ko H, Martins P, Saraiva J and Hu Z Parsing and reflective printing, bidirectionally Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, (2-14)
  38. Pertile S, Moreira V and Rosso P (2016). Comparing and combining Content- and Citation-based approaches for plagiarism detection, Journal of the Association for Information Science and Technology, 67:10, (2511-2526), Online publication date: 1-Oct-2016.
  39. Tuncer D, Charalambides M, Clayman S and Pavlou G (2016). Flexible Traffic Splitting in OpenFlow Networks, IEEE Transactions on Network and Service Management, 13:3, (407-420), Online publication date: 1-Sep-2016.
  40. ACM
    Memarian K, Matthiesen J, Lingard J, Nienhuis K, Chisnall D, Watson R and Sewell P (2016). Into the depths of C: elaborating the de facto standards, ACM SIGPLAN Notices, 51:6, (1-15), Online publication date: 1-Aug-2016.
  41. ACM
    O'Keefe R Building object oriented programs out of pieces Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, (1-7)
  42. ACM
    Ranade A Introductory Programming Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, (278-283)
  43. Katajainen J Worst-Case-Efficient Dynamic Arrays in Practice Proceedings of the 15th International Symposium on Experimental Algorithms - Volume 9685, (167-183)
  44. ACM
    Memarian K, Matthiesen J, Lingard J, Nienhuis K, Chisnall D, Watson R and Sewell P Into the depths of C: elaborating the de facto standards Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (1-15)
  45. Schuster C, Disney T and Flanagan C Macrofication Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632, (644-671)
  46. ACM
    Pǎtraşcu M and Thorup M (2015). On the k-Independence Required by Linear Probing and Minwise Independence, ACM Transactions on Algorithms, 12:1, (1-27), Online publication date: 8-Feb-2016.
  47. ACM
    Kuszmaul B (2015). SuperMalloc: a super fast multithreaded malloc for 64-bit machines, ACM SIGPLAN Notices, 50:11, (41-55), Online publication date: 28-Jan-2016.
  48. Healy C (2015). The parse machine, Journal of Computing Sciences in Colleges, 31:2, (219-226), Online publication date: 1-Dec-2015.
  49. Westman J and Nyberg M Formal Architecture Modeling of Sequential C-Programs Revised Selected Papers of the 12th International Conference on Formal Aspects of Component Software - Volume 9539, (312-329)
  50. Leonidis A, Antona M and Stephanidis C Enabling Programmability of Smart Learning Environments by Teachers Proceedings of the Third International Conference on Distributed, Ambient, and Pervasive Interactions - Volume 9189, (62-73)
  51. Ebert T, Backus E, Cid M, Fereres A and Rogers M (2015). A new SAS program for behavioral analysis of electrical penetration graph data, Computers and Electronics in Agriculture, 116:C, (80-87), Online publication date: 1-Aug-2015.
  52. Porkoláb Z Immutables in C++: Language Foundation for Functional Programming Central European Functional Programming School, (75-110)
  53. ACM
    Kuszmaul B SuperMalloc: a super fast multithreaded malloc for 64-bit machines Proceedings of the 2015 International Symposium on Memory Management, (41-55)
  54. ACM
    István Z, Alonso G, Blott M and Vissers K (2015). A Hash Table for Line-Rate Data Processing, ACM Transactions on Reconfigurable Technology and Systems, 8:2, (1-15), Online publication date: 17-Apr-2015.
  55. (2015). A feature model of actor, agent, functional, object, and procedural programming languages, Science of Computer Programming, 98:P2, (120-139), Online publication date: 1-Feb-2015.
  56. Méndez M, Tinetti F and Overbey J Climate models Proceedings of the 2nd International workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, (6-12)
  57. Estébanez C, Saez Y, Recio G and Isasi P (2014). AUTOMATIC DESIGN OF NONCRYPTOGRAPHIC HASH FUNCTIONS USING GENETIC PROGRAMMING, Computational Intelligence, 30:4, (798-831), Online publication date: 1-Nov-2014.
  58. Goel S, Hunt W, Kaufmann M and Ghosh S Simulation and Formal Verification of x86 Machine-Code Programs that make System Calls Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, (91-98)
  59. Vegdahl S (2014). Visualizing NP-completeness through circuit-based widgets, Journal of Computing Sciences in Colleges, 30:1, (190-198), Online publication date: 1-Oct-2014.
  60. ACM
    Wakita K, Homizu K and Sasaki A Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework Proceedings of ILC 2014 on 8th International Lisp Conference, (12-21)
  61. Gil-Costa V, Lobos J, Solar R and Marin M AMEDS-tool Proceedings of the 2014 Summer Simulation Multiconference, (1-8)
  62. ACM
    Gay D, Levis P, von Behren R, Welsh M, Brewer E and Culler D (2014). The nesC language, ACM SIGPLAN Notices, 49:4S, (41-51), Online publication date: 1-Jul-2014.
  63. ACM
    Ustek D, Opavsky E, Walker H and Cowden D Course development through student-faculty collaboration Proceedings of the 2014 conference on Innovation & technology in computer science education, (189-194)
  64. Takako S, Takemura Y and Schmitt L Minimizing Wind Resistance of Vehicles with a Parallel Genetic Algorithm Proceedings of the 9th International Workshop on Databases in Networked Information Systems - Volume 8381, (214-231)
  65. ACM
    Krebbers R (2014). An operational and axiomatic semantics for non-determinism and sequence points in C, ACM SIGPLAN Notices, 49:1, (101-112), Online publication date: 13-Jan-2014.
  66. ACM
    Krebbers R An operational and axiomatic semantics for non-determinism and sequence points in C Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (101-112)
  67. ACM
    Roth B, Jahn M and Jablonski S On the way of bottom-up designing textual domain-specific modelling languages Proceedings of the 2013 ACM workshop on Domain-specific modeling, (51-56)
  68. ACM
    Gill T and Hevner A (2013). A Fitness-Utility Model for Design Science Research, ACM Transactions on Management Information Systems, 4:2, (1-24), Online publication date: 1-Aug-2013.
  69. ACM
    Stanberry L, Liu Y, Rekepalli B, Giblock P, Higdon R and Broomall W High performance computing workflow for protein functional annotation Proceedings of the Conference on Extreme Science and Engineering Discovery Environment: Gateway to Discovery, (1-6)
  70. ACM
    Jancewicz R, Kiayias A, Michel L, Russell A and Shvartsman A Malicious takeover of voting systems Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1816-1823)
  71. Song Z, Ji Z, Ma J, Sputh B, Acharya U and Faust O (2012). A systematic approach to embedded biomedical decision making, Computer Methods and Programs in Biomedicine, 108:2, (656-664), Online publication date: 1-Nov-2012.
  72. ACM
    Loh A, van der Storm T and Cook W Managed data Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (179-194)
  73. ACM
    Lau K, Ng K, Rana T and Tran C Incremental construction of component-based systems Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, (41-50)
  74. Elmasry A, Katajainen J and Stenmark M Branch mispredictions don't affect mergesort Proceedings of the 11th international conference on Experimental Algorithms, (160-171)
  75. Lilis Y and Savidis A Supporting compile-time debugging and precise error reporting in meta-programs Proceedings of the 50th international conference on Objects, Models, Components, Patterns, (155-170)
  76. ACM
    Ellison C and Rosu G An executable formal semantics of C with applications Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (533-544)
  77. ACM
    Ellison C and Rosu G (2012). An executable formal semantics of C with applications, ACM SIGPLAN Notices, 47:1, (533-544), Online publication date: 18-Jan-2012.
  78. Ficarra F, Ficarra V and Ficarra M New technologies of the information and communication Proceedings of the Second international conference on Advances in New Technologies, Interactive Interfaces and Communicability, (71-84)
  79. Qian H and Deng Y Accelerating RTL simulation with GPUs Proceedings of the International Conference on Computer-Aided Design, (687-693)
  80. Cristia M, Hollmann D, Albertengo P, Frydman C and Monetti P A language for test case refinement in the test template framework Proceedings of the 13th international conference on Formal methods and software engineering, (601-616)
  81. ACM
    Méry D and Singh N Automatic code generation from event-B models Proceedings of the 2nd Symposium on Information and Communication Technology, (179-188)
  82. ACM
    Langdon W Debugging CUDA Proceedings of the 13th annual conference companion on Genetic and evolutionary computation, (415-422)
  83. Grelck C Single assignment C (SAC) high productivity meets high performance Proceedings of the 4th Summer School conference on Central European Functional Programming School, (207-278)
  84. ACM
    Liebig J, Kästner C and Apel S Analyzing the discipline of preprocessor annotations in 30 million lines of C code Proceedings of the tenth international conference on Aspect-oriented software development, (191-202)
  85. ACM
    Kästner C, Giarrusso P and Ostermann K Partial preprocessing C code for variability analysis Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive Systems, (127-136)
  86. ACM
    Grech N, Rathke J and Fischer B (2010). JEqualityGen, ACM SIGPLAN Notices, 46:2, (177-186), Online publication date: 26-Jan-2011.
  87. Wright S and Eder K (2011). Using Event-B to construct instruction set architectures, Formal Aspects of Computing, 23:1, (73-89), Online publication date: 1-Jan-2011.
  88. Narciso F, Rios-Bolivar A, Hidrobo F and Gonzalez O A syntactic specification for the programming languages of the IEC 61131-3 standard Proceedings of the 9th WSEAS international conference on computational intelligence, man-machine systems and cybernetics, (171-176)
  89. Mitsuta T and Schmitt L Optimizing the performance of GNU-chess with a genetic algorithm Proceedings of the 13th International Conference on Humans and Computers, (124-131)
  90. Misra S, Dhurandher S, Obaidat M, Gupta P, Verma K and Narula P (2010). An ant swarm-inspired energy-aware routing protocol for wireless ad-hoc networks, Journal of Systems and Software, 83:11, (2188-2199), Online publication date: 1-Nov-2010.
  91. ACM
    Grech N, Rathke J and Fischer B JEqualityGen Proceedings of the ninth international conference on Generative programming and component engineering, (177-186)
  92. ACM
    Arai H and Wakita K An implementation of a hygienic syntactic macro system for JavaScript Workshop on Self-Sustaining Systems, (30-40)
  93. Parkinson M The next 700 separation logics Proceedings of the Third international conference on Verified software: theories, tools, experiments, (169-182)
  94. Gil J and Lenz K The use of overloading in JAVA programs Proceedings of the 24th European conference on Object-oriented programming, (529-551)
  95. ACM
    Agrawal K, Lee I and Sukha J Brief announcement Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures, (186-188)
  96. ACM
    Lee B, Wiedermann B, Hirzel M, Grimm R and McKinley K (2010). Jinn, ACM SIGPLAN Notices, 45:6, (36-49), Online publication date: 12-Jun-2010.
  97. ACM
    Lee B, Wiedermann B, Hirzel M, Grimm R and McKinley K Jinn Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, (36-49)
  98. ACM
    Liebig J, Apel S, Lengauer C, Kästner C and Schulze M An analysis of the variability in forty preprocessor-based software product lines Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, (105-114)
  99. Keinänen H An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems - Volume 5956, (25-39)
  100. Bille P and Thorup M Regular expression matching with multi-strings and intervals Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete algorithms, (1297-1308)
  101. Keinänen H Stochastic local search for core membership checking in hedonic games Transactions on computational collective intelligence I, (56-70)
  102. Schmitz S (2010). An experimental ambiguity detection tool, Science of Computer Programming, 75:1-2, (71-84), Online publication date: 1-Jan-2010.
  103. ACM
    Riehl J (2009). Language embedding and optimization in mython, ACM SIGPLAN Notices, 44:12, (39-48), Online publication date: 25-Dec-2009.
  104. ACM
    Riehl J Language embedding and optimization in mython Proceedings of the 5th symposium on Dynamic languages, (39-48)
  105. ACM
    Cook W On understanding data abstraction, revisited Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (557-572)
  106. ACM
    Cook W (2009). On understanding data abstraction, revisited, ACM SIGPLAN Notices, 44:10, (557-572), Online publication date: 25-Oct-2009.
  107. Donaldson A (2009). Vector Symmetry Reduction, Electronic Notes in Theoretical Computer Science (ENTCS), 250:2, (3-18), Online publication date: 1-Sep-2009.
  108. Gouveia P, Plakhov A and Torres D (2009). Two-dimensional body of maximum mean resistance, Applied Mathematics and Computation, 215:1, (37-52), Online publication date: 1-Sep-2009.
  109. Julián-Iranzo P, Rubio-Manzano C and Gallardo-Casero J (2009). Bousi~Prolog, Electronic Notes in Theoretical Computer Science (ENTCS), 248, (131-147), Online publication date: 1-Aug-2009.
  110. ACM
    Leiserson C The Cilk++ concurrency platform Proceedings of the 46th Annual Design Automation Conference, (522-527)
  111. Avilés-Cruz C, Ferreyra-Ramirez A, Ocampo-Hidalgo J and Vazquez-Alvarez I Robust image retrieval using Hu invariants and principal components analysis Proceedings of the WSEAES 13th international conference on Computers, (544-549)
  112. ACM
    Oiwa Y Implementation of the memory-safe full ANSI-C compiler Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, (259-269)
  113. ACM
    Oiwa Y (2009). Implementation of the memory-safe full ANSI-C compiler, ACM SIGPLAN Notices, 44:6, (259-269), Online publication date: 28-May-2009.
  114. Shade E (2009). Operating systems on a stick, Journal of Computing Sciences in Colleges, 24:5, (151-158), Online publication date: 1-May-2009.
  115. ACM
    O'Hearn P, Yang H and Reynolds J (2009). Separation and information hiding, ACM Transactions on Programming Languages and Systems, 31:3, (1-50), Online publication date: 1-Apr-2009.
  116. Tuch H (2009). Formal Verification of C Systems Code, Journal of Automated Reasoning, 42:2-4, (125-187), Online publication date: 1-Apr-2009.
  117. Thorup M String hashing for linear probing Proceedings of the twentieth annual ACM-SIAM symposium on Discrete algorithms, (655-664)
  118. ACM
    Loo S and Planting C (2009). Use of discrete and soft processors in introductory microprocessors and embedded systems curriculum, ACM SIGBED Review, 6:1, (1-10), Online publication date: 1-Jan-2009.
  119. ACM
    Anderson E Scripted smarts in an intelligent virtual environment Proceedings of the 2008 Conference on Future Play: Research, Play, Share, (185-188)
  120. ACM
    Leha A, Chalabine M and Kessler C Parallelizing scientific code with invasive interactive parallelization Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, (1-10)
  121. Bellia M and Occhiuto M (2008). Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, 85:1-4, (35-50), Online publication date: 20-Sep-2008.
  122. Perna J and Woodcock J UTP semantics for handel-C Proceedings of the 2nd international conference on Unifying theories of programming, (142-160)
  123. ACM
    Rinetzky N, Ramalingam G, Sagiv M and Yahav E (2008). On the complexity of partially-flow-sensitive alias analysis, ACM Transactions on Programming Languages and Systems, 30:3, (1-28), Online publication date: 1-May-2008.
  124. Schmitz S (2008). An Experimental Ambiguity Detection Tool, Electronic Notes in Theoretical Computer Science (ENTCS), 203:2, (69-84), Online publication date: 1-Apr-2008.
  125. ACM
    Hallett J, Luchangco V, Ryu S and Steele G Integrating coercion with subtyping and multiple dispatch Proceedings of the 2008 ACM symposium on Applied computing, (166-170)
  126. ACM
    Brylow D An experimental laboratory environment for teaching embedded operating systems Proceedings of the 39th SIGCSE technical symposium on Computer science education, (192-196)
  127. ACM
    Brylow D (2008). An experimental laboratory environment for teaching embedded operating systems, ACM SIGCSE Bulletin, 40:1, (192-196), Online publication date: 29-Feb-2008.
  128. ACM
    Zheng X and Rugina R (2008). Demand-driven alias analysis for C, ACM SIGPLAN Notices, 43:1, (197-208), Online publication date: 14-Jan-2008.
  129. ACM
    Zheng X and Rugina R Demand-driven alias analysis for C Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (197-208)
  130. Bellia M and Occhiuto M (2008). Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, 85:1-4, (35-50), Online publication date: 1-Jan-2008.
  131. Kosakai T, Maeda T and Yonezawa A Compiling c programs into a strongly typed assembly language Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security, (17-32)
  132. ACM
    Thorup M (2007). Equivalence between priority queues and sorting, Journal of the ACM, 54:6, (28-es), Online publication date: 1-Dec-2007.
  133. Larsson N and Sadakane K (2007). Faster suffix sorting, Theoretical Computer Science, 387:3, (258-272), Online publication date: 20-Nov-2007.
  134. ACM
    Diatchki I, Hallgren T, Jones M, Leslie R and Tolmach A Writing systems software in a functional language Proceedings of the 4th workshop on Programming languages and operating systems, (1-5)
  135. Thorup M Compact oracles for approximate distances around obstacles in the plane Proceedings of the 15th annual European conference on Algorithms, (383-394)
  136. ACM
    Ghuloum A and Dybvig R Implicit phasing for R6RS libraries Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, (303-314)
  137. ACM
    Ghuloum A and Dybvig R (2007). Implicit phasing for R6RS libraries, ACM SIGPLAN Notices, 42:9, (303-314), Online publication date: 1-Oct-2007.
  138. ACM
    Gao L, Kraemer S, Leupers R, Ascheid G and Meyr H A fast and generic hybrid simulation approach using C virtual machine Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems, (3-12)
  139. ACM
    Kraemer S, Gao L, Weinstock J, Leupers R, Ascheid G and Meyr H HySim Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (75-80)
  140. Gil J and Lenz K Eliminating impedance mismatch in C++ Proceedings of the 33rd international conference on Very large data bases, (1386-1389)
  141. ACM
    Bebenita M, Gal A and Franz M Implementing fast JVM interpreters using Java itself Proceedings of the 5th international symposium on Principles and practice of programming in Java, (145-154)
  142. ACM
    Sklyarov V, Skliarova I, Almeida M and Pimentel B A prototyping system for mobile devices Proceedings of the 2007 international conference on Wireless communications and mobile computing, (505-510)
  143. ACM
    Anderson E and McLoughlin L Critters in the classroom ACM SIGGRAPH 2007 educators program, (7-es)
  144. ACM
    Stroustrup B Evolving a language in and for the real world Proceedings of the third ACM SIGPLAN conference on History of programming languages, (4-1-4-59)
  145. ACM
    Andersson A and Thorup M (2007). Dynamic ordered sets with exponential search trees, Journal of the ACM, 54:3, (13-es), Online publication date: 1-Jun-2007.
  146. ACM
    Mancinelli F and Inverardi P Quantitative resource-oriented analysis of Java (Adaptable) applications Proceedings of the 6th international workshop on Software and performance, (15-25)
  147. ACM
    Srivastava S, Hicks M and Foster J Modular information hiding and type-safe linking for C Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, (3-14)
  148. ACM
    Ricks K, Jackson D and Stapleton W (2007). Incorporating embedded programming skills into an ECE curriculum, ACM SIGBED Review, 4:1, (17-26), Online publication date: 1-Jan-2007.
  149. Trčka N Verifying χ models of industrial systems with SPIN Proceedings of the 8th international conference on Formal Methods and Software Engineering, (132-148)
  150. ACM
    Shapiro J Programming language challenges in systems codes Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems, (9-es)
  151. ACM
    Sridhar S and Shapiro J Type inference for unboxed types and first class mutability Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems, (7-es)
  152. ACM
    Balogh Á and Csörnyei Z SysObjC Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems, (5-es)
  153. ACM
    Diatchki I and Jones M Strongly typed memory areas programming systems-level data structures in a functional language Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, (72-83)
  154. Calcagno C, Distefano D, O'Hearn P and Yang H Beyond reachability Proceedings of the 13th international conference on Static Analysis, (182-203)
  155. Burgstaller B, Scholz B and Ertl A An embedded systems programming environment for c Proceedings of the 12th international conference on Parallel Processing, (1204-1216)
  156. ACM
    Scaffidi C (2006). Why are APIs difficult to learn and use?, XRDS: Crossroads, The ACM Magazine for Students, 12:4, (4-4), Online publication date: 1-Aug-2006.
  157. ACM
    Lencevicius R and Metz E Performance assertions for mobile devices Proceedings of the 2006 international symposium on Software testing and analysis, (225-232)
  158. Avilés-Cruz C, Amaya A and Martínez R Image searching based on principal components analysis and invariant moments Proceedings of the 10th WSEAS international conference on Computers, (411-422)
  159. ACM
    Fernández M and Fleutot F A historic functional and object-oriented calculus Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, (145-156)
  160. Gibbons J Fission for program comprehension Proceedings of the 8th international conference on Mathematics of Program Construction, (162-179)
  161. Vörding J, Schellmann M and Gorlatch S Enhancing and Parallelizing Legacy Software for Medical Imaging --A Case Study Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06, (365-383)
  162. ACM
    Artho C and Biere A Advanced unit testing Proceedings of the 2006 international workshop on Automation of software test, (92-98)
  163. ACM
    Mancinelli F and Inverardi P A resource model for adaptable applications Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, (9-15)
  164. Kim J and Prevelakis V Base line performance measurements of access controls for libraries and modules Proceedings of the 20th international conference on Parallel and distributed processing, (356-356)
  165. ACM
    Capron G Static analysis of time bounded reactive properties of Boolean symbols Proceedings of the 2006 ACM symposium on Applied computing, (1827-1834)
  166. ACM
    Zirkind G Genetic database optimization Proceedings of the 2006 ACM SIGMIS CPR conference on computer personnel research: Forty four years of computer personnel research: achievements, challenges & the future, (68-76)
  167. ACM
    McCorkle E Modern features for systems programming languages Proceedings of the 44th annual Southeast regional conference, (691-697)
  168. Langmaack H (2005). What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?, Electronic Notes in Theoretical Computer Science (ENTCS), 141:2, (5-32), Online publication date: 1-Dec-2005.
  169. Nikolaidis S, Chatzigeorgiou A and Laopoulos T (2005). Developing an environment for embedded software energy estimation, Computer Standards & Interfaces, 28:2, (150-158), Online publication date: 1-Dec-2005.
  170. ACM
    Berger M, Honda K and Yoshida N A logical analysis of aliasing in imperative higher-order functions Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, (280-293)
  171. ACM
    Berger M, Honda K and Yoshida N (2005). A logical analysis of aliasing in imperative higher-order functions, ACM SIGPLAN Notices, 40:9, (280-293), Online publication date: 12-Sep-2005.
  172. Brown J and Wen Z Toward an application support layer Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics, (912-919)
  173. Hubert T and Marche C A case study of C source code verification Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (190-199)
  174. Da Penha D, Corrêa J, Ramos L, Pousa C and Martins C Performance evaluation of programming paradigms and languages using multithreading on digital image processing Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science, (1-6)
  175. McGrail R and Brody B (2005). Deconstructing the "math-science quest for solutions" website via logic programming, Journal of Computing Sciences in Colleges, 20:3, (188-197), Online publication date: 1-Feb-2005.
  176. ACM
    Manson J, Pugh W and Adve S (2005). The Java memory model, ACM SIGPLAN Notices, 40:1, (378-391), Online publication date: 12-Jan-2005.
  177. ACM
    Parkinson M and Bierman G (2005). Separation logic and abstraction, ACM SIGPLAN Notices, 40:1, (247-258), Online publication date: 12-Jan-2005.
  178. ACM
    Manson J, Pugh W and Adve S The Java memory model Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (378-391)
  179. ACM
    Parkinson M and Bierman G Separation logic and abstraction Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (247-258)
  180. Sklyarov V Hardware implementation of hierarchical FSMs Proceedings of the 4th international symposium on Information and communication technologies, (148-153)
  181. Johnstone A, Scott E and Economopoulos G (2004). The Grammar Tool Box, Electronic Notes in Theoretical Computer Science (ENTCS), 110:C, (97-113), Online publication date: 31-Dec-2005.
  182. Hoflehner G, Kirkegaard K, Skinner R, Lavery D, Lee Y and Li W Compiler Optimizations for Transaction Processing Workloads on Itanium® Linux Systems Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture, (294-303)
  183. ACM
    Budiu M, Venkataramani G, Chelcea T and Goldstein S (2004). Spatial computation, ACM SIGOPS Operating Systems Review, 38:5, (14-26), Online publication date: 1-Dec-2004.
  184. ACM
    Budiu M, Venkataramani G, Chelcea T and Goldstein S (2004). Spatial computation, ACM SIGARCH Computer Architecture News, 32:5, (14-26), Online publication date: 1-Dec-2004.
  185. ACM
    Zitser M, Lippmann R and Leek T (2004). Testing static analysis tools using exploitable buffer overflows from open source code, ACM SIGSOFT Software Engineering Notes, 29:6, (97-106), Online publication date: 1-Nov-2004.
  186. ACM
    Budiu M, Venkataramani G, Chelcea T and Goldstein S (2004). Spatial computation, ACM SIGPLAN Notices, 39:11, (14-26), Online publication date: 1-Nov-2004.
  187. ACM
    Zitser M, Lippmann R and Leek T Testing static analysis tools using exploitable buffer overflows from open source code Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (97-106)
  188. ACM
    Budiu M, Venkataramani G, Chelcea T and Goldstein S Spatial computation Proceedings of the 11th international conference on Architectural support for programming languages and operating systems, (14-26)
  189. Adams D (2004). Teaching web application development using Zope, Journal of Computing Sciences in Colleges, 20:1, (63-70), Online publication date: 1-Oct-2004.
  190. ACM
    Carlsson R, Gustavsson B and Nyblom P Erlang's exception handling revisited Proceedings of the 2004 ACM SIGPLAN workshop on Erlang, (16-26)
  191. ACM
    Herman D and Meunier P Improving the static analysis of embedded languages via partial evaluation Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (16-27)
  192. ACM
    Herman D and Meunier P (2004). Improving the static analysis of embedded languages via partial evaluation, ACM SIGPLAN Notices, 39:9, (16-27), Online publication date: 19-Sep-2004.
  193. ACM
    Jablonowski J Some remarks on teaching of programming Proceedings of the 5th international conference on Computer systems and technologies, (1-6)
  194. ACM
    Kaplan D Teaching computation to undergraduate scientists Proceedings of the 35th SIGCSE technical symposium on Computer science education, (358-362)
  195. ACM
    Diwan A, Waite W and Jackson M PL-detective Proceedings of the 35th SIGCSE technical symposium on Computer science education, (80-84)
  196. ACM
    Vaz A, Fernandes E and Gomes M (2004). SIPAMPL, ACM Transactions on Mathematical Software, 30:1, (47-61), Online publication date: 1-Mar-2004.
  197. ACM
    Kaplan D (2004). Teaching computation to undergraduate scientists, ACM SIGCSE Bulletin, 36:1, (358-362), Online publication date: 1-Mar-2004.
  198. ACM
    Diwan A, Waite W and Jackson M (2004). PL-detective, ACM SIGCSE Bulletin, 36:1, (80-84), Online publication date: 1-Mar-2004.
  199. Yu D, Hamid N and Shao Z (2004). Building certified libraries for PCC, Science of Computer Programming, 50:1-3, (101-127), Online publication date: 1-Mar-2004.
  200. Sullivan C, Wilson A and Chappell S Using C based logic synthesis to bridge the productivity gap Proceedings of the 2004 Asia and South Pacific Design Automation Conference, (349-354)
  201. ACM
    O'Hearn P, Yang H and Reynolds J Separation and information hiding Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (268-280)
  202. ACM
    O'Hearn P, Yang H and Reynolds J (2004). Separation and information hiding, ACM SIGPLAN Notices, 39:1, (268-280), Online publication date: 1-Jan-2004.
  203. ACM
    Clarke D, Richmond M and Noble J (2003). Saving the world from bad beans, ACM SIGPLAN Notices, 38:11, (374-387), Online publication date: 26-Nov-2003.
  204. Bailey M and Davidson J (2003). Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls, IEEE Transactions on Software Engineering, 29:11, (1031-1042), Online publication date: 1-Nov-2003.
  205. Spinellis D (2003). Global Analysis and Transformations in Preprocessed Languages, IEEE Transactions on Software Engineering, 29:11, (1019-1030), Online publication date: 1-Nov-2003.
  206. ACM
    Clarke D, Richmond M and Noble J Saving the world from bad beans Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, (374-387)
  207. Garrido A and Johnson R Refactoring C with conditional compilation Proceedings of the 18th IEEE International Conference on Automated Software Engineering, (323-326)
  208. ACM
    Chen P, Hung M, Hwang Y, Ju R and Lee J (2003). Compiler support for speculative multithreading architecture with probabilistic points-to analysis, ACM SIGPLAN Notices, 38:10, (25-36), Online publication date: 1-Oct-2003.
  209. ACM
    Mark W, Glanville R, Akeley K and Kilgard M Cg ACM SIGGRAPH 2003 Papers, (896-907)
  210. ACM
    Mark W, Glanville R, Akeley K and Kilgard M (2003). Cg, ACM Transactions on Graphics, 22:3, (896-907), Online publication date: 1-Jul-2003.
  211. Singer J JVM versus CLR Proceedings of the 2nd international conference on Principles and practice of programming in Java, (167-169)
  212. ACM
    Chen P, Hung M, Hwang Y, Ju R and Lee J Compiler support for speculative multithreading architecture with probabilistic points-to analysis Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming, (25-36)
  213. ACM
    Dor N, Rodeh M and Sagiv M CSSV Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, (155-167)
  214. ACM
    Gay D, Levis P, von Behren R, Welsh M, Brewer E and Culler D The nesC language Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, (1-11)
  215. ACM
    Thorup M Integer priority queues with decrease key in constant time and the single source shortest paths problem Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, (149-158)
  216. Cribari-Neto F and Zarkos S (2003). Econometric and Statistical Computing Using Ox, Computational Economics, 21:3, (277-295), Online publication date: 1-Jun-2003.
  217. ACM
    Dor N, Rodeh M and Sagiv M (2003). CSSV, ACM SIGPLAN Notices, 38:5, (155-167), Online publication date: 9-May-2003.
  218. ACM
    Gay D, Levis P, von Behren R, Welsh M, Brewer E and Culler D (2003). The nesC language, ACM SIGPLAN Notices, 38:5, (1-11), Online publication date: 9-May-2003.
  219. ACM
    Rabbah R and Palem K (2003). Data remapping for design space optimization of embedded memory systems, ACM Transactions on Embedded Computing Systems, 2:2, (186-218), Online publication date: 1-May-2003.
  220. Jan S, de Dios P and Edwards S Porting a Network Cryptographic Service to the RMC2000 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
  221. ACM
    Nievergelt Y (2003). Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit, ACM Transactions on Mathematical Software, 29:1, (27-48), Online publication date: 1-Mar-2003.
  222. Thorup M On AC0 implementations of fusion trees and atomic heaps Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms, (699-707)
  223. Van Splunter S, Wijngaards N and Brazier F Structuring agents for adaptation Adaptive agents and multi-agent systems, (174-186)
  224. Ernst M, Badros G and Notkin D (2002). An Empirical Analysis of C Preprocessor Use, IEEE Transactions on Software Engineering, 28:12, (1146-1170), Online publication date: 1-Dec-2002.
  225. Gil J and Kimmel R (2002). Efficient Dilation, Erosion, Opening, and Closing Algorithms, IEEE Transactions on Pattern Analysis and Machine Intelligence, 24:12, (1606-1617), Online publication date: 1-Dec-2002.
  226. Vetter J and Worley P Asserting performance expectations Proceedings of the 2002 ACM/IEEE conference on Supercomputing, (1-13)
  227. ACM
    Pechtchanski I and Sarkar V Immutability specification and its applications Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (202-211)
  228. Malloy B, Power J and Waldron J Applying software engineering techniques to parser design Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (75-82)
  229. ACM
    Jätzold S (2002). ART - the abstract robot toolkit, XRDS: Crossroads, The ACM Magazine for Students, 8:5, (1-1), Online publication date: 1-Aug-2002.
  230. Bik A, Girkar M, Grey P and Tian X Automatic detection of saturation and clipping idioms Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing, (61-74)
  231. ACM
    Garrido A and Johnson R Challenges of refactoring C programs Proceedings of the International Workshop on Principles of Software Evolution, (6-14)
  232. ACM
    Baniassad E, Murphy G, Schwanninger C and Kircher M Managing crosscutting concerns during software evolution tasks Proceedings of the 1st international conference on Aspect-oriented software development, (120-126)
  233. Leung A, Palem K and Pnueli A (2002). TimeC, Constraints, 7:2, (75-115), Online publication date: 1-Apr-2002.
  234. Coors M, Keding H, Lüthje O and Meyr H (2002). Design and DSP implementation of fixed-point systems, EURASIP Journal on Advances in Signal Processing, 2002:1, (908-925), Online publication date: 1-Jan-2002.
  235. Moran A, Teisher J, Gill A, Pasalic E and Veneruso J Automated Translation of Legacy Code for ATE Proceedings of the 2001 IEEE International Test Conference
  236. Cowan C, Barringer M, Beattie S, Kroah-Hartman G, Frantzen M and Lokier J FormatGuard Proceedings of the 10th conference on USENIX Security Symposium - Volume 10
  237. ACM
    Thorup M and Zwick U Compact routing schemes Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures, (1-10)
  238. Chappell S Rapid Development of Reconfigurable Systems Proceedings of the 12th International Workshop on Rapid System Prototyping
  239. ACM
    DeLine R and Fähndrich M Enforcing high-level protocols in low-level software Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (59-69)
  240. Seawright A and Brewer F Clairvoyant Readings in hardware/software co-design, (375-388)
  241. ACM
    DeLine R and Fähndrich M (2001). Enforcing high-level protocols in low-level software, ACM SIGPLAN Notices, 36:5, (59-69), Online publication date: 1-May-2001.
  242. ACM
    Gil J (2001). Subtyping arithmetical types, ACM SIGPLAN Notices, 36:3, (276-289), Online publication date: 1-Mar-2001.
  243. Bavan A and Illingworth E A language for implementing parallel and distributed systems using asynchronous point-to-point communication Information processing and technology, (109-129)
  244. ACM
    Gil J Subtyping arithmetical types Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (276-289)
  245. ACM
    Ching W The design and implementation of an APL dialect, ELI Proceedings of the international conference on APL-Berlin-2000 conference, (69-76)
  246. ACM
    Tang H, Shen K and Yang T (2000). Program transformation and runtime support for threaded MPI execution on shared-memory machines, ACM Transactions on Programming Languages and Systems, 22:4, (673-700), Online publication date: 1-Jul-2000.
  247. ACM
    Ching W (2000). The design and implementation of an APL dialect, ELI, ACM SIGAPL APL Quote Quad, 30:4, (69-76), Online publication date: 1-Jun-2000.
  248. ACM
    Debnath D and Sasao T Exact minimization of fixed polarity Reed-Muller expressions for incompletely specified functions Proceedings of the 2000 Asia and South Pacific Design Automation Conference, (247-252)
  249. ACM
    Dube R (2000). Scalable hierarchical coarse-grained timers, ACM SIGOPS Operating Systems Review, 34:1, (11-20), Online publication date: 1-Jan-2000.
  250. ACM
    Séméria L, Sato K and De Micheli G Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C Proceedings of the conference on Design, automation and test in Europe, (312-319)
  251. ACM
    Jennings J and Beuscher E (1999). Verischemelog, ACM SIGPLAN Notices, 35:1, (123-134), Online publication date: 1-Jan-2000.
  252. ACM
    Parson D (1999). Using Java reflection to automate extension language parsing, ACM SIGPLAN Notices, 35:1, (67-80), Online publication date: 1-Jan-2000.
  253. ACM
    Jennings J and Beuscher E Verischemelog Proceedings of the 2nd conference on Domain-specific languages, (123-134)
  254. ACM
    Parson D Using Java reflection to automate extension language parsing Proceedings of the 2nd conference on Domain-specific languages, (67-80)
  255. Parson D Using java reflection to automate extension language parsing Proceedings of the 2nd conference on Conference on Domain-Specific Languages - Volume 2, (6-6)
  256. Cribari-Neto F (1999). C for Econometricians, Computational Economics, 14:1-2, (135-149), Online publication date: 1-Oct-1999.
  257. ACM
    Whittaker J and Jorgensen A (1999). Why softwarre fails, ACM SIGSOFT Software Engineering Notes, 24:4, (81-83), Online publication date: 1-Jul-1999.
  258. ACM
    Blume M and Appel A (1999). Hierarchical modularity, ACM Transactions on Programming Languages and Systems, 21:4, (813-847), Online publication date: 1-Jul-1999.
  259. ACM
    Blume M (1999). Dependency analysis for Standard ML, ACM Transactions on Programming Languages and Systems, 21:4, (790-812), Online publication date: 1-Jul-1999.
  260. ACM
    Naik M and Kumar R (1999). Object-oriented symbol management in syntax-directed compiler systems, ACM SIGPLAN Notices, 34:6, (58-67), Online publication date: 1-Jun-1999.
  261. ACM
    Thielecke H (1999). Continuations, functions and jumps, ACM SIGACT News, 30:2, (33-42), Online publication date: 1-Jun-1999.
  262. ACM
    Fraser C and Proebsting T (1999). Finite-state code generation, ACM SIGPLAN Notices, 34:5, (270-280), Online publication date: 1-May-1999.
  263. ACM
    Foster J, Fähndrich M and Aiken A (1999). A theory of type qualifiers, ACM SIGPLAN Notices, 34:5, (192-203), Online publication date: 1-May-1999.
  264. ACM
    Fraser C and Proebsting T Finite-state code generation Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (270-280)
  265. ACM
    Foster J, Fähndrich M and Aiken A A theory of type qualifiers Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, (192-203)
  266. Atkins D, Ball T, Bruns G and Cox K (1999). Mawl, IEEE Transactions on Software Engineering, 25:3, (334-346), Online publication date: 1-May-1999.
  267. ACM
    Atkinson D and Griswold W (1998). Effective whole-program analysis in the presence of pointers, ACM SIGSOFT Software Engineering Notes, 23:6, (46-55), Online publication date: 1-Nov-1998.
  268. ACM
    Séméria L and De Micheli G SpC: synthesis of pointers in C Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, (340-346)
  269. ACM
    Atkinson D and Griswold W Effective whole-program analysis in the presence of pointers Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (46-55)
  270. ACM
    Steppler M Performance analysis of communication systems formally specified in SDL Proceedings of the 1st international workshop on Software and performance, (49-62)
  271. Glenstrup A, Makholm H and Secher J C-MIX Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, (108-154)
  272. ACM
    Onoma A, Tsai W, Poonawala M and Suganuma H (1998). Regression testing in an industrial environment, Communications of the ACM, 41:5, (81-86), Online publication date: 1-May-1998.
  273. ACM
    Buddrus F and Schödel J Cappuccino — A C++ to Java translator Proceedings of the 1998 ACM symposium on Applied Computing, (660-665)
  274. ACM
    Grant B, Mock M, Philipose M, Chambers C and Eggers S (1997). Annotation-directed run-time specialization in C, ACM SIGPLAN Notices, 32:12, (163-178), Online publication date: 1-Dec-1997.
  275. ACM
    Grant B, Mock M, Philipose M, Chambers C and Eggers S Annotation-directed run-time specialization in C Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (163-178)
  276. ACM
    González-Barahona J, Centeno-González J, de las Heras-Quirós P, Ballesteros-Cámara F and Lóopez-Fernández L Teaching network programming with Ada and Lower_Layer Proceedings of the conference on TRI-Ada '97, (105-110)
  277. Hahn S and Kim J (1997). Automatic Problem Description from Model Program for Knowledge-based Programming Tutor, Automated Software Engineering, 4:4, (439-461), Online publication date: 1-Oct-1997.
  278. Alari G and Ciuffoletti A (1997). Implementing a Probabilistic Clock Synchronization Algorithm, Real-Time Systems, 13:1, (25-46), Online publication date: 1-Jul-1997.
  279. ACM
    Theobald P, Wetzel S and Backes W Design concepts for matrices and lattices in LiDIA Proceedings of the 1997 ACM symposium on Applied computing, (532-536)
  280. ACM
    Karges J, Ritter O and Suhai S (1997). Design and implementation of a parallel pipe, ACM SIGOPS Operating Systems Review, 31:2, (60-94), Online publication date: 1-Apr-1997.
  281. Wilken K and Kong T (1997). Concurrent Detection of Software and Hardware Data-Access Faults, IEEE Transactions on Computers, 46:4, (412-424), Online publication date: 1-Apr-1997.
  282. ACM
    Aggarwal K (1997). A tool for the collection of industrial software metrics data, ACM SIGSOFT Software Engineering Notes, 22:2, (54-57), Online publication date: 1-Mar-1997.
  283. Bentley J and Sedgewick R Fast algorithms for sorting and searching strings Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms, (360-369)
  284. Mason D A functional intermediate form for diverse source languages Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
  285. ACM
    Siff M and Reps T (1996). Program generalization for software reuse, ACM SIGSOFT Software Engineering Notes, 21:6, (135-146), Online publication date: 1-Nov-1996.
  286. ACM
    Marin M (1996). Effective use of assertions in C++, ACM SIGPLAN Notices, 31:11, (28-32), Online publication date: 1-Nov-1996.
  287. ACM
    Siff M and Reps T Program generalization for software reuse Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, (135-146)
  288. ACM
    Abdullah M (1996). hcc—a portable ANSI C compiler (with a code generator for the PowerPCs), ACM SIGPLAN Notices, 31:8, (52-59), Online publication date: 1-Aug-1996.
  289. ACM
    Nguyen T and Srinivasan V (1996). Accessing relational databases from the World Wide Web, ACM SIGMOD Record, 25:2, (529-540), Online publication date: 1-Jun-1996.
  290. ACM
    Nguyen T and Srinivasan V Accessing relational databases from the World Wide Web Proceedings of the 1996 ACM SIGMOD international conference on Management of data, (529-540)
  291. Murphy G, Notkin D and Lan E An empirical study of static call graph extractors Proceedings of the 18th international conference on Software engineering, (90-99)
  292. ACM
    Flanagan C, Flatt M, Krishnamurthi S, Weirich S and Felleisen M (1996). Catching bugs in the web of program invariants, ACM SIGPLAN Notices, 31:5, (23-32), Online publication date: 1-May-1996.
  293. ACM
    Flanagan C, Flatt M, Krishnamurthi S, Weirich S and Felleisen M Catching bugs in the web of program invariants Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, (23-32)
  294. ACM
    Kumar A (1996). Fork diagrams for teaching selection in CS I, ACM SIGCSE Bulletin, 28:1, (348-352), Online publication date: 1-Mar-1996.
  295. ACM
    Kumar A Fork diagrams for teaching selection in CS I Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (348-352)
  296. ACM
    Punyashthiti A and Smith D Program generator for RS-232C instruments Proceedings of the 1996 ACM symposium on Applied Computing, (487-492)
  297. Ophel J Incorporating an Object-Oriented Programming Language into the First Year of a Software Engineering Education Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
  298. McIver L and Conway D Seven Deadly Sins of Introductory Programming Language Design Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
  299. ACM
    Steensgaard B Points-to analysis in almost linear time Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (32-41)
  300. ACM
    Stroustrup B A history of C++ History of programming languages---II, (699-769)
  301. ACM
    Ritchie D The development of the C programming language History of programming languages---II, (671-698)
  302. Seifert R, Kay M and Wilson J Evaluation of AGV routing strategies using hierarchical simulation Proceedings of the 27th conference on Winter simulation, (850-856)
  303. ACM
    Noyelle Y (1995). Disciplined C, ACM SIGPLAN Notices, 30:12, (43-50), Online publication date: 1-Dec-1995.
  304. ACM
    Ramsdell J (1995). CST, ACM SIGPLAN Notices, 30:12, (32-36), Online publication date: 1-Dec-1995.
  305. Marshall A Template-based program restructuring - initial experience Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
  306. ACM
    Sasine J and Toal R Implementing the model-view-controller paradigm in Ada 95 Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world, (202-211)
  307. ACM
    Maclean S and Smith S (1995). Object-oriented programming for embedded systems, ACM SIGPLAN Notices, 30:9, (3-8), Online publication date: 1-Sep-1995.
  308. ACM
    Kamin S and Golin E (1995). Report of a workshop on future directions in programming languages and compilers, ACM SIGPLAN Notices, 30:7, (9-28), Online publication date: 1-Jul-1995.
  309. ACM
    Dumas J and Parsons P (1995). Discovering the way programmers think about new programming environments, Communications of the ACM, 38:6, (45-56), Online publication date: 1-Jun-1995.
  310. ACM
    Schilling J (1995). Dynamically-valued constants, ACM SIGPLAN Notices, 30:4, (13-20), Online publication date: 1-Apr-1995.
  311. ACM
    Khrabrov A (1995). An Ada-like separate compilation style in C, ACM SIGAda Ada Letters, XV:2, (23-30), Online publication date: 1-Mar-1995.
  312. ACM
    Bailey M and Davidson J A formal model and specification language for procedure calling conventions Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (298-310)
  313. ACM
    Corsini P and Rizzo L A simulated system for teaching computer architecture Proceedings of the 1995 workshop on Computer architecture education, (4-es)
  314. Rosenblum D (1995). A Practical Approach to Programming With Assertions, IEEE Transactions on Software Engineering, 21:1, (19-31), Online publication date: 1-Jan-1995.
  315. Tzerpos V Automatic source-file dependency structure extraction for C programs Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
  316. Florissi P Quality of service management automation in integrated distributed systems Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
  317. ACM
    Selby D (1994). An object-oriented APL2, ACM SIGAPL APL Quote Quad, 25:1, (179-184), Online publication date: 1-Oct-1994.
  318. Asthana A, Cravatts M and Krzyzanowski P Towards a Programming Environment for a Computer with Intelligent Memory Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, (89-98)
  319. ACM
    Selby D An object-oriented APL2 Proceedings of the international conference on APL : the language and its applications: the language and its applications, (179-184)
  320. Seawright A and Brewer F (1994). Clairvoyant, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2:2, (172-185), Online publication date: 1-Jun-1994.
  321. ACM
    Cisneros G (1994). Configurable REC, ACM SIGPLAN Notices, 29:5, (7-16), Online publication date: 1-May-1994.
  322. ACM
    Perl S and Weihl W Performance assertion checking Proceedings of the fourteenth ACM symposium on Operating systems principles, (134-145)
  323. ACM
    Tarr P and Clarke L PLEIADES Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, (56-70)
  324. ACM
    Perl S and Weihl W (1993). Performance assertion checking, ACM SIGOPS Operating Systems Review, 27:5, (134-145), Online publication date: 1-Dec-1993.
  325. ACM
    Tarr P and Clarke L (1993). PLEIADES, ACM SIGSOFT Software Engineering Notes, 18:5, (56-70), Online publication date: 1-Dec-1993.
  326. ACM
    Kießling H and Krüger U (1993). Blocks and procedures, ACM SIGPLAN Notices, 28:11, (52-61), Online publication date: 1-Nov-1993.
  327. ACM
    Knight J and Myers E (1993). An improved inspection technique, Communications of the ACM, 36:11, (51-61), Online publication date: 1-Nov-1993.
  328. Corrie B and Mackerras P Data shaders Proceedings of the 4th conference on Visualization '93, (275-282)
  329. Soares P and Karben A Implementing a delegation model design of an HPCC application using concert/C Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2, (729-738)
  330. ACM
    Willhoft R (1993). Structured APL, ACM SIGAPL APL Quote Quad, 24:1, (304-315), Online publication date: 1-Sep-1993.
  331. ACM
    Willhoft R Structured APL Proceedings of the international conference on APL, (304-315)
  332. ACM
    Goldsby M (1993). A simple implementation technique for mixin inheritance, ACM SIGPLAN Notices, 28:9, (47-56), Online publication date: 1-Sep-1993.
  333. ACM
    Nakao Z, Kinjo M and Nakama M (1993). Ada and C, ACM SIGAda Ada Letters, XIII:5, (22-31), Online publication date: 1-Sep-1993.
  334. ACM
    Consel C, Pu C and Walpole J Incremental partial evaluation Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (44-46)
  335. Kempf J Integrating handwriting recognition into Unix Proceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference - Volume 1, (1-27)
  336. Ogielski A and Aiello W (1993). Sparse Matrix Computations on Parallel Processor Arrays, SIAM Journal on Scientific Computing, 14:3, (519-530), Online publication date: 1-May-1993.
  337. ACM
    Ruckert M and Halpern R Educational C Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education, (6-9)
  338. ACM
    Stroustrup B A history of C++ The second ACM SIGPLAN conference on History of programming languages, (271-297)
  339. ACM
    Ruckert M and Halpern R (1993). Educational C, ACM SIGCSE Bulletin, 25:1, (6-9), Online publication date: 1-Mar-1993.
  340. ACM
    Lu J, White D and Chen W Applying object-oriented design to finite element programming Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (424-429)
  341. ACM
    Costilla C, Bas M and Villamor J (1993). SIRIO, ACM SIGMOD Record, 22:1, (28-33), Online publication date: 1-Mar-1993.
  342. ACM
    Stroustrup B (1993). A history of C++, ACM SIGPLAN Notices, 28:3, (271-297), Online publication date: 1-Mar-1993.
  343. ACM
    Musselman K Conducting a successful simulation project Proceedings of the 24th conference on Winter simulation, (115-121)
  344. ACM
    Osborne L (1992). Teaching C with UNIX for college credit to professional programmers, ACM SIGCSE Bulletin, 24:4, (43-48), Online publication date: 1-Dec-1992.
  345. Gotshalks G A theory-model formalization of FlexOr Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1, (225-245)
  346. ACM
    Bennet T A pragmatic set operation and its implementation in C Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's, (177-183)
  347. ACM
    Angele J and Küpper D (1992). Modula-2 an alternative to C?, ACM SIGPLAN Notices, 27:4, (17-26), Online publication date: 1-Apr-1992.
  348. ACM
    John D (1992). Integration of parallel computation into introductory computer science, ACM SIGCSE Bulletin, 24:1, (281-285), Online publication date: 1-Mar-1992.
  349. ACM
    John D Integration of parallel computation into introductory computer science Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (281-285)
  350. ACM
    Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
  351. ACM
    Martens C and Lochovsky F (1991). OASIS, ACM SIGOIS Bulletin, 12:2-3, (29-42), Online publication date: 1-Nov-1991.
  352. Chang R, Ravishankar C and Slonim J A service acquisition mechanism for the client/service model in cygnus Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, (323-345)
  353. ACM
    Martens C and Lochovsky F OASIS Proceedings of the conference on Organizational computing systems, (29-42)
  354. ACM
    Fraser C (1991). A retargetable compiler for ANSI C, ACM SIGPLAN Notices, 26:10, (29-43), Online publication date: 1-Oct-1991.
  355. ACM
    Butcher P and Zedan H (1991). Lucinda—an overview, ACM SIGPLAN Notices, 26:8, (90-100), Online publication date: 1-Aug-1991.
  356. ACM
    Feldman S, Gay D, Maimone M and Schryer N (1991). Availability of f2c—a Fortran to C converter, ACM SIGPLAN Fortran Forum, 10:2, (14-15), Online publication date: 1-Jul-1991.
  357. ACM
    Reid R (1991). Object-oriented programming in C++, ACM SIGCSE Bulletin, 23:2, (9-14), Online publication date: 1-May-1991.
  358. ACM
    Feldman S (1990). A Fortran to C converter, ACM SIGPLAN Fortran Forum, 9:2, (21-22), Online publication date: 1-Oct-1990.
  359. ACM
    Miller F (1990). Predictive deadline multi-processing, ACM SIGOPS Operating Systems Review, 24:4, (52-63), Online publication date: 1-Sep-1990.
  360. ACM
    Reid R A toolkit for individualized compiler-writing projects Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (81-85)
  361. ACM
    Reid R (1990). A toolkit for individualized compiler-writing projects, ACM SIGCSE Bulletin, 22:1, (81-85), Online publication date: 1-Feb-1990.
  362. Iseman M and Shasha D (1990). Performance and Architectural Issues for String Matching, IEEE Transactions on Computers, 39:2, (238-250), Online publication date: 1-Feb-1990.
  363. Hébert M, McNeill M, Shah B, Grimsdale R and Lister P MARTI Proceedings of the Fifth Eurographics conference on Advances in Computer Graphics Hardware: rendering, ray tracing and visualization systems, (69-83)
  364. ACM
    Pezaris S (1989). Shift-reduce conflicts in LR parsers, ACM SIGPLAN Notices, 24:11, (94-95), Online publication date: 1-Nov-1989.
  365. ACM
    Lessman R (1989). Changes and extensions in the C family of languages, ACM SIGCSE Bulletin, 21:2, (34-39), Online publication date: 1-Jun-1989.
  366. ACM
    Pintelas P, Ventouris K and Papassimakopoulou M (1989). A translator from small euclid to pascal, ACM SIGPLAN Notices, 24:5, (93-101), Online publication date: 1-May-1989.
  367. ACM
    Coughran W and Grosse E (1989). A philosophy for scientific computing tools, ACM SIGNUM Newsletter, 24:2-3, (2-7), Online publication date: 1-Apr-1989.
  368. ACM
    Abdel-Wahab H (1988). Experience in teaching communication software using Berkeley Unix, ACM SIGCSE Bulletin, 20:4, (32-37), Online publication date: 1-Dec-1988.
  369. ACM
    Kaindl H (1988). Portability of software, ACM SIGPLAN Notices, 23:6, (59-68), Online publication date: 1-Jun-1988.
  370. Howells D, Fiddian N and Gray W A Source-to-Source Meta-Translation System for Relational Query Languages Proceedings of the 13th International Conference on Very Large Data Bases, (227-234)
  371. ACM
    Bhujade M (1987). Visual specification of blocks in programming languages, ACM SIGPLAN Notices, 22:8, (24-26), Online publication date: 1-Aug-1987.
  372. ACM
    Perlman G Multilingual programming: Coordinating programs, user interfaces, on-line help and documentation Proceedings of the 4th annual international conference on Systems documentation, (123-129)
Contributors
  • Princeton University
  • Nokia Bell Labs

Recommendations