ACM Digital Library home
ACM home
Advanced Search
10.5555/550359guidebooksBook PagePublication PagesBook
A Discipline of ProgrammingOctober 1997
Publisher:
  • Prentice Hall PTR
  • Upper Saddle River, NJ
  • United States
ISBN:978-0-13-215871-8
Pages:
240
Available at Amazon
Save to BinderBinderExport CitationCitation
Bibliometrics
Citation count
1,027
Downloads (6 weeks)
0
Downloads (12 months)
0
Downloads (cumulative)
0

Abstract

No abstract available.

Cited By

  1. ACM
    Lourenço C, Frade M and Pinto J A generalized program verification workflow based on loop elimination and SA form Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, (75-84)
  2. ACM
    Alam O Towards an agile concern-driven development process Proceedings of the International Conference on Software and System Processes, (155-159)
  3. ACM
    Devine D and Alam O Feature model for extensions in modeling languages Proceedings of the 11th International Workshop on Modelling in Software Engineerings, (63-70)
  4. ACM
    Cavalcanti A and Simao A (2019) Fault-based refinement-testing for CSP, Software Quality Journal, 27:2, (529-562), Online publication date: 1-Jun-2019.
  5. ACM
    Liu X, Wang S, Wang P and Wu D Automatic grading of programming assignments Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, (126-137)
  6. ACM
    Kluge R, Stein M, Varró G, Schürr A, Hollick M and Mühlhäuser M (2019) A systematic approach to constructing families of incremental topology control algorithms using graph transformation, Software and Systems Modeling (SoSyM), 18:1, (279-319), Online publication date: 1-Feb-2019.
  7. ACM
    Kienzle J, Mussbacher G, Combemale B and Deantoni J (2019) A unifying framework for homogeneous model composition, Software and Systems Modeling (SoSyM), 18:5, (3005-3023), Online publication date: 1-Oct-2019.
  8. ACM
    O'Connor L Deferring the details and deriving programs Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, (27-39)
  9. ACM
    Attie P, Bab K and Sakr M (2017) Model and Program Repair via SAT Solving, ACM Transactions on Embedded Computing Systems, 17:2, (1-25), Online publication date: 26-Apr-2018.
  10. ACM
    Wang D, Hoffmann J and Reps T PMAF: an algebraic framework for static analysis of probabilistic programs Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, (513-528)
  11. ACM
    Wang D, Hoffmann J and Reps T (2018) PMAF: an algebraic framework for static analysis of probabilistic programs, ACM SIGPLAN Notices, 53:4, (513-528), Online publication date: 2-Dec-2018.
  12. ACM
    Holmes J, Groce A, Pinto J, Mittal P, Azimi P, Kellar K and O'brien J (2018) TSTL, International Journal on Software Tools for Technology Transfer (STTT), 20:1, (57-78), Online publication date: 1-Feb-2018.
  13. ACM
    Xu T and Wang G (2018) Finding strongly connected components of simple digraphs based on generalized rough sets theory, Knowledge-Based Systems, 149:C, (88-98), Online publication date: 1-Jun-2018.
  14. ACM
    Behringer B, Palz J and Berger T PEoPL Proceedings of the 39th International Conference on Software Engineering, (563-574)
  15. ACM
    Ahman D, Hriţcu C, Maillard K, Martínez G, Plotkin G, Protzenko J, Rastogi A and Swamy N Dijkstra monads for free Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, (515-529)
  16. ACM
    Pearce D Array programming in Whiley Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, (17-24)
  17. ACM
    Ahman D, Hriţcu C, Maillard K, Martínez G, Plotkin G, Protzenko J, Rastogi A and Swamy N (2017) Dijkstra monads for free, ACM SIGPLAN Notices, 52:1, (515-529), Online publication date: 11-May-2017.
  18. ACM
    Kienzle J, Mussbacher G, Collet P and Alam O (2016) Delaying decisions in variable concern hierarchies, ACM SIGPLAN Notices, 52:3, (93-103), Online publication date: 12-May-2017.
  19. ACM
    Khaireddine B, Zakharchenko A and Mili A A generic algorithm for program repair Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering, (65-71)
  20. ACM
    Lim R and Thiele L Testbed Assisted Control Flow Tracing for Wireless Embedded Systems Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, (180-191)
  21. ACM
    Gorogiannis N, Raimondi F and Boureanu I A novel symbolic approach to verifying epistemic properties of programs Proceedings of the 26th International Joint Conference on Artificial Intelligence, (206-212)
  22. ACM
    Kersten R, Schäf M and Kahsai T (2017) Resource Contracts for Java, ACM SIGSOFT Software Engineering Notes, 41:6, (1-5), Online publication date: 5-Jan-2017.
  23. ACM
    Pinto A and Sangiovanni Vincentelli A (2017) CSL4P, Systems Engineering, 20:3, (220-234), Online publication date: 1-May-2017.
  24. ACM
    D'Argenio P, Barthe G, Biewer S, Finkbeiner B and Hermanns H Is Your Software on Dope? Proceedings of the 26th European Symposium on Programming Languages and Systems - Volume 10201, (83-110)
  25. ACM
    Ye K and Woodcock J (2017) Model checking of state-rich formalism [InlineEquation not available, International Journal on Software Tools for Technology Transfer (STTT), 19:1, (73-96), Online publication date: 1-Feb-2017.
  26. ACM
    Furia C, Nordio M, Polikarpova N and Tschannen J (2017) AutoProof, International Journal on Software Tools for Technology Transfer (STTT), 19:6, (697-716), Online publication date: 1-Nov-2017.
  27. ACM
    Farah Z, Ait-Ameur Y, Ouederni M and Tari K (2017) A correct-by-construction model for asynchronously communicating systems, International Journal on Software Tools for Technology Transfer (STTT), 19:4, (465-485), Online publication date: 1-Aug-2017.
  28. ACM
    Prokofyeva N, Uhanova M, Katalnikova S, Synytsya K and Jurenoks A (2017) Introductory Programming Training of First Year Students, Procedia Computer Science, 104:C, (286-293), Online publication date: 1-Mar-2017.
  29. ACM
    Mani N, Helfert M and Pahl C (2017) A Domain-specific Rule Generation Using Model-Driven Architecture in Controlled Variability Model, Procedia Computer Science, 112:C, (2354-2362), Online publication date: 1-Sep-2017.
  30. ACM
    Kaminski B and Katoen J A weakest pre-expectation semantics for mixed-sign expectations Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, (1-12)
  31. ACM
    Gabow H (2016) The Minset-Poset Approach to Representations of Graph Connectivity, ACM Transactions on Algorithms (TALG), 12:2, (1-73), Online publication date: 12-Feb-2016.
  32. ACM
    Bloemen V, Laarman A and van de Pol J Multi-core on-the-fly SCC decomposition Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (1-12)
  33. ACM
    Schäfer S, Schneider S and Smolka G Axiomatic semantics for compiler verification Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, (188-196)
  34. ACM
    Padhi S, Sharma R and Millstein T Data-driven precondition inference with learned features Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (42-56)
  35. ACM
    Padon O, McMillan K, Panda A, Sagiv M and Shoham S Ivy: safety verification by interactive generalization Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (614-630)
  36. ACM
    Olmedo F, Kaminski B, Katoen J and Matheja C Reasoning about Recursive Probabilistic Programs Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (672-681)
  37. ACM
    Hino W, Kobayashi H, Hasuo I and Jacobs B Healthiness from Duality Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (682-691)
  38. ACM
    O'Connor L, Chen Z, Rizkallah C, Amani S, Lim J, Murray T, Nagashima Y, Sewell T and Klein G Refinement through restraint: bringing down the cost of verification Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, (89-102)
  39. ACM
    Guo S, Kusano M and Wang C Conc-iSE: incremental symbolic execution of concurrent software Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (531-542)
  40. ACM
    Padhi S, Sharma R and Millstein T (2016) Data-driven precondition inference with learned features, ACM SIGPLAN Notices, 51:6, (42-56), Online publication date: 1-Aug-2016.
  41. ACM
    Padon O, McMillan K, Panda A, Sagiv M and Shoham S (2016) Ivy: safety verification by interactive generalization, ACM SIGPLAN Notices, 51:6, (614-630), Online publication date: 1-Aug-2016.
  42. ACM
    Kienzle J, Mussbacher G, Collet P and Alam O Delaying decisions in variable concern hierarchies Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (93-103)
  43. ACM
    Behringer B and Fey M Implementing delta-oriented SPLs using PEoPL: an example scenario and case study Proceedings of the 7th International Workshop on Feature-Oriented Software Development, (28-38)
  44. ACM
    Bloemen V, Laarman A and van de Pol J (2016) Multi-core on-the-fly SCC decomposition, ACM SIGPLAN Notices, 51:8, (1-12), Online publication date: 9-Nov-2016.
  45. ACM
    O'Connor L, Chen Z, Rizkallah C, Amani S, Lim J, Murray T, Nagashima Y, Sewell T and Klein G (2016) Refinement through restraint: bringing down the cost of verification, ACM SIGPLAN Notices, 51:9, (89-102), Online publication date: 5-Dec-2016.
  46. ACM
    Aljasser K (2016) Implementing design patterns as parametric aspects using ParaAJ, Computer Languages, Systems and Structures, 45:C, (1-15), Online publication date: 1-Apr-2016.
  47. ACM
    Hu Q, Xue J and You Z Formal Development of Linear Structure Reusable Components in PAR Platform 6th International Workshop on Structured Object-Oriented Formal Language and Method - Volume 10189, (85-97)
  48. ACM
    Kaminski B, Katoen J, Matheja C and Olmedo F Weakest Precondition Reasoning for Expected Run---Times of Probabilistic Programs Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632, (364-389)
  49. ACM
    Gouw S, Boer F, Ahrendt W and Bubel R (2016) Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic, Software and Systems Modeling (SoSyM), 15:4, (1117-1140), Online publication date: 1-Oct-2016.
  50. ACM
    You Z, Xue J and Zuo Z (2016) Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms, Cluster Computing, 19:4, (2145-2156), Online publication date: 1-Dec-2016.
  51. ACM
    Brafman R and Shani G (2016) Online belief tracking using regression for contingent planning, Artificial Intelligence, 241:C, (131-152), Online publication date: 1-Dec-2016.
  52. ACM
    Galán F and Cañete-Valdeón J (2016) Synthesis of positive logic programs for checking a class of definitions with infinite quantification, Information and Computation, 249:C, (205-236), Online publication date: 1-Aug-2016.
  53. ACM
    Bride H, Julliand J and Masson P (2016) Tri-modal under-approximation for test generation, Science of Computer Programming, 132:P2, (190-208), Online publication date: 15-Dec-2016.
  54. ACM
    McIver A, Morgan C and Rabehaja T Abstract Hidden Markov Models Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (597-608)
  55. ACM
    Model and program repair via SAT solving Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, (148-157)
  56. ACM
    Wild S, Nebel M and Neininger R (2015) Average Case and Distributional Analysis of Dual-Pivot Quicksort, ACM Transactions on Algorithms, 11:3, (1-42), Online publication date: 13-Jan-2015.
  57. ACM
    Avni G and Kupferman O (2014) Parameterized Weighted Containment, ACM Transactions on Computational Logic (TOCL), 16:1, (1-25), Online publication date: 1-Mar-2015.
  58. ACM
    Mandrioli D and Pradella M (2015) Programming Languages shouldn't be "too Natural", ACM SIGSOFT Software Engineering Notes, 40:1, (1-4), Online publication date: 6-Feb-2015.
  59. ACM
    Gore R, Reynolds Jr. P, Kamensky D, Diallo S and Padilla J (2015) Statistical Debugging for Simulations, ACM Transactions on Modeling and Computer Simulation (TOMACS), 25:3, (1-26), Online publication date: 7-May-2015.
  60. ACM
    Mostowski W and Ulbrich M Dynamic dispatch for method contracts through abstract predicates Proceedings of the 14th International Conference on Modularity, (109-116)
  61. ACM
    Leavens G and Naumann D (2015) Behavioral Subtyping, Specification Inheritance, and Modular Reasoning, ACM Transactions on Programming Languages and Systems, 37:4, (1-88), Online publication date: 13-Aug-2015.
  62. ACM
    Jin W and Orso A (2015) Automated Support for Reproducing and Debugging Field Failures, ACM Transactions on Software Engineering and Methodology, 24:4, (1-35), Online publication date: 2-Sep-2015.
  63. ACM
    Guo S, Kusano M, Wang C, Yang Z and Gupta A Assertion guided symbolic execution of multithreaded programs Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, (854-865)
  64. ACM
    Min C, Kashyap S, Lee B, Song C and Kim T Cross-checking semantic correctness Proceedings of the 25th Symposium on Operating Systems Principles, (361-377)
  65. ACM
    Passos F, Santos K, Barreto R, de Jesus G, Nunes G and Santos L A Systematic Study on Approaches to deal with the Systems' Evolution and Customization Proceedings of the annual conference on Brazilian Symposium on Information Systems: Information Systems: A Computer Socio-Technical Perspective - Volume 1, (467-474)
  66. ACM
    Yi Q, Yang Z, Liu J, Zhao C and Wang C A synergistic analysis method for explaining failed regression tests Proceedings of the 37th International Conference on Software Engineering - Volume 1, (257-267)
  67. ACM
    Hanvey S and Cataño N Identifying transitivity threats in social networks Proceedings of the First International Workshop on TEchnical and LEgal aspects of data pRIvacy, (14-19)
  68. ACM
    Pajic M, Park J, Lee I, Pappas G and Sokolsky O Automatic verification of linear controller software Proceedings of the 12th International Conference on Embedded Software, (217-226)
  69. ACM
    Bertolissi C, dos Santos D and Ranise S Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, (297-308)
  70. ACM
    Gerhards J, Mora F, Aveneau L and Ghazanfarpour D (2015) Partitioned Shadow Volumes, Computer Graphics Forum, 34:2, (549-559), Online publication date: 1-May-2015.
  71. ACM
    Greifenberg T, Look M, Roidl S and Rumpe B Engineering tagging languages for DSLs Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (34-43)
  72. ACM
    Chaudhari D and Damani O Combining Top-Down and Bottom-Up Techniques in Program Derivation Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 9527, (244-258)
  73. ACM
    Tschannen J, Furia C, Nordio M and Polikarpova N AutoProof Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035, (566-580)
  74. ACM
    Janan F and Brady M (2015) Shape Description and Matching Using Integral Invariants on Eccentricity Transformed Images, International Journal of Computer Vision, 113:2, (92-112), Online publication date: 1-Jun-2015.
  75. ACM
    Rönkkö M, Heikkinen J, Kotovirta V and Chandrasekar V (2015) Automated preprocessing of environmental data, Future Generation Computer Systems, 45:C, (13-24), Online publication date: 1-Apr-2015.
  76. ACM
    Groce A, Ahmed I, Jensen C and McKenney P How verified is my code? Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (737-748)
  77. ACM
    Furia C, Meyer B and Velder S (2014) Loop invariants, ACM Computing Surveys, 46:3, (1-51), Online publication date: 1-Jan-2014.
  78. ACM
    Ganesan D and Lindvall M (2014) ADAM, ACM Transactions on Software Engineering and Methodology, 23:2, (1-51), Online publication date: 1-Mar-2014.
  79. ACM
    Sousa M, Dillig I, Vytiniotis D, Dillig T and Gkantsidis C Consolidation of queries with user-defined functions Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, (554-564)
  80. ACM
    Jaffar J and Murali V A path-sensitively sliced control flow graph Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (133-143)
  81. ACM
    Sousa M, Dillig I, Vytiniotis D, Dillig T and Gkantsidis C (2014) Consolidation of queries with user-defined functions, ACM SIGPLAN Notices, 49:6, (554-564), Online publication date: 5-Jun-2014.
  82. ACM
    Goel A, Khanna S, Larkin D and Tarjan R Disjoint set union with randomized linking Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, (1005-1017)
  83. ACM
    BjØrner D and Havelund K 40 Years of Formal Methods Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (42-61)
  84. ACM
    Hawkins R, Miyazawa A, Cavalcanti A, Kelly T and Rowlands J Assurance Cases for Block-Configurable Software Proceedings of the 33rd International Conference on Computer Safety, Reliability, and Security - Volume 8666, (155-169)
  85. ACM
    Leike J and Tiwari A Synthesis for Polynomial Lasso Programs Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 8318, (434-452)
  86. ACM
    Dausend M and Raschke A Introducing Aspect---Oriented Specification for Abstract State Machines Proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 8477, (174-187)
  87. ACM
    Lin F A formalization of programs in first-order logic with a discrete linear order Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, (338-347)
  88. ACM
    Panangaden P Duality in Logic and Computation Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (4-11)
  89. ACM
    Mosbahi O (2013) Combining Formal Methods for the Development of Reactive Systems, ACM Transactions on Embedded Computing Systems, 12:1, (1-29), Online publication date: 1-Jan-2013.
  90. ACM
    Kiemele L, Berg C, Gulliver A and Coady Y KFusion Proceedings of the 12th annual international conference on Aspect-oriented software development, (25-36)
  91. ACM
    Aleb N and Kechid S An interpolation based crossover operator for genetic programming Proceedings of the 15th annual conference companion on Genetic and evolutionary computation, (1107-1112)
  92. ACM
    Arlt S, Rümmer P and Schäf M Joogie Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, (3-8)
  93. ACM
    Blanc R, Kuncak V, Kneuss E and Suter P An overview of the Leon verification system Proceedings of the 4th Workshop on Scala, (1-10)
  94. ACM
    Marinescu P and Cadar C KATCH: high-coverage testing of software patches Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (235-245)
  95. ACM
    Ko H and Gibbons J Relational algebraic ornaments Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, (37-48)
  96. ACM
    Flanagan C, Leino K, Lillibridge M, Nelson G, Saxe J and Stata R (2013) PLDI 2002, ACM SIGPLAN Notices, 48:4S, (22-33), Online publication date: 9-Jul-2013.
  97. ACM
    Alexandron G, Armoni M, Gordon M and Harel D On teaching programming with nondeterminism Proceedings of the 8th Workshop in Primary and Secondary Computing Education, (71-74)
  98. ACM
    Cerny T, Cemus K, Donahoo M and Song E (2013) Aspect-driven, data-reflective and context-aware user interfaces design, ACM SIGAPP Applied Computing Review, 13:4, (53-66), Online publication date: 1-Dec-2013.
  99. ACM
    Avni G and Kupferman O Parameterized weighted containment Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures, (369-384)
  100. ACM
    Kuncak V, Mayer M, Piskac R and Suter P (2013) Functional synthesis for linear arithmetic and sets, International Journal on Software Tools for Technology Transfer (STTT), 15:5-6, (455-474), Online publication date: 1-Oct-2013.
  101. ACM
    Denniston J, Melton A and Rodabaugh S (2013) Formal concept analysis and lattice-valued Chu systems, Fuzzy Sets and Systems, 216, (52-90), Online publication date: 1-Apr-2013.
  102. ACM
    Kulesza U, Soares S, Chavez C, Castor F, Borba P, Lucena C, Masiero P, Sant'Anna C, Ferrari F, Alves V, Coelho R, Figueiredo E, Pires P, Delicato F, Piveta E, Silva C, Camargo V, Braga R, Leite J, Lemos O, MendonçA N, Batista T, BonifáCio R, Cacho N, Silva L, Von Staa A, Silveira F, Valente M, Alencar F, Castro J, Ramos R, Penteado R and Rubira C (2013) The crosscutting impact of the AOSD Brazilian research community, Journal of Systems and Software, 86:4, (905-933), Online publication date: 1-Apr-2013.
  103. ACM
    Abrial J Set-theoretic models of computations Theories of Programming and Formal Methods, (1-22)
  104. ACM
    Hoare T Generic models of the laws of programming Theories of Programming and Formal Methods, (213-226)
  105. ACM
    Kuncak V, Mayer M, Piskac R and Suter P (2012) Software synthesis procedures, Communications of the ACM, 55:2, (103-111), Online publication date: 1-Feb-2012.
  106. ACM
    Cousot P and Cousot R (2012) An abstract interpretation framework for termination, ACM SIGPLAN Notices, 47:1, (245-258), Online publication date: 18-Jan-2012.
  107. ACM
    Cousot P and Cousot R An abstract interpretation framework for termination Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (245-258)
  108. ACM
    Amighi A, Blom S, Huisman M and Zaharieva-Stojanovski M The VerCors project Proceedings of the sixth workshop on Programming languages meets program verification, (71-82)
  109. ACM
    Ripon S (2012) A unified tabular method for modeling variants of software product line, ACM SIGSOFT Software Engineering Notes, 37:3, (1-7), Online publication date: 16-May-2012.
  110. ACM
    Hatcliff J, Leavens G, Leino K, Müller P and Parkinson M (2012) Behavioral interface specification languages, ACM Computing Surveys (CSUR), 44:3, (1-58), Online publication date: 1-Jun-2012.
  111. ACM
    da Cruz D, Frade M and Pinto J Verification conditions for single-assignment programs Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1264-1270)
  112. ACM
    Tomb A and Flanagan C Detecting inconsistencies via universal reachability analysis Proceedings of the 2012 International Symposium on Software Testing and Analysis, (287-297)
  113. ACM
    Groce A and Erwig M Finding common ground: choose, assert, and assume Proceedings of the Ninth International Workshop on Dynamic Analysis, (12-17)
  114. ACM
    Zhang C, Lu L, Zhou H, Zhao J and Zhang Z MoonBox Proceedings of the Asia-Pacific Workshop on Systems, (1-6)
  115. ACM
    Chen N and Kim S Puzzle-based automatic testing: bringing humans into the loop by solving puzzles Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, (140-149)
  116. ACM
    van Emden M Matrix code Proceedings of the 14th symposium on Principles and practice of declarative programming, (13-24)
  117. ACM
    Beynon M Realising software development as a lived experience Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (229-244)
  118. ACM
    Fourie J, Geldenhuys J and Inggs C Improving communication for distributed model checking Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (41-50)
  119. ACM
    Ball T, Majumdar R, Millstein T and Rajamani S (2012) Automatic predicate abstraction of C programs, ACM SIGPLAN Notices, 47:4a, (37-47), Online publication date: 18-Jun-2012.
  120. ACM
    Zhang C, Lu L, Zhou H, Zhao J and Zhang Z MoonBox Proceedings of the Third ACM SIGOPS Asia-Pacific conference on Systems, (12-12)
  121. ACM
    Bailes P and Brough L Making sense of recursion patterns Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, (16-22)
  122. ACM
    Kassios I, Müller P and Schwerhoff M Comparing verification condition generation with symbolic execution Proceedings of the 4th international conference on Verified Software: theories, tools, experiments, (196-208)
  123. ACM
    Bertolini C, Schäf M and Schweitzer P Infeasible code detection Proceedings of the 4th international conference on Verified Software: theories, tools, experiments, (310-325)
  124. ACM
    Cataño N, Hanvey S and Rueda C Poporo Proceedings of the 50th international conference on Objects, Models, Components, Patterns, (9-16)
  125. ACM
    Guttmann W Unifying correctness statements Proceedings of the 11th international conference on Mathematics of Program Construction, (198-219)
  126. ACM
    Hoare T and van Staden S The laws of programming unify process calculi Proceedings of the 11th international conference on Mathematics of Program Construction, (7-22)
  127. ACM
    Morgan C Elementary probability theory in the eindhoven style Proceedings of the 11th international conference on Mathematics of Program Construction, (48-73)
  128. ACM
    Lal A, Qadeer S and Lahiri S A solver for reachability modulo theories Proceedings of the 24th international conference on Computer Aided Verification, (427-443)
  129. ACM
    Jaffar J, Murali V, Navas J and Santosa A Path-Sensitive backward slicing Proceedings of the 19th international conference on Static Analysis, (231-247)
  130. ACM
    Jones C Abstraction as a unifying link for formal approaches to concurrency Proceedings of the 10th international conference on Software Engineering and Formal Methods, (1-15)
  131. ACM
    Filho M and Oliveira M Implementing tactics of refinement in CRefine Proceedings of the 10th international conference on Software Engineering and Formal Methods, (342-351)
  132. ACM
    Solin K (2012) Dual Choice and Iteration in an Abstract Algebra of Action, Studia Logica, 100:3, (607-630), Online publication date: 1-Jun-2012.
  133. ACM
    Panangaden P Dexter kozen's influence on the theory of labelled markov processes Logic and Program Semantics, (334-337)
  134. ACM
    Cachera D, Jensen T, Jobin A and Kirchner F Inference of polynomial invariants for imperative programs Proceedings of the 19th international conference on Static Analysis, (58-74)
  135. ACM
    Aichernig B, Brandl H, Jöbstl E and Krenn W (2011) UML in action, ACM SIGSOFT Software Engineering Notes, 36:1, (1-8), Online publication date: 24-Jan-2011.
  136. ACM
    Fung K and Low G (2011) Quality factors for dynamic evolution in composition-based distributed applications, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 42:1, (29-58), Online publication date: 18-Feb-2011.
  137. ACM
    Bruns G and Huth M (2011) Access control via belnap logic, ACM Transactions on Information and System Security (TISSEC), 14:1, (1-27), Online publication date: 1-May-2011.
  138. ACM
    Wimmer M, Schauerhuber A, Kappel G, Retschitzegger W, Schwinger W and Kapsammer E (2011) A survey on UML-based aspect-oriented design modeling, ACM Computing Surveys, 43:4, (1-33), Online publication date: 1-Oct-2011.
  139. ACM
    Back R and Preoteasa V Semantics and proof rules of invariant based programs Proceedings of the 2011 ACM Symposium on Applied Computing, (1658-1665)
  140. ACM
    Chen N GATE Proceedings of the 33rd International Conference on Software Engineering, (1078-1081)
  141. ACM
    Pingali K, Nguyen D, Kulkarni M, Burtscher M, Hassaan M, Kaleem R, Lee T, Lenharth A, Manevich R, Méndez-Lojo M, Prountzos D and Sui X (2011) The tao of parallelism in algorithms, ACM SIGPLAN Notices, 46:6, (12-25), Online publication date: 4-Jun-2011.
  142. ACM
    Pingali K, Nguyen D, Kulkarni M, Burtscher M, Hassaan M, Kaleem R, Lee T, Lenharth A, Manevich R, Méndez-Lojo M, Prountzos D and Sui X The tao of parallelism in algorithms Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (12-25)
  143. ACM
    Rößler J Understanding failures through facts Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, (404-407)
  144. ACM
    Mu S and Morihata A (2011) Generalising and dualising the third list-homomorphism theorem, ACM SIGPLAN Notices, 46:9, (385-391), Online publication date: 18-Sep-2011.
  145. ACM
    Mu S and Morihata A Generalising and dualising the third list-homomorphism theorem Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (385-391)
  146. ACM
    Bandyopadhyay A (2011) TLRO based modeling of alternative commands and its application to generalized distributed resource allocation problem, ACM SIGSOFT Software Engineering Notes, 36:6, (1-5), Online publication date: 14-Nov-2011.
  147. ACM
    Madhavan R and Komondoor R Null dereference verification via over-approximated weakest pre-conditions analysis Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (1033-1052)
  148. ACM
    Madhavan R and Komondoor R (2011) Null dereference verification via over-approximated weakest pre-conditions analysis, ACM SIGPLAN Notices, 46:10, (1033-1052), Online publication date: 18-Oct-2011.
  149. ACM
    Schwartz E, Avgerinos T and Brumley D Q Proceedings of the 20th USENIX conference on Security, (25-25)
  150. ACM
    Jaffar J, Navas J and Santosa A Unbounded symbolic execution for program verification Proceedings of the Second international conference on Runtime verification, (396-411)
  151. ACM
    Weber B, Reichert M, Mendling J and Reijers H (2011) Survey paper, Computers in Industry, 62:5, (467-486), Online publication date: 1-Jun-2011.
  152. ACM
    Yang F and Jacquot J Scaling up with event-B Proceedings of the Third international conference on NASA Formal methods, (438-452)
  153. ACM
    Daniels D Position paper Proceedings of the 16th Ada-Europe international conference on Reliable software technologies, (211-213)
  154. ACM
    Möller B Building structured theories Proceedings of the 12th international conference on Relational and algebraic methods in computer science, (1-21)
  155. ACM
    Mu S and Oliveira J Programming from galois connections Proceedings of the 12th international conference on Relational and algebraic methods in computer science, (294-313)
  156. ACM
    Méry D, Mosbah M and Tounsi M Refinement-based verification of local synchronization algorithms Proceedings of the 17th international conference on Formal methods, (338-352)
  157. ACM
    del Vado Vírseda R, Orna E, Berbis E and de León Guerrero S A logic teaching tool based on tableaux for verification and debugging of algorithms Proceedings of the Third international congress conference on Tools for teaching logic, (239-248)
  158. ACM
    Bué P, Julliand J and Masson P Association of under-approximation techniques for generating tests from models Proceedings of the 5th international conference on Tests and proofs, (51-68)
  159. ACM
    Mraihi O, Ghardallou W, Louhichi A, Jilani L, Bsaies K and Mili A Computing preconditions and postconditions of while loops Proceedings of the 8th international conference on Theoretical aspects of computing, (173-193)
  160. ACM
    Hoare C, Hussain A, Möller B, O'Hearn P, Petersen R and Struth G On locality and the exchange law for concurrent processes Proceedings of the 22nd international conference on Concurrency theory, (250-264)
  161. ACM
    Aleb N, Tamen Z and Kamel N An evolutionary approach for program model checking Proceedings of the First international conference on Model and data engineering, (186-199)
  162. ACM
    Mohand-Oussaïd L, Aït-Sadoune I and Aït-Ameur Y Modelling information fission in output multi-modal interactive systems using event-b Proceedings of the First international conference on Model and data engineering, (200-213)
  163. ACM
    Aboulsamh M and Davies J Specification and verification of model-driven data migration Proceedings of the First international conference on Model and data engineering, (214-225)
  164. ACM
    Iliasov A, Laibinis L, Troubitsyna E and Romanovsky A Formal derivation of a distributed program in event B Proceedings of the 13th international conference on Formal methods and software engineering, (420-436)
  165. ACM
    Guttmann W, Struth G and Weber T Automating algebraic methods in isabelle Proceedings of the 13th international conference on Formal methods and software engineering, (617-632)
  166. ACM
    Hoare T Recovery blocks Dependable and Historic Computing, (261-266)
  167. ACM
    Perrelle V and Halbwachs N An analysis of permutations in arrays Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, (279-294)
  168. ACM
    Bodik R, Chandra S, Galenson J, Kimelman D, Tung N, Barman S and Rodarmor C Programming with angelic nondeterminism Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (339-352)
  169. ACM
    Dias J and Ramsey N Automatically generating instruction selectors using declarative machine descriptions Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (403-416)
  170. ACM
    Bodik R, Chandra S, Galenson J, Kimelman D, Tung N, Barman S and Rodarmor C (2010) Programming with angelic nondeterminism, ACM SIGPLAN Notices, 45:1, (339-352), Online publication date: 2-Jan-2010.
  171. ACM
    Dias J and Ramsey N (2010) Automatically generating instruction selectors using declarative machine descriptions, ACM SIGPLAN Notices, 45:1, (403-416), Online publication date: 2-Jan-2010.
  172. ACM
    Bandyopadhyay A (2010) Modeling of state transition rules and its application, ACM SIGSOFT Software Engineering Notes, 35:2, (1-7), Online publication date: 27-Mar-2010.
  173. ACM
    Vogels F, Jacobs B and Piessens F A machine-checked soundness proof for an efficient verification condition generator Proceedings of the 2010 ACM Symposium on Applied Computing, (2517-2522)
  174. ACM
    Kuncak V, Mayer M, Piskac R and Suter P Complete functional synthesis Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, (316-329)
  175. ACM
    Gu Z, Barr E, Hamilton D and Su Z Has the bug really been fixed? Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, (55-64)
  176. ACM
    Kuncak V, Mayer M, Piskac R and Suter P (2010) Complete functional synthesis, ACM SIGPLAN Notices, 45:6, (316-329), Online publication date: 12-Jun-2010.
  177. ACM
    Labed Jilani L, Mraihi O, Louhichi A, Ghardallou W and Mili A Using invariant functions and invariant relations to compute loop functions Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (317-318)
  178. ACM
    Santelices R and Harrold M Exploiting program dependencies for scalable multiple-path symbolic execution Proceedings of the 19th international symposium on Software testing and analysis, (195-206)
  179. ACM
    Grechanik M, McMillan C, DeFerrari L, Comi M, Crespi S, Poshyvanyk D, Fu C, Xie Q and Ghezzi C An empirical investigation into a large-scale Java open source code repository Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, (1-10)
  180. ACM
    Hanenberg S Faith, hope, and love Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (933-946)
  181. ACM
    Driver C, Reilly S, Linehan É, Cahill V and Clarke S (2011) Managing embedded systems complexity with aspect-oriented model-driven engineering, ACM Transactions on Embedded Computing Systems, 10:2, (1-26), Online publication date: 1-Dec-2010.
  182. ACM
    Conery J (2010) Ubiquity symposium 'What is computation?', Ubiquity, 2010:November, Online publication date: 1-Nov-2010.
  183. ACM
    Podgurski A Evidence-based validation and improvement of electronic health record systems Proceedings of the FSE/SDP workshop on Future of software engineering research, (287-292)
  184. ACM
    Sheard T, Stump A and Weirich S Language-based verification will change the world Proceedings of the FSE/SDP workshop on Future of software engineering research, (343-348)
  185. ACM
    Weißbach M and Zimmermann W Termination analysis of business process workflows Proceedings of the 5th International Workshop on Enhanced Web Service Technologies, (18-25)
  186. ACM
    Pieterse V, Kourie D, Cleophas L and Watson B Performance of C++ bit-vector implementations Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists, (242-250)
  187. ACM
    Hanenberg S (2010) Faith, hope, and love, ACM SIGPLAN Notices, 45:10, (933-946), Online publication date: 17-Oct-2010.
  188. ACM
    Sinha N Modular bug detection with inertial refinement Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, (199-206)
  189. ACM
    Hudnott E, Sinclair J and Darwen H Efficient multiple assignment to database tables Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases, (286-291)
  190. ACM
    Parnas D From Requirements to Architecture Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (3-36)
  191. ACM
    Prayaga L (2010) Mapping software engineering principles to stages in game development, Journal of Computing Sciences in Colleges, 26:2, (208-214), Online publication date: 1-Dec-2010.
  192. ACM
    Near J and Jackson D An imperative extension to alloy Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, (118-131)
  193. ACM
    Filali-Amine M and Lawall J Development of a synchronous subset of AADL Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, (245-258)
  194. ACM
    Patwary M, Blair J and Manne F Experiments on union-find algorithms for the disjoint-set data structure Proceedings of the 9th international conference on Experimental Algorithms, (411-423)
  195. ACM
    Eckardt T and Henkler S Component behavior synthesis for critical systems Proceedings of the First international conference on Architecting Critical Systems, (52-71)
  196. ACM
    Solin K (2010) A sketch of a dynamic epistemic semiring, Information and Computation, 208:5, (594-604), Online publication date: 1-May-2010.
  197. ACM
    Katoen J, McIver A, Meinicke L and Morgan C Linear-invariant generation for probabilistic programs Proceedings of the 17th international conference on Static analysis, (390-406)
  198. ACM
    Berghammer R and Struth G On automated program construction and verification Proceedings of the 10th international conference on Mathematics of program construction, (22-41)
  199. ACM
    Guttmann W Partial, total and general correctness Proceedings of the 10th international conference on Mathematics of program construction, (157-177)
  200. ACM
    D'Errico L and Loreti M Property-preserving refinement of concurrent systems Proceedings of the 5th international conference on Trustworthly global computing, (222-236)
  201. ACM
    Radke H Correctness of graph programs relative to HR+ conditions Proceedings of the 5th international conference on Graph transformations, (410-412)
  202. ACM
    Henzinger T, Hottelier T, Kovács L and Rybalchenko A Aligators for arrays Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning, (348-356)
  203. ACM
    Joshi R Programming with miracles Proceedings of the 8th international conference on Integrated formal methods, (27-27)
  204. ACM
    Cavalcanti A and Gaudel M Specification coverage for testing in circus Proceedings of the Third international conference on Unifying theories of programming, (1-45)
  205. ACM
    Jifeng H A probabilistic BPEL-like language Proceedings of the Third international conference on Unifying theories of programming, (74-100)
  206. ACM
    Chen Y Programmable verifiers in imperative programming Proceedings of the Third international conference on Unifying theories of programming, (172-187)
  207. ACM
    Guttmann W Unifying recursion in partial, total and general correctness Proceedings of the Third international conference on Unifying theories of programming, (207-225)
  208. ACM
    Furia C and Meyer B Inferring loop invariants using postconditions Fields of logic and computation, (277-300)
  209. ACM
    Balliu M and Mastroeni I A weakest precondition approach to robustness Transactions on computational science X, (261-297)
  210. ACM
    Zeyda F and Cavalcanti A Automating refinement of circus programs Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications, (274-290)
  211. ACM
    Singh A and Bandyopadhyay A Specifying fault-tolerance using split precondition logic Proceedings of the 11th international conference on Distributed computing and networking, (466-472)
  212. ACM
    Langmaack H On trojan horses of thompson-goerigk-type, their generation, intrusion, detection and prevention Concurrency, Compositionality, and Correctness, (74-95)
  213. ACM
    Emerson E Meanings of model checking Concurrency, Compositionality, and Correctness, (237-249)
  214. ACM
    Bošković M and Hasselbring W Model Driven Performance Measurement and Assessment with MoDePeMART Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (62-76)
  215. ACM
    Gibbons H (2019) Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem, Electronic Notes in Theoretical Computer Science (ENTCS), 225, (83-98), Online publication date: 1-Jan-2009.
  216. ACM
    Keimel K and Plotkin G (2009) Predicate transformers for extended probability and non-determinism, Mathematical Structures in Computer Science, 19:3, (501-539), Online publication date: 1-Jun-2009.
  217. ACM
    Silva C, Lucena M, Castro J, Araujo J, Moreira A and Alencar F Support for aspectual modeling to Multiagent system architecture Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, (38-43)
  218. ACM
    Ebnenasir A and Beik R Developing parallel programs Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, (1-8)
  219. ACM
    Bonakdarpour B, Ebnenasir A and Kulkarni S (2009) Complexity results in revising UNITY programs, ACM Transactions on Autonomous and Adaptive Systems, 4:1, (1-28), Online publication date: 1-Jan-2009.
  220. ACM
    Elmas T, Qadeer S and Tasiran S A calculus of atomic actions Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (2-15)
  221. ACM
    Kulkarni M, Burtscher M, Inkulu R, Pingali K and Casçaval C How much parallelism is there in irregular applications? Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, (3-14)
  222. ACM
    Bandyopadhyay A (2009) Fairness and conspiracy concepts in concurrent systems, ACM SIGSOFT Software Engineering Notes, 34:2, (1-8), Online publication date: 28-Feb-2009.
  223. ACM
    Caspersen M and Kolling M (2009) STREAM, ACM Transactions on Computing Education, 9:1, (1-29), Online publication date: 1-Mar-2009.
  224. ACM
    Morris J, Bunkenburg A and Tyrrell M (2009) Term transformers, ACM Transactions on Programming Languages and Systems (TOPLAS), 31:4, (1-42), Online publication date: 1-May-2009.
  225. ACM
    Chandra S, Fink S and Sridharan M Snugglebug Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, (363-374)
  226. ACM
    Chandra S, Fink S and Sridharan M (2009) Snugglebug, ACM SIGPLAN Notices, 44:6, (363-374), Online publication date: 28-May-2009.
  227. ACM
    Balliu M and Mastroeni I A weakest precondition approach to active attacks analysis Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, (59-71)
  228. ACM
    Newsome J, McCamant S and Song D Measuring channel capacity to distinguish undue influence Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, (73-85)
  229. ACM
    Jhala R and Majumdar R (2009) Software model checking, ACM Computing Surveys (CSUR), 41:4, (1-54), Online publication date: 1-Oct-2009.
  230. ACM
    Elmas T, Qadeer S and Tasiran S (2009) A calculus of atomic actions, ACM SIGPLAN Notices, 44:1, (2-15), Online publication date: 21-Jan-2009.
  231. ACM
    Kulkarni M, Burtscher M, Inkulu R, Pingali K and Casçaval C (2009) How much parallelism is there in irregular applications?, ACM SIGPLAN Notices, 44:4, (3-14), Online publication date: 14-Feb-2009.
  232. ACM
    Blanco J, Losano L, Aguirre N, Novaira M, Permigiani S and Scilingo G (2009) An introductory course on programming based on formal specification and program calculation, ACM SIGCSE Bulletin, 41:2, (31-37), Online publication date: 25-Jun-2009.
  233. ACM
    Méry D (2009) A simple refinement-based method for constructing algorithms, ACM SIGCSE Bulletin, 41:2, (51-59), Online publication date: 25-Jun-2009.
  234. ACM
    Armoni M and Ben-Ari M (2009) The concept of nondeterminism, ACM SIGCSE Bulletin, 41:2, (141-160), Online publication date: 25-Jun-2009.
  235. ACM
    James P and Chalin P ESC4 Proceedings of the 8th international workshop on Specification and verification of component-based systems, (19-26)
  236. ACM
    Nigam V and Miller D Algorithmic specifications in linear logic with subexponentials Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, (129-140)
  237. ACM
    Hashimoto Y and Nakajima S (2009) Modular Checking with Model Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 254, (105-122), Online publication date: 1-Oct-2009.
  238. ACM
    Cosgaya-Lozano A and Zeh N A Heuristic Strong Connectivity Algorithm for Large Graphs Proceedings of the 8th International Symposium on Experimental Algorithms, (113-124)
  239. ACM
    Guttmann W General Correctness Algebra Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (150-165)
  240. ACM
    Louhichi A, Mraihi O, Jilani L, Bsaies K and Mili A Relational Methods in the Analysis of While Loops Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (242-259)
  241. ACM
    Solin K A While Program Normal Form Theorem in Total Correctness Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (322-336)
  242. ACM
    Dang H, Höfner P and Möller B Towards Algebraic Separation Logic Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (59-72)
  243. ACM
    Kovács L A complete invariant generation approach for p-solvable loops Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics, (242-256)
  244. ACM
    Nishimura S Refining exceptions in four-valued logic Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation, (113-127)
  245. ACM
    Cohen E, Moskal M, Tobies S and Schulte W (2009) A Precise Yet Efficient Memory Model For C, Electronic Notes in Theoretical Computer Science (ENTCS), 254, (85-103), Online publication date: 1-Oct-2009.
  246. ACM
    Dunne S (2009) Of wlp and CSP, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (35-45), Online publication date: 1-Dec-2009.
  247. ACM
    Rabehaja T and Sanders J (2009) Data Refinement with Probability in Mind, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (165-176), Online publication date: 1-Dec-2009.
  248. ACM
    Casas S, Perez-Schofield J and Marcos C (2009) Expert in conflicts, Expert Systems with Applications: An International Journal, 36:3, (5630-5642), Online publication date: 1-Apr-2009.
  249. ACM
    Navasa A, Pérez-Toledano M and Murillo J (2009) An ADL dealing with aspects at software architecture stage, Information and Software Technology, 51:2, (306-324), Online publication date: 1-Feb-2009.
  250. ACM
    Kim E and Park K (2009) Improving multikey Quicksort for sorting strings with many equal elements, Information Processing Letters, 109:9, (454-459), Online publication date: 1-Apr-2009.
  251. ACM
    Morgan C (2009) The Shadow Knows, Science of Computer Programming, 74:8, (629-653), Online publication date: 1-Jun-2009.
  252. ACM
    Solin K and von Wright J (2009) Enabledness and termination in refinement algebra, Science of Computer Programming, 74:8, (654-668), Online publication date: 1-Jun-2009.
  253. ACM
    Mili A, Aharon S and Nadkarni C (2009) Mathematics for reasoning about loop functions, Science of Computer Programming, 74:11-12, (989-1020), Online publication date: 1-Nov-2009.
  254. ACM
    Demirbas M, Arora A and Kulathumani V (2009) Glance, Theoretical Computer Science, 410:6-7, (500-513), Online publication date: 20-Feb-2009.
  255. ACM
    Schröder L and Mossakowski T (2009) HasCasl, Theoretical Computer Science, 410:12-13, (1217-1260), Online publication date: 20-Mar-2009.
  256. ACM
    Silva C, Castro J, Araujo J, Moreira A, Tedesco P and Mylopoulos J (2009) Advanced separation of concerns in agent-oriented design patterns, International Journal of Agent-Oriented Software Engineering, 3:2/3, (306-327), Online publication date: 1-Mar-2009.
  257. ACM
    Cohen A and Namjoshi K (2009) Local proofs for global safety properties, Formal Methods in System Design, 34:2, (104-125), Online publication date: 1-Apr-2009.
  258. ACM
    Lee H, Lee S, Kim Y and Chong H A localization algorithm using space information for indoor wireless sensor networks Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1, (725-728)
  259. ACM
    Zhang A and Xie X Web services semantic model system Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication, (592-595)
  260. ACM
    Jaffar J, Santosa A and Voicu R An interpolation method for CLP traversal Proceedings of the 15th international conference on Principles and practice of constraint programming, (454-469)
  261. ACM
    Iliasov A, Troubitsyna E, Laibinis L and Romanovsky A Patterns for refinement automation Proceedings of the 8th international conference on Formal methods for components and objects, (70-88)
  262. ACM
    Krenn W, Schlick R and Aichernig B Mapping UML to labeled transition systems for test-case generation Proceedings of the 8th international conference on Formal methods for components and objects, (186-207)
  263. ACM
    Boulmé S and Potet M Relaxing restrictions on invariant composition in the B method by ownership control a la SPEC# Rigorous Methods for Software Construction and Analysis, (1-16)
  264. ACM
    Zhou H (2008) A new efficient retiming algorithm derived by formal manipulation, ACM Transactions on Design Automation of Electronic Systems (TODAES), 13:1, (1-19), Online publication date: 1-Jan-2008.
  265. ACM
    Lahiri S and Qadeer S Back to the future Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (171-182)
  266. ACM
    Lahiri S and Qadeer S (2008) Back to the future, ACM SIGPLAN Notices, 43:1, (171-182), Online publication date: 14-Jan-2008.
  267. ACM
    Bandyopadhyay A (2019) Weakest precondition based verification tool that models spatial ordering, ACM SIGSOFT Software Engineering Notes, 33:2, (1-5), Online publication date: 1-Mar-2008.
  268. ACM
    Dietz J and Hoogervorst J Enterprise ontology in enterprise engineering Proceedings of the 2008 ACM symposium on Applied computing, (572-579)
  269. ACM
    Rondon P, Kawaguci M and Jhala R Liquid types Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (159-169)
  270. ACM
    Rondon P, Kawaguci M and Jhala R (2008) Liquid types, ACM SIGPLAN Notices, 43:6, (159-169), Online publication date: 30-May-2008.
  271. ACM
    Abeywickrama D and Ramakrishnan S Towards engineering models of aspectual pervasive software services Proceedings of the 3rd ACM workshop on Software engineering for pervasive services, (3-8)
  272. ACM
    Abeywickrama D and Ramakrishnan S A model-based approach for engineering pervasive services in SOAs Proceedings of the 5th international conference on Pervasive services, (57-60)
  273. ACM
    Beckman N, Nori A, Rajamani S and Simmons R Proofs from tests Proceedings of the 2008 international symposium on Software testing and analysis, (3-14)
  274. ACM
    Buse R and Weimer W A metric for software readability Proceedings of the 2008 international symposium on Software testing and analysis, (121-130)
  275. ACM
    Morris J and Tyrrell M (2008) Dually nondeterministic functions, ACM Transactions on Programming Languages and Systems, 30:6, (1-34), Online publication date: 1-Oct-2008.
  276. ACM
    Batory D Using modern mathematics as an FOSD modeling language Proceedings of the 7th international conference on Generative programming and component engineering, (35-44)
  277. ACM
    Hayes I Towards reasoning about teleo-reactive programs for robust real-time systems Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, (87-94)
  278. ACM
    Zaks A and Pnueli A Program analysis for compiler validation Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (1-7)
  279. ACM
    Bruzzone A, Tremori A and Massei M HLA and human behavior models Proceedings of the 2008 Spring simulation multiconference, (659-666)
  280. ACM
    Dévai G (2018) Programming language elements for correctness proofs, Acta Cybernetica, 18:3, (403-425), Online publication date: 1-Jan-2008.
  281. ACM
    Seceleanu T and Jantsch A (2019) Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 15-Oct-2008.
  282. ACM
    Böhm P and Melham T A refinement approach to design and verification of on-chip communication protocols Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, (1-8)
  283. ACM
    Samanta R, Deshmukh J and Emerson E Automatic generation of local repairs for Boolean programs Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, (1-10)
  284. ACM
    Chlipala A (2008) Modular development of certified program verifiers with a proof assistant1,2, Journal of Functional Programming, 18:5-6, (599-647), Online publication date: 1-Sep-2008.
  285. ACM
    Yan L (2018) On foundation of engineering context-sensitive applications, Journal of Mobile Multimedia, 4:3, (185-199), Online publication date: 1-Oct-2008.
  286. ACM
    Seceleanu T and Jantsch A (2019) Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 1-Aug-2008.
  287. ACM
    Pons C and Garcia D (2019) A Lightweight Approach for the Semantic Validation of Model Refinements, Electronic Notes in Theoretical Computer Science (ENTCS), 220:1, (43-61), Online publication date: 1-Dec-2008.
  288. ACM
    Meinicke L and Hayes I Probabilistic Choice in Refinement Algebra Proceedings of the 9th international conference on Mathematics of Program Construction, (243-267)
  289. ACM
    Sintzoff M Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems Proceedings of the 9th international conference on Mathematics of Program Construction, (336-359)
  290. ACM
    Kovács L Aligator Proceedings of the 4th international joint conference on Automated Reasoning, (275-282)
  291. ACM
    Rebiha R, Matringe N and Vieira Moura A Endomorphisms for Non-trivial Non-linear Loop Invariant Generation Proceedings of the 5th international colloquium on Theoretical Aspects of Computing, (425-439)
  292. ACM
    Song D, Brumley D, Yin H, Caballero J, Jager I, Kang M, Liang Z, Newsome J, Poosankam P and Saxena P BitBlaze Proceedings of the 4th International Conference on Information Systems Security, (1-25)
  293. ACM
    Weber B, Reichert M and Rinderle-Ma S (2008) Change patterns and change support features - Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, 66:3, (438-466), Online publication date: 1-Sep-2008.
  294. ACM
    Xavier M, Cavalcanti A and Sampaio A (2008) Type Checking Circus Specifications, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (75-93), Online publication date: 1-Jan-2008.
  295. ACM
    Biyani K and Kulkarni S (2008) Assurance of dynamic adaptation in distributed systems, Journal of Parallel and Distributed Computing, 68:8, (1097-1112), Online publication date: 1-Aug-2008.
  296. ACM
    Emiris I and Tsigaridas E (2008) Real algebraic numbers and polynomial systems of small degree, Theoretical Computer Science, 409:2, (186-199), Online publication date: 10-Dec-2008.
  297. ACM
    Sant'Anna C, Lobato C, Kulesza U, Garcia A, Chavez C and Lucena C (2008) On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study, International Journal of Agent-Oriented Software Engineering, 2:1, (34-61), Online publication date: 1-Jan-2008.
  298. ACM
    Davies S (2008) "Why should i care?", Journal of Computing Sciences in Colleges, 23:3, (90-97), Online publication date: 1-Jan-2008.
  299. ACM
    Guttmann W Lazy relations Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra, (138-154)
  300. ACM
    Möller B Knowledge and games in modal semirings Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra, (320-336)
  301. ACM
    Kovács L Reasoning algebraically about P-solvable loops Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems, (249-264)
  302. ACM
    Conchon S and Filliâtre J Semi-persistent data structures Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems, (322-336)
  303. ACM
    Wang Y On mathematical laws of software Transactions on computational science II, (46-83)
  304. ACM
    Guttmann W Lazy UTP Proceedings of the 2nd international conference on Unifying theories of programming, (82-101)
  305. ACM
    Woodcock J The miracle of reactive programming Proceedings of the 2nd international conference on Unifying theories of programming, (202-217)
  306. ACM
    He J Transaction calculus Proceedings of the 2nd international conference on Unifying theories of programming, (2-21)
  307. ACM
    Biyani K and Kulkarni S Mixed-Mode Adaptation in Distributed Systems Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
  308. ACM
    Ebnenasir A Designing Run-Time Fault-Tolerance Using Dynamic Updates Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
  309. ACM
    Trujillo S, Azanza M, Diaz O and Capilla R Exploring Extensibility of Architectural Design Decisions Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
  310. ACM
    Jhala R and Majumdar R (2007) Interprocedural analysis of asynchronous programs, ACM SIGPLAN Notices, 42:1, (339-350), Online publication date: 17-Jan-2007.
  311. ACM
    Jhala R and Majumdar R Interprocedural analysis of asynchronous programs Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (339-350)
  312. ACM
    Smith D Requirement enforcement by transformation automata Proceedings of the 6th workshop on Foundations of aspect-oriented languages, (5-14)
  313. ACM
    Banerjee J, Bandyopadhyay A and Mandal A (2007) Ordering of events in two-process concurrent system, ACM SIGSOFT Software Engineering Notes, 32:4, (1-es), Online publication date: 1-Jul-2007.
  314. ACM
    Backus J Can programming be liberated from the von Neumann style? ACM Turing award lectures
  315. ACM
    Banerjee J, Bandyopadhyay A and Mandal A (2007) Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus, ACM SIGPLAN Notices, 42:5, (10-15), Online publication date: 1-May-2007.
  316. ACM
    Dawson J Compound monads in specification languages Proceedings of the 2007 workshop on Programming languages meets program verification, (3-10)
  317. ACM
    Banerjee J, Bandyopadhyay A and Mandal A (2007) On the correctness issues in two-process mutual exclusion algorithms, ACM SIGSOFT Software Engineering Notes, 32:6, (1-es), Online publication date: 1-Nov-2007.
  318. ACM
    Ebnenasir A Diconic addition of failsafe fault-tolerance Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, (44-53)
  319. ACM
    Ginat D (2007) Elaborating heuristic reasoning and rigor with mathematical games, ACM SIGCSE Bulletin, 39:4, (32-36), Online publication date: 1-Dec-2007.
  320. ACM
    Fleck A (2007) Prolog as the first programming language, ACM SIGCSE Bulletin, 39:4, (61-64), Online publication date: 1-Dec-2007.
  321. ACM
    Bocca E, Briano C, Modula D, Pierfederici L and Frydman C Intelligent agents for moving and operating computer generated forces Proceedings of the 2007 Summer Computer Simulation Conference, (1074-1079)
  322. ACM
    Brumley D, Caballero J, Liang Z, Newsome J and Song D Towards automatic discovery of deviations in binary implementations with applications to error detection and fingerprint generation Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium, (1-16)
  323. ACM
    Ball T and Kupferman O Better under-approximation of programs by hiding variables Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (314-328)
  324. ACM
    Knowles K and Flanagan C Type reconstruction for general refinement types Proceedings of the 16th European Symposium on Programming, (505-519)
  325. ACM
    Marché C Towards modular algebraic specifications for pointer programs Rewriting Computation and Proof, (235-258)
  326. ACM
    Jones N and Andersen N (2007) Flow analysis of lazy higher-order functional programs, Theoretical Computer Science, 375:1-3, (120-136), Online publication date: 20-Apr-2007.
  327. ACM
    Soukup J and Soukup M (2007) The Inevitable Cycle, Computer, 40:8, (24-30), Online publication date: 1-Aug-2007.
  328. ACM
    Ward M and Zedan H (2007) Slicing as a program transformation, ACM Transactions on Programming Languages and Systems, 29:2, (7-es), Online publication date: 1-Apr-2007.
  329. ACM
    Chander A, Espinosa D, Islam N, Lee P and Necula G (2007) Enforcing resource bounds via static verification of dynamic checks, ACM Transactions on Programming Languages and Systems, 29:5, (28-es), Online publication date: 2-Aug-2007.
  330. ACM
    Jaffar J, Yap R and Zhu K Generalized committed choice Proceedings of the 9th international conference on Coordination models and languages, (191-210)
  331. ACM
    Jones C Understanding programming language concepts via operational semantics Domain modeling and the duration calculus, (177-235)
  332. ACM
    Shen L, Ren S, Li F and Mu Y A time and interaction model for open distributed timing computation Proceedings of the 7th international conference on Algorithms and architectures for parallel processing, (83-94)
  333. ACM
    Solin K A sketch of a dynamic epistemic semiring Proceedings of the 14th international conference on Logic, language, information and computation, (337-350)
  334. ACM
    Ball T, Kupferman O and Sagiv M Leaping loops in the presence of abstraction Proceedings of the 19th international conference on Computer aided verification, (491-503)
  335. ACM
    Dunne S and Galloway A Lifting general correctness into partial correctness is ok Proceedings of the 6th international conference on Integrated formal methods, (215-232)
  336. ACM
    Hallerstede S and Hoang T Qualitative probabilistic modelling in event-B Proceedings of the 6th international conference on Integrated formal methods, (293-312)
  337. ACM
    Jifeng H UTP semantics for web services Proceedings of the 6th international conference on Integrated formal methods, (353-372)
  338. ACM
    De Groot M Integrating formal methods with system management Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, (19-36)
  339. ACM
    Mooij A Calculating and composing progress properties in terms of the leads-to relation Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, (366-386)
  340. ACM
    Back R, Eriksson J and Myreen M Testing and verifying invariant based programs in the SOCOS environment Proceedings of the 1st international conference on Tests and proofs, (61-78)
  341. ACM
    Chen Y, Xia B, Yang L, Zhan N and Zhou C Discovering non-linear ranking functions by solving semi-algebraic systems Proceedings of the 4th international conference on Theoretical aspects of computing, (34-49)
  342. ACM
    Degerlund F and Sere K A framework for Incorporating trust into formal systems development Proceedings of the 4th international conference on Theoretical aspects of computing, (154-168)
  343. ACM
    Chen Y, Xia B, Yang L and Zhan N Generating polynomial invariants with DISCOVERER and QEPCAD Formal methods and hybrid real-time systems, (67-82)
  344. ACM
    Freitas L and Woodcock J Proving theorems about JML classes Formal methods and hybrid real-time systems, (255-279)
  345. ACM
    Jifeng H Compensable programs Formal methods and hybrid real-time systems, (349-363)
  346. ACM
    Cansell D and Méry D Proved-patterns-based development for structured programs Proceedings of the Second international conference on Computer Science: theory and applications, (104-114)
  347. ACM
    Barnett M and Leino K (2019) Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, 31:1, (82-87), Online publication date: 1-Jan-2006.
  348. ACM
    Lahiri S and Qadeer S Verifying properties of well-founded linked lists Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (115-126)
  349. ACM
    Danielsson N, Hughes J, Jansson P and Gibbons J Fast and loose reasoning is morally correct Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (206-217)
  350. ACM
    Lahiri S and Qadeer S (2006) Verifying properties of well-founded linked lists, ACM SIGPLAN Notices, 41:1, (115-126), Online publication date: 12-Jan-2006.
  351. ACM
    Danielsson N, Hughes J, Jansson P and Gibbons J (2006) Fast and loose reasoning is morally correct, ACM SIGPLAN Notices, 41:1, (206-217), Online publication date: 12-Jan-2006.
  352. ACM
    McGuire M, Stathis G, Pfister H and Krishnamurthi S Abstract shade trees Proceedings of the 2006 symposium on Interactive 3D graphics and games, (79-86)
  353. ACM
    Clarke L and Rosenblum D (2006) A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, 31:3, (25-37), Online publication date: 1-May-2006.
  354. ACM
    Ait-Ameur Y, Ait-Sadoune I, Mota J and Baron M Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve Proceedings of the 18th Conference on l'Interaction Homme-Machine, (123-130)
  355. ACM
    Evans D and Peck M Inculcating invariants in introductory courses Proceedings of the 28th international conference on Software engineering, (673-678)
  356. ACM
    Cheng S, Garlan D and Schmerl B Architecture-based self-adaptation in the presence of multiple objectives Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, (2-8)
  357. ACM
    Dony I and Le Charlier B (2006) A tool for helping teach a programming method, ACM SIGCSE Bulletin, 38:3, (212-216), Online publication date: 26-Sep-2006.
  358. ACM
    Dony I and Le Charlier B A tool for helping teach a programming method Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, (212-216)
  359. ACM
    Yorsh G, Ball T and Sagiv M Testing, abstraction, theorem proving Proceedings of the 2006 international symposium on Software testing and analysis, (145-156)
  360. ACM
    Déharbe D and Medeiros S Aspect-oriented design in systemC Proceedings of the 19th annual symposium on Integrated circuits and systems design, (119-124)
  361. ACM
    Steimann F The paradoxical success of aspect-oriented programming Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (481-497)
  362. ACM
    Steimann F (2006) The paradoxical success of aspect-oriented programming, ACM SIGPLAN Notices, 41:10, (481-497), Online publication date: 16-Oct-2006.
  363. ACM
    Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F Temporal search Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, (25-36)
  364. ACM
    Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F (2006) Temporal search, ACM SIGOPS Operating Systems Review, 40:5, (25-36), Online publication date: 20-Oct-2006.
  365. ACM
    Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F (2006) Temporal search, ACM SIGPLAN Notices, 41:11, (25-36), Online publication date: 1-Nov-2006.
  366. ACM
    Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F (2006) Temporal search, ACM SIGARCH Computer Architecture News, 34:5, (25-36), Online publication date: 20-Oct-2006.
  367. ACM
    Caspersen M and Kölling M A novice's process of object-oriented programming Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, (892-900)
  368. ACM
    Newsome J, Brumley D, Franklin J and Song D Replayer Proceedings of the 13th ACM conference on Computer and communications security, (311-321)
  369. ACM
    Kienzle J and Sendall S Addressing concurrency in object-oriented software development Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, (15-es)
  370. ACM
    Molina A and Shinohara T On approximate matching of programs for protecting libre software Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, (21-es)
  371. ACM
    Reeve G and Reeves S Logic and refinement for charts Proceedings of the 29th Australasian Computer Science Conference - Volume 48, (13-23)
  372. ACM
    Christiansen H and Martinenghi D (2019) On Simplification of Database Integrity Constraints, Fundamenta Informaticae, 71:4, (371-417), Online publication date: 1-Sep-2006.
  373. ACM
    Niculescu V Cost evaluation from specifications for BSP programs Proceedings of the 20th international conference on Parallel and distributed processing, (320-320)
  374. ACM
    Laibinis L, Troubitsyna E, Iliasov A and Romanovsky A Rigorous development of fault-tolerant agent systems Rigorous Development of Complex Fault-Tolerant Systems, (241-260)
  375. ACM
    Laibinis L, Troubitsyna E, Leppänen S, Lilius J and Malik Q Formal service-oriented development of fault tolerant communicating systems Rigorous Development of Complex Fault-Tolerant Systems, (261-287)
  376. ACM
    Christiansen H and Martinenghi D (2019) On Simplification of Database Integrity Constraints, Fundamenta Informaticae, 71:4, (371-417), Online publication date: 1-Dec-2006.
  377. ACM
    Groce A and Joshi R Exploiting traces in program analysis Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems, (379-393)
  378. ACM
    Aaltonen T, Katara M, Kurki-Suonio R and Mikkonen T On horizontal specification architectures and their aspect-oriented implementations Transactions on Aspect-Oriented Software Development II, (1-29)
  379. ACM
    Jhala R, Majumdar R and Xu R Structural invariants Proceedings of the 13th international conference on Static Analysis, (71-87)
  380. ACM
    Honda K, Berger M and Yoshida N Descriptive and relative completeness of logics for higher-order functions Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II, (360-371)
  381. ACM
    Arumugam M, Wang L and Kulkarni S A case study on prototyping power management protocols for sensor networks Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems, (50-64)
  382. ACM
    Back R Invariant based programming Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency, (1-18)
  383. ACM
    Solin K On two dually nondeterministic refinement algebras Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra, (373-387)
  384. ACM
    Sanders J Computations and relational bundles Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra, (30-62)
  385. ACM
    Meyer B Dependable software Dependable Systems, (1-33)
  386. ACM
    Westerlund T and Plosila J Time aware modelling and analysis of multiclocked VLSI systems Proceedings of the 8th international conference on Formal Methods and Software Engineering, (737-756)
  387. ACM
    Meinicke L and Hayes I Reasoning algebraically about probabilistic loops Proceedings of the 8th international conference on Formal Methods and Software Engineering, (380-399)
  388. ACM
    Dongol B Formalising progress properties of non-blocking programs Proceedings of the 8th international conference on Formal Methods and Software Engineering, (284-303)
  389. ACM
    Trčka N Verifying χ models of industrial systems with SPIN Proceedings of the 8th international conference on Formal Methods and Software Engineering, (132-148)
  390. ACM
    Refsdal A, Runde R and Stølen K Underspecification, inherent nondeterminism and probability in sequence diagrams Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (138-155)
  391. ACM
    Habel A, Pennemann K and Rensink A Weakest preconditions for high-level programs Proceedings of the Third international conference on Graph Transformations, (445-460)
  392. ACM
    Guo J, Liao Y and Pamula R Static analysis based software architecture recovery Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III, (974-983)
  393. ACM
    Dongol B and Mooij A Progress in deriving concurrent programs Proceedings of the 8th international conference on Mathematics of Program Construction, (140-161)
  394. ACM
    Meinicke L and Hayes I Continuous action system refinement Proceedings of the 8th international conference on Mathematics of Program Construction, (316-337)
  395. ACM
    Morgan C The shadow knows Proceedings of the 8th international conference on Mathematics of Program Construction, (359-378)
  396. ACM
    Solin K and von Wright J Refinement algebra with operators for enabledness and termination Proceedings of the 8th international conference on Mathematics of Program Construction, (397-415)
  397. ACM
    Backhouse R and Michaelis D Exercises in quantifier manipulation Proceedings of the 8th international conference on Mathematics of Program Construction, (69-81)
  398. ACM
    Sandström K and Oliver I A UML profile for asynchronous hardware design Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation, (15-26)
  399. ACM
    Rewitzky I and Brink C Monotone predicate transformers as up-closed multirelations Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra, (311-327)
  400. ACM
    Leavens G JML’s rich, inherited specifications for behavioral subtypes Proceedings of the 8th international conference on Formal Methods and Software Engineering, (2-34)
  401. ACM
    Wang C, Yang Z, Ivančić F and Gupta A Whodunit? causal analysis for counterexamples Proceedings of the 4th international conference on Automated Technology for Verification and Analysis, (82-95)
  402. ACM
    Ginat D On novices' local views of algorithmic characteristics Proceedings of the 2006 international conference on Informatics in Secondary Schools - Evolution and Perspectives: the Bridge between Using and Understanding Computers, (127-137)
  403. ACM
    Demirbas M, Arora A and Kulathumani V GLANCE Proceedings of the 10th international conference on Principles of Distributed Systems, (244-259)
  404. ACM
    Jones C (2006) Reasoning About Partial Functions in the Formal Development of Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 145, (3-25), Online publication date: 1-Jan-2006.
  405. ACM
    Evans N and Treharne H (2006) Linking Semantic Models to Support CSP () B Consistency Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 145, (201-217), Online publication date: 1-Jan-2006.
  406. ACM
    Sims É (2006) Extending separation logic with fixpoints and postponed substitution, Theoretical Computer Science, 351:2, (258-275), Online publication date: 21-Feb-2006.
  407. ACM
    Manes E (2006) Boolean restriction categories and taut monads, Theoretical Computer Science, 360:1, (77-95), Online publication date: 21-Aug-2006.
  408. ACM
    Johnsen E, Owe O and Yu I (2006) Creol, Theoretical Computer Science, 365:1, (23-66), Online publication date: 10-Nov-2006.
  409. ACM
    Miller A, Donaldson A and Calder M (2006) Symmetry in temporal logic model checking, ACM Computing Surveys (CSUR), 38:3, (8-es), Online publication date: 30-Sep-2006.
  410. ACM
    Ager M, Danvy O and Rohde H (2006) Fast partial evaluation of pattern matching in strings, ACM Transactions on Programming Languages and Systems (TOPLAS), 28:4, (696-714), Online publication date: 1-Jul-2006.
  411. ACM
    Boute R (2006) Calculational semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), 28:4, (747-793), Online publication date: 1-Jul-2006.
  412. ACM
    Garcia A, Chavez C and Choren R An aspect-oriented modeling framework for multi-agent systems design Proceedings of the 7th international conference on Agent-oriented software engineering VII, (35-50)
  413. ACM
    Tchier F From operational to denotational demonic semantics of nondeterministic while loops Proceedings of the 10th WSEAS international conference on Computers, (1327-1335)
  414. ACM
    Morgan C and McIver A Programming-logic analysis of fault tolerance Rigorous Development of Complex Fault-Tolerant Systems, (288-305)
  415. ACM
    Apel S, Leich T, Rosenmüller M and Saake G FeatureC++ Proceedings of the 4th international conference on Generative Programming and Component Engineering, (125-140)
  416. ACM
    Attie P and Chockler H Efficiently verifiable conditions for deadlock-freedom of large concurrent programs Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, (465-481)
  417. ACM
    Tix R, Keimel K and Plotkin G (2019) RETRACTED, Electronic Notes in Theoretical Computer Science (ENTCS), 129, (1-104), Online publication date: 1-Apr-2005.
  418. ACM
    Garg V and Mittal N (2005) A Critique of Java for Concurrent Programming, IEEE Distributed Systems Online, 6:9, (3), Online publication date: 1-Sep-2005.
  419. ACM
    Kulkarni S and Ebnenasir A (2005) Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance, IEEE Transactions on Dependable and Secure Computing, 2:3, (201-215), Online publication date: 1-Jul-2005.
  420. ACM
    Grumberg O, Lerda F, Strichman O and Theobald M Proof-guided underapproximation-widening for multi-process systems Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (122-131)
  421. ACM
    Grumberg O, Lerda F, Strichman O and Theobald M (2019) Proof-guided underapproximation-widening for multi-process systems, ACM SIGPLAN Notices, 40:1, (122-131), Online publication date: 12-Jan-2005.
  422. ACM
    McIver A and Morgan C (2005) Abstraction and refinement in probabilistic systems, ACM SIGMETRICS Performance Evaluation Review, 32:4, (41-47), Online publication date: 1-Mar-2005.
  423. ACM
    Jhala R and Majumdar R (2005) Path slicing, ACM SIGPLAN Notices, 40:6, (38-47), Online publication date: 12-Jun-2005.
  424. ACM
    Jhala R and Majumdar R Path slicing Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (38-47)
  425. ACM
    Liew C Teaching software development skills early in the Curriculum through software engineering Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (133-137)
  426. ACM
    Henzinger T, Jhala R and Majumdar R Permissive interfaces Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, (31-40)
  427. ACM
    Fischer J, Jhala R and Majumdar R Joining dataflow with predicates Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, (227-236)
  428. ACM
    Jamali N and Ren S A layered architecture for real-time distributed multi-agent systems Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, (1-8)
  429. ACM
    Jamali N and Ren S (2005) A layered architecture for real-time distributed multi-agent systems, ACM SIGSOFT Software Engineering Notes, 30:4, (1-8), Online publication date: 1-Jul-2005.
  430. ACM
    Painter R and Coppit D (2005) A model for software plans, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
  431. ACM
    Hamza H (2005) Separation of concerns for evolving systems, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
  432. ACM
    Painter R and Coppit D A model for software plans Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, (1-5)
  433. ACM
    Hamza H Separation of concerns for evolving systems Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, (1-5)
  434. ACM
    Henzinger T, Jhala R and Majumdar R (2005) Permissive interfaces, ACM SIGSOFT Software Engineering Notes, 30:5, (31-40), Online publication date: 1-Sep-2005.
  435. ACM
    Fischer J, Jhala R and Majumdar R (2005) Joining dataflow with predicates, ACM SIGSOFT Software Engineering Notes, 30:5, (227-236), Online publication date: 1-Sep-2005.
  436. ACM
    Pedersen K and Constantinides C AspectAda Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies, (79-92)
  437. ACM
    Pedersen K and Constantinides C (2019) AspectAda, ACM SIGAda Ada Letters, XXV:4, (79-92), Online publication date: 17-Nov-2005.
  438. ACM
    Barnett M and Leino K Weakest-precondition of unstructured programs Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (82-87)
  439. ACM
    Zhou H Deriving a new efficient algorithm for min-period retiming Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (990-993)
  440. ACM
    Liew C (2019) Teaching software development skills early in the Curriculum through software engineering, ACM SIGCSE Bulletin, 37:3, (133-137), Online publication date: 1-Sep-2005.
  441. ACM
    Lobo L and Arthur J Local and global analysis Proceedings of the 43rd annual Southeast regional conference - Volume 2, (256-261)
  442. ACM
    Rashid A and Sawyer P (2018) A database evolution taxonomy for object-oriented databases, Journal of Software Maintenance and Evolution: Research and Practice, 17:2, (93-141), Online publication date: 1-Mar-2005.
  443. ACM
    Hunter C, Robinson P and Strooper P Agent-based distributed software verification Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38, (159-164)
  444. ACM
    Goldson D and Dongol B Concurrent program design in the extended theory of Owicki and Gries Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (41-50)
  445. ACM
    Hemer D, Long G and Strooper P Plug-in proof support for formal development environments Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (69-79)
  446. ACM
    Garcia A, Kulesza U and Lucena C Aspectizing multi-agent systems Software Engineering for Multi-Agent Systems III, (121-143)
  447. ACM
    Giacobazzi R and Mastroeni I (2005) Transforming semantics by abstract interpretation, Theoretical Computer Science, 337:1-3, (1-50), Online publication date: 9-Jun-2005.
  448. ACM
    Fraser G, Steinbauer G and Wotawa F Plan execution in dynamic environments Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, (208-217)
  449. ACM
    Leino K and Logozzo F Loop invariants on demand Proceedings of the Third Asian conference on Programming Languages and Systems, (119-134)
  450. ACM
    Mijajlović I and Yang H Data refinement with low-level pointer operations Proceedings of the Third Asian conference on Programming Languages and Systems, (19-36)
  451. ACM
    Cacho N and Batista T Using AOP to customize a reflective middleware Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II, (1133-1150)
  452. ACM
    Dezani-Ciancaglini M, Yoshida N, Ahern A and Drossopoulou S A distributed object-oriented language with session types Proceedings of the 1st international conference on Trustworthy global computing, (299-318)
  453. ACM
    Celiku O and McIver A Compositional specification and analysis of cost-based properties in probabilistic programs Proceedings of the 2005 international conference on Formal Methods, (107-122)
  454. ACM
    Kulkarni S and Ebnenasir A Adding fault-tolerance using pre-synthesized components Proceedings of the 5th European conference on Dependable Computing, (72-90)
  455. ACM
    Boström P and Waldén M An extension of event b for developing grid systems Proceedings of the 4th international conference on Formal Specification and Development in Z and B, (142-161)
  456. ACM
    Pawlak R, Duchien L and Seinturier L CompAr Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (163-178)
  457. ACM
    Plosila J, Liljeberg P and Isoaho J Modelling and refinement of an on-chip communication architecture Proceedings of the 7th international conference on Formal Methods and Software Engineering, (219-234)
  458. ACM
    Mooij A and Wesselink W Incremental verification of owicki/gries proof outlines using PVS Proceedings of the 7th international conference on Formal Methods and Software Engineering, (390-404)
  459. ACM
    Ebnenasir A, Kulkarni S and Bonakdarpour B Revising UNITY programs Proceedings of the 9th international conference on Principles of Distributed Systems, (275-290)
  460. ACM
    Boström P and Waldén M Development of fault tolerant grid applications using distributed b Proceedings of the 5th international conference on Integrated Formal Methods, (167-186)
  461. ACM
    Roychoudhury A, Mitra T and Negi H Analyzing loop paths for execution time estimation Proceedings of the Second international conference on Distributed Computing and Internet Technology, (458-469)
  462. ACM
    Ball T, Kupferman O and Yorsh G Abstraction for falsification Proceedings of the 17th international conference on Computer Aided Verification, (67-81)
  463. ACM
    Benedikt M, Bonifati A, Flesca S and Vyas A Verification of tree updates for optimization Proceedings of the 17th international conference on Computer Aided Verification, (379-393)
  464. ACM
    Clarke E, Sharygina N and Sinha N Program compatibility approaches Proceedings of the 4th international conference on Formal Methods for Components and Objects, (243-258)
  465. ACM
    Morgan C, Hoang T and Abrial J The challenge of probabilistic event B Proceedings of the 4th international conference on Formal Specification and Development in Z and B, (162-171)
  466. ACM
    Westerlund T and Plosila J Formal specification of a protocol processor Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation, (122-131)
  467. ACM
    Gibbs C, Liu C and Coady Y Sustainable system infrastructure and big bang evolution Proceedings of the 19th European conference on Object-Oriented Programming, (241-261)
  468. ACM
    Bagnara R, Rodríguez-Carbonell E and Zaffanella E Generation of basic semi-algebraic invariants using convex polyhedra Proceedings of the 12th international conference on Static Analysis, (19-34)
  469. ACM
    Kalinichenko L, Stupnikov S and Zemtsov N Extensible canonical process model synthesis applying formal interpretation Proceedings of the 9th East European conference on Advances in Databases and Information Systems, (183-198)
  470. ACM
    Leich T, Apel S and Saake G Using step-wise refinement to build a flexible lightweight storage manager Proceedings of the 9th East European conference on Advances in Databases and Information Systems, (324-337)
  471. ACM
    Béguelin S Formalisation and verification of the globalplatform card specification using the b method Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, (155-173)
  472. ACM
    Barnett M, Chang B, DeLine R, Jacobs B and Leino K Boogie Proceedings of the 4th international conference on Formal Methods for Components and Objects, (364-387)
  473. ACM
    Smeets N and Steegmans E A methodology for writing class contracts Proceedings of the 31st international conference on Theory and Practice of Computer Science, (418-422)
  474. ACM
    Chander A, Espinosa D, Islam N, Lee P and Necula G Enforcing resource bounds via static verification of dynamic checks Proceedings of the 14th European conference on Programming Languages and Systems, (311-325)
  475. ACM
    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.
  476. ACM
    Danicic S, Daoudi M, Fox C, Harman M, Hierons R, Howroyd J, Ourabya L and Ward M (2005) ConSUS, Journal of Systems and Software, 77:3, (241-262), Online publication date: 1-Sep-2005.
  477. ACM
    Leino K, Millstein T and Saxe J (2005) Generating error traces from verification-condition counterexamples, Science of Computer Programming, 55:1-3, (209-226), Online publication date: 1-Mar-2005.
  478. ACM
    Plosila J, Sere K and Waldén M (2005) Asynchronous system synthesis, Science of Computer Programming, 55:1-3, (259-288), Online publication date: 1-Mar-2005.
  479. ACM
    Field J, Goyal D, Ramalingam G and Yahav E (2005) Typestate verification, Science of Computer Programming, 58:1-2, (57-82), Online publication date: 1-Oct-2005.
  480. ACM
    Chen W (2005) Probabilistic analysis of algorithms for the Dutch national flag problem, Theoretical Computer Science, 341:1, (398-410), Online publication date: 5-Sep-2005.
  481. ACM
    Lermer K, Fidge C and Hayes I (2005) A theory for execution-time derivation in real-time programs, Theoretical Computer Science, 346:1, (3-27), Online publication date: 23-Nov-2005.
  482. ACM
    Hurd J, McIver A and Morgan C (2005) Probabilistic guarded commands mechanized in HOL, Theoretical Computer Science, 346:1, (96-112), Online publication date: 23-Nov-2005.
  483. ACM
    Klint P, Lämmel R and Verhoef C (2005) Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology (TOSEM), 14:3, (331-380), Online publication date: 1-Jul-2005.
  484. ACM
    Tejfel M, Horváth Z and Kozsik T (2005) Extending the sparkle core language with object abstraction, Acta Cybernetica, 17:2, (419-445), Online publication date: 10-Jan-2005.
  485. ACM
    Klein F and Giese H Separation of concerns for mechatronic multi-agent systems through dynamic communities Software Engineering for Multi-Agent Systems III, (272-289)
  486. ACM
    Singh A and Bandyopadhyay A (2018) Verifying mutual exclusion and liveness properties with split preconditions, Journal of Computer Science and Technology, 19:6, (795-802), Online publication date: 1-Nov-2004.
  487. ACM
    Khoo S and Shi K (2019) Program Adaptation via Output-Constraint Specialization, Higher-Order and Symbolic Computation, 17:1-2, (93-128), Online publication date: 1-Mar-2004.
  488. ACM
    Niculescu V (2019) On Data Distributions in the Construction of Parallel Programs, The Journal of Supercomputing, 29:1, (5-25), Online publication date: 1-Jul-2004.
  489. ACM
    Batory D, Sarvela J and Rauschmayer A (2004) Scaling Step-Wise Refinement, IEEE Transactions on Software Engineering, 30:6, (355-371), Online publication date: 1-Jun-2004.
  490. ACM
    Rodríguez-Carbonell E and Kapur D Automatic Generation of Polynomial Loop Invariants Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (266-273)
  491. ACM
    Ginat D Embedding instructive assertions in program design Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, (62-66)
  492. ACM
    Blume M and McAllester D (2019) A sound (and complete) model of contracts, ACM SIGPLAN Notices, 39:9, (189-200), Online publication date: 19-Sep-2004.
  493. ACM
    Blume M and McAllester D A sound (and complete) model of contracts Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (189-200)
  494. ACM
    Ginat D (2004) Algorithmic patterns and the case of the sliding delta, ACM SIGCSE Bulletin, 36:2, (29-33), Online publication date: 1-Jun-2004.
  495. ACM
    Ginat D (2019) Embedding instructive assertions in program design, ACM SIGCSE Bulletin, 36:3, (62-66), Online publication date: 1-Sep-2004.
  496. ACM
    Manevich R, Sridharan M, Adams S, Das M and Yang Z PSE Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (63-72)
  497. ACM
    Bruce K (2004) Controversy on how to teach CS 1, ACM SIGCSE Bulletin, 36:4, (29-34), Online publication date: 1-Dec-2004.
  498. ACM
    Manevich R, Sridharan M, Adams S, Das M and Yang Z (2004) PSE, ACM SIGSOFT Software Engineering Notes, 29:6, (63-72), Online publication date: 1-Nov-2004.
  499. ACM
    Bruce K Controversy on how to teach CS 1 Working group reports from ITiCSE on Innovation and technology in computer science education, (29-34)
  500. ACM
    Singh A and Bandyopadhyay A (2004) Adding the leads-to operator to Dijkstra's calculus, ACM SIGPLAN Notices, 39:2, (12-17), Online publication date: 1-Feb-2004.
  501. ACM
    Steele G and White J (2004) How to print floating-point numbers accurately, ACM SIGPLAN Notices, 39:4, (372-389), Online publication date: 1-Apr-2004.
  502. ACM
    Teng G and Liu X Support software evolution with abstration rules and programming knowledge patterns Focus on computational neurobiology, (177-189)
  503. ACM
    Seceleanu T and Westerlund T Aspects of Formal and Graphical Design of a Bus System Proceedings of the conference on Design, automation and test in Europe - Volume 1
  504. ACM
    Giannakopoulou D, Pasareanu C and Cobleigh J Assume-Guarantee Verification of Source Code with Design-Level Assumptions Proceedings of the 26th International Conference on Software Engineering, (211-220)
  505. ACM
    Beyer D, Chlipala A, Henzinger T, Jhala R and Majumdar R Generating Tests from Counterexamples Proceedings of the 26th International Conference on Software Engineering, (326-335)
  506. ACM
    Colón M Schema-guided synthesis of imperative programs by constraint solving Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation, (166-181)
  507. ACM
    Jifeng H and Naiyong J Integrating variants of DC Proceedings of the First international conference on Theoretical Aspects of Computing, (14-34)
  508. ACM
    Rodríguez-Carbonell E and Kapur D Program verification using automatic generation of invariants Proceedings of the First international conference on Theoretical Aspects of Computing, (325-340)
  509. ACM
    Morgan C Of probabilistic wp and CSP - and compositionality Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years, (220-241)
  510. ACM
    Pons C, Giandini R, Pérez G, Pesce P, Becker V, Longinotti J and Cengia J PAMPERO Proceedings of the 2004 international conference on UML Modeling Languages and Applications, (246-249)
  511. ACM
    Fiadeiro J Software services Proceedings of the First international conference on Theoretical Aspects of Computing, (1-13)
  512. ACM
    Flanagan C (2004) Automatic software model checking via constraint logic, Science of Computer Programming, 50:1-3, (253-270), Online publication date: 1-Mar-2004.
  513. ACM
    Brönnimann H, Iacono J, Katajainen J, Morin P, Morrison J and Toussaint G (2004) Space-efficient planar convex hull algorithms, Theoretical Computer Science, 321:1, (25-40), Online publication date: 16-Jun-2004.
  514. ACM
    Dwyer M, Clarke L, Cobleigh J and Naumovich G (2004) Flow analysis for verifying properties of concurrent software systems, ACM Transactions on Software Engineering and Methodology (TOSEM), 13:4, (359-430), Online publication date: 1-Oct-2004.
  515. ACM
    Attie P, Arora A and Emerson E (2004) Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems (TOPLAS), 26:1, (125-185), Online publication date: 1-Jan-2004.
  516. ACM
    Zhang J Symbolic Execution of Program Paths Involving Pointer and Structure Variables Proceedings of the Quality Software, Fourth International Conference, (87-92)
  517. ACM
    Seceleanu C and Seceleanu T Modular Design of Reactive Systems Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01, (265-271)
  518. ACM
    Chiang C Teaching a formal method in a software engineering course Proceedings of the 2nd annual conference on Mid-south college computing, (39-52)
  519. ACM
    Pons C, Giandini R, Pérez G, Pesce P, Becker V, Longinotti J and Cengia J PAMPERO UML Modeling Languages and Applications, (246-249)
  520. ACM
    Van Eijk R, De Boer F, Van Der Hoek W and Meyer J (2019) A Verification Framework for Agent Communication, Autonomous Agents and Multi-Agent Systems, 6:2, (185-219), Online publication date: 1-Mar-2003.
  521. ACM
    Kleijn J, Reniers M and Rooda J (2019) Analysis of an Industrial System, Formal Methods in System Design, 22:3, (249-282), Online publication date: 1-May-2003.
  522. ACM
    Giacobazzi R and Mastroeni I (2019) Non-Standard Semantics for Program Slicing, Higher-Order and Symbolic Computation, 16:4, (297-339), Online publication date: 1-Dec-2003.
  523. ACM
    Hoare C (2018) Assertions, IEEE Annals of the History of Computing, 25:2, (14-25), Online publication date: 1-Apr-2003.
  524. ACM
    Jones C (2018) The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, 25:2, (26-49), Online publication date: 1-Apr-2003.
  525. ACM
    Jambon F First steps in the retro-engineering of a GUI toolkit in the B language Proceedings of the 15th Conference on l'Interaction Homme-Machine, (118-125)
  526. ACM
    Ager M, Danvy O and Rohde H Fast partial evaluation of pattern matching in strings Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (3-9)
  527. ACM
    Dor N, Rodeh M and Sagiv M (2003) CSSV, ACM SIGPLAN Notices, 38:5, (155-167), Online publication date: 9-May-2003.
  528. ACM
    Dor N, Rodeh M and Sagiv M CSSV Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, (155-167)
  529. ACM
    Fornara N and Colombetti M Defining interaction protocols using a commitment-based agent communication language Proceedings of the second international joint conference on Autonomous agents and multiagent systems, (520-527)
  530. ACM
    Sabry A Modeling quantum computing in Haskell Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, (39-49)
  531. ACM
    Batory D, Liu J and Sarvela J Refinements and multi-dimensional separation of concerns Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (48-57)
  532. ACM
    Lau T, Domingos P and Weld D Learning programs from traces using version space algebra Proceedings of the 2nd international conference on Knowledge capture, (36-43)
  533. ACM
    Batory D, Liu J and Sarvela J (2003) Refinements and multi-dimensional separation of concerns, ACM SIGSOFT Software Engineering Notes, 28:5, (48-57), Online publication date: 1-Sep-2003.
  534. ACM
    Gegg-Harrison T, Bunce G, Ganetzky R, Olson C and Wilson J (2003) Studying program correctness by constructing contracts, ACM SIGCSE Bulletin, 35:3, (129-133), Online publication date: 1-Sep-2003.
  535. ACM
    Gegg-Harrison T, Bunce G, Ganetzky R, Olson C and Wilson J Studying program correctness by constructing contracts Proceedings of the 8th annual conference on Innovation and technology in computer science education, (129-133)
  536. ACM
    Ager M, Danvy O and Rohde H (2003) Fast partial evaluation of pattern matching in strings, ACM SIGPLAN Notices, 38:10, (3-9), Online publication date: 1-Oct-2003.
  537. ACM
    Back R and Preoteasa V Reasoning about recursive procedures with parameters Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, (1-7)
  538. ACM
    Keener L Bibliography Technology supporting business solutions, (179-191)
  539. ACM
    Wagener J Guarded command Encyclopedia of Computer Science, (761-762)
  540. ACM
    Gries D Loop invariant Encyclopedia of Computer Science, (1038-1040)
  541. ACM
    Cox T, Hemmendinger D and Hemmendinger D Procedure-oriented languages Encyclopedia of Computer Science, (1441-1451)
  542. ACM
    Federighi F Programmer Encyclopedia of Computer Science, (1462-1463)
  543. ACM
    Schmidt D Programming language semantics Encyclopedia of Computer Science, (1463-1466)
  544. ACM
    Field J, Goyal D, Ramalingam G and Yahav E Typestate verification Proceedings of the 10th international conference on Static analysis, (439-462)
  545. ACM
    Semoushin I, Tsyganova J and Ugarov V Computational and soft skills development through the project based learning Proceedings of the 2003 international conference on Computational science: PartII, (1098-1106)
  547. ACM
    Back R and von Wright J Enforcing behavior with contracts Programming methodology, (17-52)
  548. ACM
    Batory D, Sarvela J and Rauschmayer A Scaling step-wise refinement Proceedings of the 25th International Conference on Software Engineering, (187-197)
  549. ACM
    Flanagan C Automatic software model checking using CLP Proceedings of the 12th European conference on Programming, (189-203)
  550. ACM
    Fontaine P and Gribomont E Decidability of invariant validation for paramaterized systems Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems, (97-112)
  551. ACM
    Leino K A SAT characterization of boolean-program correctness Proceedings of the 10th international conference on Model checking software, (104-120)
  552. ACM
    Dunne S Introducing backward refinement into B Proceedings of the 3rd international conference on Formal specification and development in Z and B, (178-196)
  553. ACM
    Abrial J, Cansell D and Méry D Formal derivation of spanning trees algorithms Proceedings of the 3rd international conference on Formal specification and development in Z and B, (457-476)
  554. ACM
    Schröder L and Mossakowski T Monad-independent Hoare logic in HasCasl Proceedings of the 6th international conference on Fundamental approaches to software engineering, (261-277)
  555. ACM
    Fenkam P, Gall H and Jazayeri M Composing specifications of event based applications Proceedings of the 6th international conference on Fundamental approaches to software engineering, (67-86)
  556. ACM
    Kurki-Suonio R (2003) Action systems in incremental and aspect-oriented modeling, Distributed Computing, 16:2-3, (201-217), Online publication date: 1-Sep-2003.
  557. ACM
    Watson B (2003) A new algorithm for the construction of minimal acyclic DFAs, Science of Computer Programming, 48:2-3, (81-97), Online publication date: 1-Aug-2003.
  558. ACM
    Watson B and Watson R (2003) A Boyer--Moore-style algorithm for regular expression pattern matching, Science of Computer Programming, 48:2-3, (99-117), Online publication date: 1-Aug-2003.
  559. ACM
    Pedreschi D and Ruggieri S (2003) On logic programs that always succeed, Science of Computer Programming, 48:2-3, (163-196), Online publication date: 1-Aug-2003.
  560. ACM
    Rönkkö M, Ravn A and Sere K (2003) Hybrid action systems, Theoretical Computer Science, 290:1, (937-973), Online publication date: 1-Jan-2003.
  561. ACM
    Ghani N, Lüth C, De Marchi F and Power J (2003) Dualising initial algebras, Mathematical Structures in Computer Science, 13:2, (349-370), Online publication date: 1-Apr-2003.
  562. ACM
    McIver A, Morgan C and Hoang T Probabilistic termination in B Proceedings of the 3rd international conference on Formal specification and development in Z and B, (216-239)
  563. ACM
    Roman G and McCann P (2019) A Notation and Logic for Mobile Computing, Formal Methods in System Design, 20:1, (47-68), Online publication date: 1-Jan-2002.
  564. ACM
    Bodeveix J and Filali M (2019) Reduction and Quantifier Elimination Techniques for Program Validation, Formal Methods in System Design, 20:1, (69-89), Online publication date: 1-Jan-2002.
  565. ACM
    Markiewicz M, Lucena C, Alencar P and Cowan D (2019) Views and Patterns in E-Commerce Application Design, Annals of Software Engineering, 13:1-4, (111-140), Online publication date: 25-Jun-2002.
  566. ACM
    Henzinger T, Jhala R, Majumdar R and Sutre G Lazy abstraction Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (58-70)
  567. ACM
    Flanagan C and Qadeer S Predicate abstraction for software verification Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (191-202)
  568. ACM
    Kamiya T SOMA Proceedings of the International Workshop on Principles of Software Evolution, (124-128)
  569. ACM
    Ramalingam G, Warshavsky A, Field J, Goyal D and Sagiv M Deriving specialized program analyses for certifying component-client conformance Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (83-94)
  570. ACM
    Flanagan C, Leino K, Lillibridge M, Nelson G, Saxe J and Stata R Extended static checking for Java Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (234-245)
  571. ACM
    Leino K, Poetzsch-Heffter A and Zhou Y Using data groups to specify and check side effects Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (246-257)
  572. ACM
    Jhumka A, Hiller M, Claesson V and Suri N On systematic design of globally consistent executable assertions in embedded software Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems, (75-84)
  573. ACM
    Ramalingam G, Warshavsky A, Field J, Goyal D and Sagiv M (2019) Deriving specialized program analyses for certifying component-client conformance, ACM SIGPLAN Notices, 37:5, (83-94), Online publication date: 17-May-2002.
  574. ACM
    Flanagan C, Leino K, Lillibridge M, Nelson G, Saxe J and Stata R (2019) Extended static checking for Java, ACM SIGPLAN Notices, 37:5, (234-245), Online publication date: 17-May-2002.
  575. ACM
    Leino K, Poetzsch-Heffter A and Zhou Y (2019) Using data groups to specify and check side effects, ACM SIGPLAN Notices, 37:5, (246-257), Online publication date: 17-May-2002.
  576. ACM
    Henzinger T, Jhala R, Majumdar R and Sutre G (2002) Lazy abstraction, ACM SIGPLAN Notices, 37:1, (58-70), Online publication date: 1-Jan-2002.
  577. ACM
    Flanagan C and Qadeer S (2002) Predicate abstraction for software verification, ACM SIGPLAN Notices, 37:1, (191-202), Online publication date: 1-Jan-2002.
  578. ACM
    Jhumka A, Hiller M, Claesson V and Suri N (2019) On systematic design of globally consistent executable assertions in embedded software, ACM SIGPLAN Notices, 37:7, (75-84), Online publication date: 17-Jul-2002.
  579. ACM
    Moreira A, Araújo J and Brito I Crosscutting quality attributes for requirements engineering Proceedings of the 14th international conference on Software engineering and knowledge engineering, (167-174)
  580. ACM
    D'Hondt M Making software knowledgeable Proceedings of the 24th International Conference on Software Engineering, (735-736)
  581. ACM
    Mezini M and Ostermann K Integrating independent components with on-demand remodularization Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (52-67)
  582. ACM
    Lee L and Lumsdaine A Generic programming for high performance scientific applications Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (112-121)
  583. ACM
    Letier E and van Lamsweerde A Deriving operational software specifications from system goals Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, (119-128)
  584. ACM
    Letier E and van Lamsweerde A (2002) Deriving operational software specifications from system goals, ACM SIGSOFT Software Engineering Notes, 27:6, (119-128), Online publication date: 1-Nov-2002.
  585. ACM
    Creak A (2002) Edsger W. Dijkstra, ACM SIGPLAN Notices, 37:12, (14-16), Online publication date: 1-Dec-2002.
  586. ACM
    Gries D (2002) Where is programming methodology these days?, ACM SIGCSE Bulletin, 34:4, (5-7), Online publication date: 1-Dec-2002.
  587. ACM
    Harrison C (2002) ICPL, ACM SIGCSE Bulletin, 34:4, (101-105), Online publication date: 1-Dec-2002.
  589. ACM
    Roman G, Julien C and Huang Q Formal Specification and Design of Mobile Systems Proceedings of the 16th International Parallel and Distributed Processing Symposium
  590. ACM
    Amtoft T, Consel C, Danvy O and Malmkjær K The abstraction and instantiation of string-matching programs The essence of computation, (332-357)
  591. ACM
    Berghammer R A generic program for minimal subsets with applications Proceedings of the 12th international conference on Logic based program synthesis and transformation, (144-157)
  592. ACM
    McIver A (2002) Quantitative program logic and expected time bounds in probabilistic distributed algorithms, Theoretical Computer Science, 282:1, (191-219), Online publication date: 7-Jun-2002.
  593. ACM
    Sobel A and Clarkson M (2002) Formal Methods Application, IEEE Transactions on Software Engineering, 28:3, (308-320), Online publication date: 1-Mar-2002.
  594. ACM
    Mezini M and Ostermann K (2019) Integrating independent components with on-demand remodularization, ACM SIGPLAN Notices, 37:11, (52-67), Online publication date: 17-Nov-2002.
  595. ACM
    Jonker C and Treur J (2019) Agent-Based Simulation of Animal Behaviour, Applied Intelligence, 15:2, (83-115), Online publication date: 26-Jun-2001.
  596. ACM
    Ince D (2019) Eight Desert Island Books, Automated Software Engineering, 8:3-4, (355-358), Online publication date: 1-Aug-2001.
  597. ACM
    Ireland A and Stark J (2019) Proof planning for strategy development, Annals of Mathematics and Artificial Intelligence, 29:1-4, (65-97), Online publication date: 10-Jan-2001.
  598. ACM
    Ernst M, Cockrell J, Griswold W and Notkin D (2001) Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Transactions on Software Engineering, 27:2, (99-123), Online publication date: 1-Feb-2001.
  599. ACM
    Liu T and Huang S (2001) Phase Synchronization on Asynchronous Uniform Rings with Odd Size, IEEE Transactions on Parallel and Distributed Systems, 12:6, (638-652), Online publication date: 1-Jun-2001.
  600. ACM
    Flanagan C and Saxe J Avoiding exponential explosion Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (193-205)
  601. ACM
    Flanagan C and Saxe J (2001) Avoiding exponential explosion, ACM SIGPLAN Notices, 36:3, (193-205), Online publication date: 1-Mar-2001.
  602. ACM
    Ball T, Majumdar R, Millstein T and Rajamani S Automatic predicate abstraction of C programs Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (203-213)
  603. ACM
    Ball T, Majumdar R, Millstein T and Rajamani S (2001) Automatic predicate abstraction of C programs, ACM SIGPLAN Notices, 36:5, (203-213), Online publication date: 1-May-2001.
  604. ACM
    Elrad T, Filman R and Bader A (2001) Aspect-oriented programming, Communications of the ACM, 44:10, (29-32), Online publication date: 1-Oct-2001.
  605. ACM
    Gray J, Bapty T, Neema S and Tuck J (2001) Handling crosscutting constraints in domain-specific modeling, Communications of the ACM, 44:10, (87-93), Online publication date: 1-Oct-2001.
  606. ACM
    Pucella R (2019) Review of Dynamic Logic (Foundations of Computing), ACM SIGACT News, 32:4, (9-17), Online publication date: 1-Dec-2001.
  607. ACM
    Ginat D (2001) Starting top-down, refining bottom-up, sharpening by zoom-in, ACM SIGCSE Bulletin, 33:4, (28-31), Online publication date: 1-Dec-2001.
  608. ACM
    Ball T and Rajamani S Automatically validating temporal safety properties of interfaces Proceedings of the 8th international SPIN workshop on Model checking of software, (103-122)
  609. ACM
    Sorensen I and Neilson D B High integrity software, (23-42)
  610. ACM
    Hesselink W and Groote J (2001) Wait-free concurrent memory management by create and read until deletion (CaRuD), Distributed Computing, 14:1, (31-39), Online publication date: 1-Jan-2001.
  611. ACM
    McIver A and Morgan C (2001) Partial correctness for probabilistic demonic programs, Theoretical Computer Science, 266:1-2, (513-541), Online publication date: 6-Sep-2001.
  612. ACM
    Jilani L, Desharnais J and Mili A (2001) Defining and Applying Measures of Distance Between Specifications, IEEE Transactions on Software Engineering, 27:8, (673-703), Online publication date: 1-Aug-2001.
  613. ACM
    Attie P and Emerson E (2001) Synthesis of concurrent programs for an atomic read/write model of computation, ACM Transactions on Programming Languages and Systems (TOPLAS), 23:2, (187-242), Online publication date: 1-Mar-2001.
  614. ACM
    Lee E and Parks T Dataflow process networks Readings in hardware/software co-design, (59-85)
  615. ACM
    Hooman J and Roosmalen O (2000) An Approach to Platform Independent Real-Time Programming, Real-Time Systems, 19:1, (61-85), Online publication date: 7-Jul-2000.
  616. ACM
    Blieberger J, Fahringer T and Scholz B (2000) Symbolic Cache Analysis for Real-Time Systems, Real-Time Systems, 18:2/3, (181-215), Online publication date: 1-May-2000.
  617. ACM
    Harrison J (2019) Floating Point Verification in HOL Light, Formal Methods in System Design, 16:3, (271-305), Online publication date: 1-Jun-2000.
  618. ACM
    Liu Y (2019) Efficiency by Incrementalization, Higher-Order and Symbolic Computation, 13:4, (289-313), Online publication date: 1-Dec-2000.
  619. ACM
    Monin J (2019) Proving the Correctness of the Standardized Algorithm for ABR Conformance, Formal Methods in System Design, 17:3, (221-243), Online publication date: 1-Dec-2000.
  620. ACM
    Boute R (2000) Supertotal Function Definition in Mathematics and Software Engineering, IEEE Transactions on Software Engineering, 26:7, (662-672), Online publication date: 1-Jul-2000.
  621. ACM
    Scholz B, Blieberger J and Fahringer T Symbolic pointer analysis for detecting memory leaks Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (104-113)
  622. ACM
    Sobel A Empirical results of a software engineering curriculum incorporating formal methods Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, (157-161)
  623. ACM
    Sobel A (2000) Empirical results of a software engineering curriculum incorporating formal methods, ACM SIGCSE Bulletin, 32:1, (157-161), Online publication date: 1-Mar-2000.
  624. ACM
    Joshi R and Misra J Toward a theory of maximally concurrent programs (shortened version) Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, (319-328)
  625. ACM
    Lev-Ami T, Reps T, Sagiv M and Wilhelm R Putting static analysis to work for verification Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, (26-38)
  626. ACM
    Lev-Ami T, Reps T, Sagiv M and Wilhelm R (2000) Putting static analysis to work for verification, ACM SIGSOFT Software Engineering Notes, 25:5, (26-38), Online publication date: 1-Sep-2000.
  627. ACM
    Xu Z, Miller B and Reps T Safety checking of machine code Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (70-82)
  628. ACM
    Necula G Translation validation for an optimizing compiler Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (83-94)
  629. ACM
    Herrmann S and Mezini M PIROL Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (188-207)
  630. ACM
    Herrmann S and Mezini M (2019) PIROL, ACM SIGPLAN Notices, 35:10, (188-207), Online publication date: 1-Oct-2000.
  631. ACM
    Xu Z, Miller B and Reps T (2019) Safety checking of machine code, ACM SIGPLAN Notices, 35:5, (70-82), Online publication date: 1-May-2000.
  632. ACM
    Necula G (2019) Translation validation for an optimizing compiler, ACM SIGPLAN Notices, 35:5, (83-94), Online publication date: 1-May-2000.
  633. ACM
    Netinant P, Constantinides C, Elrad T and Fayad M Aspect-oriented frameworks (poster session) Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), (61-62)
  634. ACM
    Doherty P, Łukaszewicz W and Madalińska-Bugaj E (2019) The PMA and Relativizing Minimal Change for Action Update, Fundamenta Informaticae, 44:1-2, (95-131), Online publication date: 15-Aug-2000.
  635. ACM
    Bos V and Kleijn J (2019) Formalisation of a Production System Modelling Language The operational semantics of χ Core, Fundamenta Informaticae, 41:4, (367-392), Online publication date: 1-Dec-2000.
  636. ACM
    Doherty P, Łukaszewicz W and Madalińska-Bugaj E (2019) The PMA and Relativizing Minimal Change for Action Update, Fundamenta Informaticae, 44:1-2, (95-131), Online publication date: 1-Jan-2000.
  637. ACM
    Kilov H Business Specifications and RD-ODP Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  638. ACM
    Mahony B (2018) The Least Conjunctive Refinement and Promotion in the Refinement Calculus, Formal Aspects of Computing, 11:1, (75-105), Online publication date: 1-Sep-1999.
  639. ACM
    Bharadwaj R and Heitmeyer C (1999) Model Checking Complete Requirements Specifications Using Abstraction, Automated Software Engineering, 6:1, (37-68), Online publication date: 1-Jan-1999.
  640. ACM
    Arpinar Ï, Halici U, Arpinar S and Doğaç A (1999) Formalization of Workflows and Correctness Issues in the Presence of Concurrency, Distributed and Parallel Databases, 7:2, (199-248), Online publication date: 1-Apr-1999.
  641. ACM
    Cowling A (2018) The first decade of an undergraduate degree programme in software engineering, Annals of Software Engineering, 6:1-4, (61-90), Online publication date: 1-Apr-1999.
  642. ACM
    Bjørner D and Cuéllar J (2018) Software engineering education, Annals of Software Engineering, 6:1-4, (365-409), Online publication date: 1-Apr-1999.
  643. ACM
    Siddiqi J, Morrey I, Hibberd R and Buckberry G (2018) Understanding and exploring formal specifications, Annals of Software Engineering, 6:1-4, (411-432), Online publication date: 1-Apr-1999.
  644. ACM
    Odersky M (2019) Programming with variable functions, ACM SIGPLAN Notices, 34:1, (105-116), Online publication date: 1-Jan-1999.
  645. ACM
    Nezu N and Lu H Modeling deflection networks Proceedings of the 1999 ACM symposium on Applied computing, (66-73)
  646. ACM
    Hur S, Jagannathan A and Lillis J Timing driven maze routing Proceedings of the 1999 international symposium on Physical design, (208-213)
  647. ACM
    Walker R, Baniassad E and Murphy G An initial assessment of aspect-oriented programming Proceedings of the 21st international conference on Software engineering, (120-130)
  648. ACM
    Scholz B, Blieberger J and Fahringer T (1999) Symbolic pointer analysis for detecting memory leaks, ACM SIGPLAN Notices, 34:11, (104-113), Online publication date: 1-Nov-1999.
  649. ACM
    Back R, Petre L and Paltor I Analysing UML use cases as contracts Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (518-533)
  650. ACM
    Beynon M Empirical modelling and the foundations of artificial intelligence Computation for metaphors, analogy, and agents, (322-365)
  651. ACM
    Manohar R, Lee T and Martin A Projection Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
  652. ACM
    Hoare C Theories of Programming Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (3-28)
  653. ACM
    Fränzle M and Müller-Olm M Compilation and Synthesis for Real-Time Embedded Controllers Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (256-287)
  654. ACM
    Dingel J, Garlan D, Jha S and Notkin D (2018) Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning, Formal Aspects of Computing, 10:3, (193-213), Online publication date: 1-Mar-1998.
  655. ACM
    Cavalcanti A and Woodcock J (2018) ZRC --- A Refinement Calculus for Z, Formal Aspects of Computing, 10:3, (267-289), Online publication date: 1-Mar-1998.
  656. ACM
    Waldén M and Sere K (2019) Reasoning about Action Systems using the B-Method, Formal Methods in System Design, 13:1, (5-35), Online publication date: 1-May-1998.
  657. ACM
    Chetali B (1998) Formal Verification of Concurrent Programs Using the Larch Prover, IEEE Transactions on Software Engineering, 24:1, (46-62), Online publication date: 1-Jan-1998.
  658. ACM
    Arora A and Kulkarni S (1998) Component Based Design of Multitolerant Systems, IEEE Transactions on Software Engineering, 24:1, (63-78), Online publication date: 1-Jan-1998.
  659. ACM
    Backus J (2018) The History of Fortran I, II, and III, IEEE Annals of the History of Computing, 20:4, (68-78), Online publication date: 1-Oct-1998.
  660. ACM
    Arora A, Attie P and Emerson E Synthesis of fault-tolerant concurrent programs Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, (173-182)
  661. ACM
    de Marneffe P The problem of examination questions in algorithmics Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education, (74-76)
  662. ACM
    Garlan D, Jha S, Notkin D and Dingel J Reasoning about implicit invocation Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (209-221)
  663. ACM
    Odersky M Programming with variable functions Proceedings of the third ACM SIGPLAN international conference on Functional programming, (105-116)
  664. ACM
    de Marneffe P (1998) The problem of examination questions in algorithmics, ACM SIGCSE Bulletin, 30:3, (74-76), Online publication date: 1-Sep-1998.
  665. ACM
    Garlan D, Jha S, Notkin D and Dingel J (2019) Reasoning about implicit invocation, ACM SIGSOFT Software Engineering Notes, 23:6, (209-221), Online publication date: 1-Nov-1998.
  666. ACM
    Huang E and Elrad T Scheduling control mechanisms for managing indeterminate object behavior Proceedings of the 1998 ACM symposium on Applied Computing, (650-654)
  667. ACM
    Sivilotti P A class of synchronization systems that permit the use of large atomic blocks Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
  668. ACM
    Cheng B A Discussion About Integrated Techniques Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
  669. ACM
    Arora A and Kulkarni S (1998) Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance, IEEE Transactions on Software Engineering, 24:6, (435-450), Online publication date: 1-Jun-1998.
  670. ACM
    Attie P and Emerson E (1998) Synthesis of concurrent systems with many similar processes, ACM Transactions on Programming Languages and Systems (TOPLAS), 20:1, (51-115), Online publication date: 1-Jan-1998.
  671. ACM
    Shapiro S (2018) Splitting the Difference, IEEE Annals of the History of Computing, 19:1, (20-54), Online publication date: 1-Jan-1997.
  672. ACM
    Giloi W (2018) Konrad Zuse's Plankalkül, IEEE Annals of the History of Computing, 19:2, (17-24), Online publication date: 1-Apr-1997.
  673. ACM
    Griffin T and Hull R A framework for implementing hypothetical queries Proceedings of the 1997 ACM SIGMOD international conference on Management of data, (231-242)
  674. ACM
    Griffin T and Hull R (2019) A framework for implementing hypothetical queries, ACM SIGMOD Record, 26:2, (231-242), Online publication date: 1-Jun-1997.
  675. ACM
    Gersting J and Young F Content + experiences = curriculum Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (325-329)
  676. ACM
    Gersting J and Young F (1997) Content + experiences = curriculum, ACM SIGCSE Bulletin, 29:1, (325-329), Online publication date: 1-Mar-1997.
  677. ACM
    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)
  678. ACM
    Sidou D Towards a "Good" Functional and Executable Behavior Model Proceedings of the Workshops on Object-Oriented Technology, (17-22)
  679. ACM
    Novak G (1997) Software Reuse by Specialization of Generic Procedures through Views, IEEE Transactions on Software Engineering, 23:7, (401-417), Online publication date: 1-Jul-1997.
  680. ACM
    Xue J and Davis R A Simple Program whose Derivation and proof is also Proceedings of the 1st International Conference on Formal Engineering Methods
  681. ACM
    Liu X, Yang H and Zedan H Formal Methods for the Re-Engineering of Computing Systems Proceedings of the 21st International Computer Software and Applications Conference
  682. ACM
    Kurki-Suonio R and Mikkonen T Liberating Object-Oriented Modeling from Programming-Level Abstractions Proceedings of the Workshops on Object-Oriented Technology, (195-199)
  683. ACM
    Denman R Derivation of recursive algorithms for CS2 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (9-13)
  684. ACM
    Denman R (1996) Derivation of recursive algorithms for CS2, ACM SIGCSE Bulletin, 28:1, (9-13), Online publication date: 1-Mar-1996.
  685. ACM
    Benedikt M, Griffin T and Libkin L Verifiable properties of database transactions Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (117-127)
  686. ACM
    Attie P and Emerson E Synthesis of concurrent systems for an atomic read/atomic write model of computation Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, (111-120)
  687. ACM
    Hart J and Pizzarello A A scalable, automated process for year 2000 system correction Proceedings of the 18th international conference on Software engineering, (475-484)
  688. ACM
    Liu Y, Stoller S and Teitelbaum T Discovering auxiliary information for incremental computation Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (157-170)
  689. ACM
    Ward M (1996) Derivation of Data Intensive Algorithms by Formal Transformation, IEEE Transactions on Software Engineering, 22:9, (665-686), Online publication date: 1-Sep-1996.
  690. ACM
    Stephan W and Biundo S Deduction-based refinement planning Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (213-220)
  691. ACM
    Maung I (2018) On simulation, subtyping and substitutability in sequential object systems, Formal Aspects of Computing, 7:6, (620-651), Online publication date: 1-Nov-1995.
  692. ACM
    Sinclair J and Woodcock J (2018) Event refinement in state-based concurrent systems, Formal Aspects of Computing, 7:3, (266-288), Online publication date: 1-May-1995.
  693. ACM
    Snepscheut J (2018) The sliding-window protocol revisited, Formal Aspects of Computing, 7:1, (3-17), Online publication date: 1-Jan-1995.
  694. ACM
    Butler M and Morgan C (2018) Action systems, unbounded nondeterminism, and infinite traces, Formal Aspects of Computing, 7:1, (37-53), Online publication date: 1-Jan-1995.
  695. ACM
    King S and Morgan C (2018) Exits in the refinement calculus, Formal Aspects of Computing, 7:1, (54-76), Online publication date: 1-Jan-1995.
  696. ACM
    Novak Jr. G (1995) Creation of Views for Reuse of Software with Different Data Representations, IEEE Transactions on Software Engineering, 21:12, (993-1005), Online publication date: 1-Dec-1995.
  697. ACM
    Ginat D Loop invariants and mathematical games Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (263-267)
  698. ACM
    Gamble R Integrating a formal specification course with a software projects course via an editing tool Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (312-316)
  699. ACM
    Ginat D (1995) Loop invariants and mathematical games, ACM SIGCSE Bulletin, 27:1, (263-267), Online publication date: 15-Mar-1995.
  700. ACM
    Gamble R (1995) Integrating a formal specification course with a software projects course via an editing tool, ACM SIGCSE Bulletin, 27:1, (312-316), Online publication date: 15-Mar-1995.
  701. ACM
    Hoffman D and Strooper P State abstraction and modular software development Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, (53-61)
  702. ACM
    Hoffman D and Strooper P (2019) State abstraction and modular software development, ACM SIGSOFT Software Engineering Notes, 20:4, (53-61), Online publication date: 1-Oct-1995.
  703. 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.
  704. ACM
    Jazaa A (2019) Toward better software automation, ACM SIGSOFT Software Engineering Notes, 20:1, (79-84), Online publication date: 1-Jan-1995.
  705. ACM
    Lukaszewicz W and Madaliriska-Bugaj E Reasoning about action and change using Dijkstra's semantics for programming languages Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2, (1950-1955)
  706. ACM
    Donat M Enhancing cleanroom techniques with refinement calculus Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
  707. ACM
    Ng F, Butler G and Kay J (1995) An Intelligent Tutoring System for the Dijkstra-Gries Methodology, IEEE Transactions on Software Engineering, 21:5, (415-428), Online publication date: 1-May-1995.
  708. ACM
    Kurki-Suonio R (2019) Real time, Computer, 27:6, (71-76), Online publication date: 1-Jun-1994.
  709. ACM
    Ramsey N Correctness of trap-based breakpoint implementations Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (15-24)
  710. ACM
    de Boer F, Gabbrielli M, Marchiori E and Palamidessi C Proving concurrent constraint programs correct Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (98-108)
  711. ACM
    Gurevich Y (1994) Logic activities in Europe, ACM SIGACT News, 25:2, (11-24), Online publication date: 1-Jun-1994.
  712. ACM
    Yuen C and Feng M (1994) Parallel multiplication, ACM SIGPLAN Notices, 29:3, (12-17), Online publication date: 1-Mar-1994.
  713. ACM
    Bar-David T (1994) Object oriented librarianship, ACM SIGPLAN OOPS Messenger, 5:1, (1-5), Online publication date: 1-Jan-1994.
  714. ACM
    Page E and Nance R Parallel discrete event simulation Proceedings of the eighth workshop on Parallel and distributed simulation, (88-93)
  715. ACM
    Denman R, Naumann D, Potter W and Richter G Derivation of programs for freshmen Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (116-120)
  716. ACM
    Lau K, Bush V and Jinks P Towards an introductory formal programming course Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (121-125)
  717. ACM
    Arnow D Teaching programming to liberal arts students Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (141-144)
  718. ACM
    Denman R, Naumann D, Potter W and Richter G (1994) Derivation of programs for freshmen, ACM SIGCSE Bulletin, 26:1, (116-120), Online publication date: 12-Mar-1994.
  719. ACM
    Lau K, Bush V and Jinks P (1994) Towards an introductory formal programming course, ACM SIGCSE Bulletin, 26:1, (121-125), Online publication date: 12-Mar-1994.
  720. ACM
    Arnow D (1994) Teaching programming to liberal arts students, ACM SIGCSE Bulletin, 26:1, (141-144), Online publication date: 12-Mar-1994.
  721. ACM
    Dupée B (1994) Object oriented methods using Fortran 90, ACM SIGPLAN Fortran Forum, 13:1, (21-30), Online publication date: 1-Mar-1994.
  722. ACM
    Page E and Nance R (1994) Parallel discrete event simulation, ACM SIGSIM Simulation Digest, 24:1, (88-93), Online publication date: 1-Jul-1994.
  723. ACM
    Takaoka T Parallel program verification with directed graphs Proceedings of the 1994 ACM symposium on Applied computing, (462-466)
  724. ACM
    Camp T, Kearns P and Ahuja M (2019) Proof Rules for Flush Channels, IEEE Transactions on Software Engineering, 19:4, (366-378), Online publication date: 1-Apr-1993.
  725. ACM
    Parnas D (2019) Predicate Logic for Software Engineering, IEEE Transactions on Software Engineering, 19:9, (856-862), Online publication date: 1-Sep-1993.
  726. ACM
    Arora A and Gouda M (1993) Closure and Convergence, IEEE Transactions on Software Engineering, 19:11, (1015-1027), Online publication date: 1-Nov-1993.
  727. ACM
    Banâtre J and Le Métayer D (1993) Programming by multiset transformation, Communications of the ACM, 36:1, (98-111), Online publication date: 1-Jan-1993.
  728. ACM
    Schek H, Weikum G and Ye H Towards a unified theory of concurrency control and recovery Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (300-311)
  729. ACM
    Terwilliger R (1993) Toward tools to support the Gries/Dijkstra design process, ACM SIGSOFT Software Engineering Notes, 18:2, (50-59), Online publication date: 1-Apr-1993.
  730. ACM
    Harman M and Danicic S (1993) Projecting functional models of imperative programs, ACM SIGPLAN Notices, 28:11, (33-41), Online publication date: 1-Nov-1993.
  731. ACM
    Stephan W and Biundo S A new logical framework for deductive planning Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1, (32-38)
  732. ACM
    Cunningham H and Cai Y Specification and refinement of a message router Proceedings of the 7th international workshop on Software specification and design, (20-29)
  733. ACM
    Liu Z and Joseph M (1992) Transformation of programs for fault-tolerance, Formal Aspects of Computing, 4:5, (442-469), Online publication date: 1-Sep-1992.
  734. ACM
    Anderson J and Gouda M (2018) A criterion for atomicity, Formal Aspects of Computing, 4:3, (273-298), Online publication date: 1-May-1992.
  735. ACM
    Lukkien J and Snepscheut J (2018) Weakest preconditions for progress, Formal Aspects of Computing, 4:2, (195-236), Online publication date: 1-Mar-1992.
  736. ACM
    Kurki-Suonio R (2018) Operational specification with joint actions, Distributed Computing, 6:1, (19-37), Online publication date: 1-Jul-1992.
  737. ACM
    Manna Z and Waldinger R (2019) Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, 18:8, (674-704), Online publication date: 1-Aug-1992.
  738. ACM
    Salomon D (1992) Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
  739. ACM
    Maghrabi T and Golshani F Automatic program generation using sequent calculus Proceedings of the 1992 ACM annual conference on Communications, (73-82)
  740. ACM
    Abernethy K and Kelly J Comparing object-oriented and data flow models—a case study Proceedings of the 1992 ACM annual conference on Communications, (541-547)
  741. ACM
    Tam W Teaching loop invariants to beginners by examples Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (92-96)
  742. ACM
    Tam W (1992) Teaching loop invariants to beginners by examples, ACM SIGCSE Bulletin, 24:1, (92-96), Online publication date: 1-Mar-1992.
  743. ACM
    Garg P and Bhansali S Process programming by hindsight Proceedings of the 14th international conference on Software engineering, (280-293)
  744. ACM
    Li J Improvements to systematic program development Proceedings of the 30th annual Southeast regional conference, (308-311)
  745. ACM
    Jacob J (1992) Basic Theorems about Security, Journal of Computer Security, 1:3-4, (385-411), Online publication date: 1-May-1992.
  746. ACM
    Yuen C (1992) Hamming numbers, lazy evaluation, and eager disposal, ACM SIGPLAN Notices, 27:8, (71-75), Online publication date: 1-Aug-1992.
  747. ACM
    Kanellakis P and Shvartsman A (1992) Efficient parallel algorithms can be made robust, Distributed Computing, 5:4, (201-217), Online publication date: 1-Apr-1992.
  748. ACM
    Hennessy M (2018) A proof system for communicating processes with value-passing, Formal Aspects of Computing, 3:4, (346-366), Online publication date: 1-Oct-1991.
  749. ACM
    Murphy D and Sanders J (1991) Book reviews, Formal Aspects of Computing, 3:2, (206-212), Online publication date: 1-Jun-1991.
  750. ACM
    Lafontaine C, Ledru Y and Schobbens P (1991) An experiment in formal software development, Communications of the ACM, 34:5, (62-ff.), Online publication date: 1-May-1991.
  751. ACM
    Podgurski A Reliability, sampling, and algorithmic randomness Proceedings of the symposium on Testing, analysis, and verification, (11-20)
  752. ACM
    Höft H (1991) Implementation of a non-deterministic loop, ACM SIGCSE Bulletin, 23:2, (24-28), Online publication date: 1-May-1991.
  753. ACM
    Oyang Y (1991) Exploiting multi-way branching to boost superscalar processor performance, ACM SIGPLAN Notices, 26:3, (68-78), Online publication date: 2-Jan-1991.
  754. ACM
    Kilov H (1991) Objects concepts and bibliography, ACM SIGPLAN Notices, 26:10, (11-12), Online publication date: 1-Oct-1991.
  755. ACM
    Pleasant J Systematic program development/proof using Dromey's method Proceedings of the 19th annual conference on Computer Science, (169-173)
  756. ACM
    Balzer R Tolerating inconsistency Proceedings of the 13th international conference on Software engineering, (158-165)
  757. ACM
    Broy M Declarative specification and declarative programming Proceedings of the 6th international workshop on Software specification and design, (2-11)
  758. ACM
    Damy S and Perrin G Techniques for the design of communicating processes Proceedings of the 6th international workshop on Software specification and design, (67-74)
  759. ACM
    Wing J (2019) A Specifier's Introduction to Formal Methods, Computer, 23:9, (8-23), Online publication date: 1-Sep-1990.
  760. ACM
    Bishop J (2019) The Effect of Data Abstraction on Loop Programming Techniques, IEEE Transactions on Software Engineering, 16:4, (389-402), Online publication date: 1-Apr-1990.
  761. ACM
    Huang J (2019) State Constraints and Pathwise Decomposition of Programs, IEEE Transactions on Software Engineering, 16:8, (880-896), Online publication date: 1-Aug-1990.
  762. ACM
    Pair C (2018) GRIN, IEEE Annals of the History of Computing, 12:3, (159-166), Online publication date: 1-Jul-1990.
  763. ACM
    Chen W A formal approach to program inversion Proceedings of the 1990 ACM annual conference on Cooperation, (398-403)
  764. ACM
    Kovats T (1990) A conservative alternative to pancode, ACM SIGPLAN Notices, 25:11, (80-84), Online publication date: 1-Nov-1990.
  765. ACM
    Hvorecký J (1990) On a connection between programming and mathematics, ACM SIGCSE Bulletin, 22:4, (53-54), Online publication date: 1-Nov-1990.
  766. ACM
    Van Horebeek I and Lewi J (1990) Are constructive formal specifications less abstract?, ACM SIGPLAN Notices, 25:5, (60-68), Online publication date: 1-May-1990.
  767. ACM
    Rudolph B (1990) Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, 33:5, (563-576), Online publication date: 1-May-1990.
  768. ACM
    Jonsson D (1990) The flow of control notations pancode and boxcharts, ACM SIGPLAN Notices, 25:8, (106-119), Online publication date: 1-Aug-1990.
  769. ACM
    Steele G and White J How to print floating-point numbers accurately Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, (112-126)
  770. ACM
    Steele G and White J (2019) How to print floating-point numbers accurately, ACM SIGPLAN Notices, 25:6, (112-126), Online publication date: 1-Jun-1990.
  771. ACM
    Goldberg A Reusing software developments Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (107-119)
  772. ACM
    Goldberg A (2019) Reusing software developments, ACM SIGSOFT Software Engineering Notes, 15:6, (107-119), Online publication date: 1-Dec-1990.
  773. ACM
    Reddy U Formal methods in transformational derivation of programs Conference proceedings on Formal methods in software development, (104-114)
  774. ACM
    Reddy U (2019) Formal methods in transformational derivation of programs, ACM SIGSOFT Software Engineering Notes, 15:4, (104-114), Online publication date: 1-Sep-1990.
  775. ACM
    Guindon R (2018) Designing the design process, Human-Computer Interaction, 5:2, (305-344), Online publication date: 1-Jun-1990.
  776. ACM
    Lafontaine C, Ledru Y and Schobbens P An experiment in formal software development: using the B theorem prover on a VDM case study Proceedings of the 12th international conference on Software engineering, (34-42)
  777. ACM
    Vishnubhotla P Fine-grain parallelism in the ALPS programming language Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (506-514)
  778. ACM
    Backhouse R, Chisholm P, Malcolm G and Saaman E (2018) Do-it-yourself type theory, Formal Aspects of Computing, 1:1, (19-84), Online publication date: 1-Mar-1989.
  779. ACM
    Bauer F, Möller B, Partsch H and Pepper P (1989) Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, 15:2, (165-180), Online publication date: 1-Feb-1989.
  780. ACM
    Wing J and Nixon M (2019) Extending Ina Jo with Temporal Logic, IEEE Transactions on Software Engineering, 15:2, (181-197), Online publication date: 1-Feb-1989.
  781. ACM
    Mills H, Basili V, Gannon J and Hamlet R (2019) Mathematical Principles for a First Course in Software Engineering, IEEE Transactions on Software Engineering, 15:5, (550-559), Online publication date: 1-May-1989.
  782. ACM
    Weems B Operations on sets of intervals - an exercise for data structures or algorithms Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (174-176)
  783. ACM
    Luker P Never mind the language, what about the paradigm? Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (252-256)
  784. ACM
    Weems B (1989) Operations on sets of intervals - an exercise for data structures or algorithms, ACM SIGCSE Bulletin, 21:1, (174-176), Online publication date: 1-Feb-1989.
  785. ACM
    Luker P (1989) Never mind the language, what about the paradigm?, ACM SIGCSE Bulletin, 21:1, (252-256), Online publication date: 1-Feb-1989.
  786. ACM
    Guaspari D Penelope, an Ada verification system Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (216-224)
  787. ACM
    Gerth R and Pnueli A Rooting UNITY Proceedings of the 5th international workshop on Software specification and design, (11-19)
  788. ACM
    Kurki-Suonio R and Järvinen H Action system approach to the specification and design of distributed systems Proceedings of the 5th international workshop on Software specification and design, (34-40)
  789. ACM
    Ramsey N Developing formally verified Ada programs Proceedings of the 5th international workshop on Software specification and design, (257-265)
  790. ACM
    Gerth R and Pnueli A (1989) Rooting UNITY, ACM SIGSOFT Software Engineering Notes, 14:3, (11-19), Online publication date: 1-May-1989.
  791. ACM
    Kurki-Suonio R and Järvinen H (2019) Action system approach to the specification and design of distributed systems, ACM SIGSOFT Software Engineering Notes, 14:3, (34-40), Online publication date: 1-May-1989.
  792. ACM
    Ramsey N (1989) Developing formally verified Ada programs, ACM SIGSOFT Software Engineering Notes, 14:3, (257-265), Online publication date: 1-May-1989.
  793. ACM
    Merritt S A top down unification of minimum cost spanning tree algorithms Symposium proceedings on Communications architectures & protocols, (116-127)
  794. ACM
    Merritt S (1989) A top down unification of minimum cost spanning tree algorithms, ACM SIGCOMM Computer Communication Review, 19:4, (116-127), Online publication date: 1-Aug-1989.
  795. ACM
    Moschovakis Y Computable process Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (72-80)
  796. ACM
    Saraswat V and Rinard M Concurrent constraint programming Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (232-245)
  797. ACM
    Attie P, Francez N and Grumberg O Fairness and hyperfairness in multi-party interactions Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (292-305)
  798. ACM
    Runciman C and Toyn I Retrieving re-usable software components by polymorphic type Proceedings of the fourth international conference on Functional programming languages and computer architecture, (166-173)
  799. ACM
    Thomas M (1989) Development methods for trusted computer systems, Formal Aspects of Computing, 1:1, (5-18), Online publication date: 1-Mar-1989.
  800. ACM
    Nielsen M, Havelund K, Wagner K and George C (2018) The RAISE language, method and tools, Formal Aspects of Computing, 1:1, (85-114), Online publication date: 1-Mar-1989.
  801. ACM
    Dromey R (2019) Systematic Program Development, IEEE Transactions on Software Engineering, 14:1, (12-29), Online publication date: 1-Jan-1988.
  802. ACM
    Billington J, Wheeler G and Wilbur-Ham M (2019) PROTEAN, IEEE Transactions on Software Engineering, 14:3, (301-316), Online publication date: 1-Mar-1988.
  803. ACM
    Wolf A, Clarke L and Wileden J (1988) A Model of Visibility Control, IEEE Transactions on Software Engineering, 14:4, (512-520), Online publication date: 1-Apr-1988.
  804. ACM
    Damm W (1988) A Microprogramming Logic, IEEE Transactions on Software Engineering, 14:5, (559-574), Online publication date: 1-May-1988.
  805. ACM
    Elmagarmid A, Soundararajan N and Liu M (2019) A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof, IEEE Transactions on Software Engineering, 14:10, (1443-1452), Online publication date: 1-Oct-1988.
  806. ACM
    Davidson C (2019) Quicksort Revisited, IEEE Transactions on Software Engineering, 14:10, (1480-1481), Online publication date: 1-Oct-1988.
  807. ACM
    Clark K (2019) PARLOG and its Applications, IEEE Transactions on Software Engineering, 14:12, (1792-1804), Online publication date: 1-Dec-1988.
  808. ACM
    Cherniak C (1988) Undebuggability and cognitive science, Communications of the ACM, 31:4, (402-412), Online publication date: 1-Apr-1988.
  809. ACM
    Hemmendinger D (1988) The “Hamming problem” in Prolog, ACM SIGPLAN Notices, 23:4, (81-86), Online publication date: 1-Apr-1988.
  810. ACM
    Hemmendinger D (1988) The `Hamming' in Prolog, ACM SIGPLAN Notices, 23:6, (115-120), Online publication date: 1-Jun-1988.
  811. ACM
    Fetzer J (1988) Program verification: the very idea, Communications of the ACM, 31:9, (1048-1063), Online publication date: 1-Sep-1988.
  812. ACM
    Manber U (1988) Using induction to design algorithms, Communications of the ACM, 31:11, (1300-1313), Online publication date: 1-Nov-1988.
  813. ACM
    Murphy S and Shankar A Service specification and protocol construction for the transport layer Symposium proceedings on Communications architectures and protocols, (88-97)
  814. ACM
    Murphy S and Shankar A (1988) Service specification and protocol construction for the transport layer, ACM SIGCOMM Computer Communication Review, 18:4, (88-97), Online publication date: 1-Aug-1988.
  815. ACM
    Zahn C A phased programming paradigm Proceedings of the nineteenth SIGCSE technical symposium on Computer science education, (9-12)
  816. ACM
    Zahn C (1988) A phased programming paradigm, ACM SIGCSE Bulletin, 20:1, (9-12), Online publication date: 1-Feb-1988.
  817. ACM
    Holt R and Cordy J (1988) The Turing programming language, Communications of the ACM, 31:12, (1410-1423), Online publication date: 1-Dec-1988.
  818. ACM
    Kovats T (1988) Comments on innovative control constructs in pancode and EPN, ACM SIGPLAN Notices, 23:12, (151-157), Online publication date: 1-Dec-1988.
  819. ACM
    Craigen D, Kromodimoeljo S, Meisels I, Neilson A, Pase B and Saaltink M m-EVES: A tool for verifying software Proceedings of the 10th international conference on Software engineering, (324-333)
  820. ACM
    Bril R (1987) On cacheability of lock-variables in tightly coupled multiprocessor systems, ACM SIGARCH Computer Architecture News, 15:3, (25-32), Online publication date: 1-Jul-1987.
  821. ACM
    Hoare C, Hayes I, Jifeng H, Morgan C, Roscoe A, Sanders J, Sorensen I, Spivey J and Sufrin B (1987) Laws of programming, Communications of the ACM, 30:8, (672-686), Online publication date: 1-Aug-1987.
  822. ACM
    Bunda J APL function definition notation Proceedings of the international conference on APL: APL in transition, (253-255)
  823. ACM
    Mills H, Basili V, Gannon J and Hamlet R Teaching principles of computer programming Proceedings of the 15th annual conference on Computer Science, (336-341)
  824. ACM
    Hsu Y, Pan Y and Kubitz W A path selection global touter Proceedings of the 24th ACM/IEEE Design Automation Conference, (641-644)
  825. ACM
    Bunda J (2019) APL function definition notation, ACM SIGAPL APL Quote Quad, 17:4, (253-255), Online publication date: 1-May-1987.
  826. ACM
    Fullerton J (1987) An alternate design for Fortran 8X, ACM SIGPLAN Fortran Forum, 6:3, (31-40), Online publication date: 1-Dec-1987.
  827. ACM
    Manna Z and Pnueli A Specification and verification of concurrent programs by A ∀ automata Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (1-2)
  828. ACM
    Murphy S and Shankar A A verified connection management protocol for the transport layer Proceedings of the ACM workshop on Frontiers in computer communications technology, (110-125)
  829. ACM
    Murphy S and Shankar A (1987) A verified connection management protocol for the transport layer, ACM SIGCOMM Computer Communication Review, 17:5, (110-125), Online publication date: 1-Oct-1987.
  830. ACM
    Perry D Software interconnection models Proceedings of the 9th international conference on Software Engineering, (61-69)
  831. ACM
    Shankar A and Lam S (1987) Time-dependent distributed systems, Distributed Computing, 2:2, (61-79), Online publication date: 1-Jun-1987.
  832. ACM
    Shankar A (1986) A verified sliding window protocol with variable flow control, ACM SIGCOMM Computer Communication Review, 16:3, (84-91), Online publication date: 1-Aug-1986.
  833. ACM
    Boehm H and Demers A Implementing RUSSELL Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (186-195)
  834. ACM
    Boehm H and Demers A (2019) Implementing RUSSELL, ACM SIGPLAN Notices, 21:7, (186-195), Online publication date: 1-Jul-1986.
  835. ACM
    Ito N, Sato M, Kuno E and Rokusawa K (1986) The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D, ACM SIGARCH Computer Architecture News, 14:2, (149-156), Online publication date: 1-May-1986.
  836. ACM
    Shankar A A verified sliding window protocol with variable flow control Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, (84-91)
  837. ACM
    Habermann A Technological advances in software engineering Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (29-37)
  838. ACM
    Shock R An algorithm for batch updates Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (233-236)
  839. ACM
    Botting R (1986) Into the fourth dimension—an introduction to dynamic analysis and design, ACM SIGSOFT Software Engineering Notes, 11:2, (36-48), Online publication date: 1-Apr-1986.
  840. ACM
    Lengauer C and Huang C A mechanically certified theorem about optimal concurrency of sorting networks Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (307-317)
  841. ACM
    Bentley J, Sleator D, Tarjan R and Wei V (1986) A locally adaptive data compression scheme, Communications of the ACM, 29:4, (320-330), Online publication date: 1-Apr-1986.
  842. ACM
    Berzins V, Gray M and Naumann D (1986) Abstraction-based software development, Communications of the ACM, 29:5, (402-415), Online publication date: 1-May-1986.
  843. ACM
    Sergot M, Sadri F, Kowalski R, Kriwaczek F, Hammond P and Cory H (1986) The British Nationality Act as a logic program, Communications of the ACM, 29:5, (370-386), Online publication date: 1-May-1986.
  844. ACM
    Robillard P (1986) Schematic pseudocode for program constructs and its computer automation by SCHEMACODE, Communications of the ACM, 29:11, (1072-1089), Online publication date: 1-Nov-1986.
  845. ACM
    Ito N, Sato M, Kuno E and Rokusawa K The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D Proceedings of the 13th annual international symposium on Computer architecture, (149-156)
  846. ACM
    Saaltink M (1985) Relational semantics, ACM SIGSOFT Software Engineering Notes, 10:4, (82-83), Online publication date: 1-Aug-1985.
  847. ACM
    (1985) Old-fashioned logic for verification, ACM SIGSOFT Software Engineering Notes, 10:4, (87-89), Online publication date: 1-Aug-1985.
  848. ACM
    Gries D and Prins J (1985) A new notion of encapsulation, ACM SIGPLAN Notices, 20:7, (131-139), Online publication date: 1-Jul-1985.
  849. ACM
    Nelson G (2019) Juno, a constraint-based graphics system, ACM SIGGRAPH Computer Graphics, 19:3, (235-243), Online publication date: 1-Jul-1985.
  850. ACM
    Nelson G Juno, a constraint-based graphics system Proceedings of the 12th annual conference on Computer graphics and interactive techniques, (235-243)
  851. ACM
    Gries D and Prins J A new notion of encapsulation Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, (131-139)
  852. ACM
    Cohen A and Myers T (1985) Information sharing, ACM SIGPLAN Notices, 20:9, (27-31), Online publication date: 1-Sep-1985.
  853. ACM
    Ellman T Generalizing logic circuit designs by analyzing proofs of correctness Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1, (643-646)
  854. ACM
    Diaz-Herrera J (1984) Pragmatic problems with step-wise refinement program development, ACM SIGSOFT Software Engineering Notes, 9:2, (80-88), Online publication date: 1-Apr-1984.
  855. ACM
    Gries R and Woodward J (1984) Software tools used in the development of a VLSI VAX Microcomputer, ACM SIGMICRO Newsletter, 15:4, (55-58), Online publication date: 1-Dec-1984.
  856. ACM
    Damm W (1984) An axiomatization of low-level parallelism in microarchitectures, ACM SIGMICRO Newsletter, 15:4, (314-323), Online publication date: 1-Dec-1984.
  857. ACM
    Pritchard P (1984) Some negative results concerning prime number generators, Communications of the ACM, 27:1, (53-57), Online publication date: 1-Jan-1984.
  858. ACM
    Hehner E (1984) Predicative programming Part I, Communications of the ACM, 27:2, (134-143), Online publication date: 1-Feb-1984.
  859. ACM
    Gries R and Woodward J Software tools used in the development of a VLSI VAX Microcomputer Proceedings of the 17th annual workshop on Microprogramming, (55-58)
  860. ACM
    Damm W An axiomatization of low-level parallelism in microarchitectures Proceedings of the 17th annual workshop on Microprogramming, (314-323)
  861. ACM
    Reps T and Alpern B Interactive proof checking Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (36-45)
  862. ACM
    Francez N and Kozen D Generalized fair termination Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (46-53)
  863. ACM
    Shapiro E Systems programming in concurrent prolog Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (93-105)
  864. ACM
    Halpern J A good Hoare axiom system for an ALGOL-like language Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (262-271)
  865. ACM
    Givler J and Kieburtz R Schema recognition for program transformations Proceedings of the 1984 ACM Symposium on LISP and functional programming, (74-84)
  866. ACM
    Gerth R Transition logic Proceedings of the sixteenth annual ACM symposium on Theory of computing, (39-50)
  867. ACM
    Barringer H, Kuiper R and Pnueli A Now you may compose temporal logic specifications Proceedings of the sixteenth annual ACM symposium on Theory of computing, (51-63)
  868. ACM
    Harel D A general result on infinite trees and its applications Proceedings of the sixteenth annual ACM symposium on Theory of computing, (418-427)
  869. ACM
    Szymanski B, Prywes N, Lock E and Pnueli A On the scope of static checking in definitional languages Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, (197-207)
  870. ACM
    Grumberg O, Francez N and Katz S Fair termination of communicating processes Proceedings of the third annual ACM symposium on Principles of distributed computing, (254-265)
  871. ACM
    Clow G A global routing algorithm for general cells Proceedings of the 21st Design Automation Conference, (45-51)
  872. ACM
    Kelly V The CRITTER system Proceedings of the 21st Design Automation Conference, (419-425)
  873. ACM
    Chong K and Hsia P Diagnostic system for distributed software Proceedings of the 7th international conference on Software engineering, (30-40)
  874. ACM
    Chyou S Structure charts and program correctness proofs Proceedings of the 7th international conference on Software engineering, (486-498)
  875. ACM
    Wagnon G and Maine D (1983) An E-Machine workbench, ACM SIGMICRO Newsletter, 14:4, (101-111), Online publication date: 1-Dec-1983.
  876. ACM
    Winner R and Carter E (1983) Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, 14:4, (128-139), Online publication date: 1-Dec-1983.
  877. ACM
    Wagner A and Dasgupta S (1983) Axiomatic proof rules for a machine-specific microprogramming language, ACM SIGMICRO Newsletter, 14:4, (151-158), Online publication date: 1-Dec-1983.
  878. ACM
    Kessels J (1983) On-the-fly optimization of data structures, Communications of the ACM, 26:11, (895-901), Online publication date: 1-Nov-1983.
  879. ACM
    Wile D (1983) Program developments, Communications of the ACM, 26:11, (902-911), Online publication date: 1-Nov-1983.
  880. ACM
    Jacob R (1983) Using formal specifications in the design of a human-computer interface, Communications of the ACM, 26:4, (259-264), Online publication date: 1-Apr-1983.
  881. ACM
    Parnas D (1983) A generalized control structure and its formal definition, Communications of the ACM, 26:8, (572-581), Online publication date: 1-Aug-1983.
  882. ACM
    Remmers J (1983) Should we really teach more about the GOTO? (a reaction to an article by H.D. Shapiro), ACM SIGCSE Bulletin, 15:3, (36-39), Online publication date: 1-Sep-1983.
  883. ACM
    Molluzzo J (1983) A curriculum for a University course in advanced COBOL, ACM SIGCSE Bulletin, 15:3, (44-49), Online publication date: 1-Sep-1983.
  884. ACM
    Nelson G Verifying reachability invariants of linked structures Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (38-47)
  885. ACM
    Paige R Transformational programming Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (73-87)
  886. ACM
    Culik K and Rizki M Logic versus mathematics in computer science education Proceedings of the fourteenth SIGCSE technical symposium on Computer science education, (14-20)
  887. ACM
    Moitra A Synthesis of communicating processes Proceedings of the second annual ACM symposium on Principles of distributed computing, (123-130)
  888. ACM
    Francis R (1983) Containment defines a class of recursive data structures, ACM SIGPLAN Notices, 18:4, (58-64), Online publication date: 1-Apr-1983.
  889. ACM
    Culik K and Rizki M (1983) Logic versus mathematics in computer science education, ACM SIGCSE Bulletin, 15:1, (14-20), Online publication date: 1-Feb-1983.
  890. ACM
    Pitchumani V and Stabler E (1983) An Inductive Assertion Method for Register Transfer Level Design Verification, IEEE Transactions on Computers, 32:12, (1073-1080), Online publication date: 1-Dec-1983.
  891. ACM
    McFarland M and Parker A (1983) An Abstract Model of Behavior for Hardware Descriptions, IEEE Transactions on Computers, 32:7, (621-637), Online publication date: 1-Jul-1983.
  892. ACM
    Sleator D and Tarjan R Self-adjusting binary trees Proceedings of the fifteenth annual ACM symposium on Theory of computing, (235-245)
  893. ACM
    Gabow H and Tarjan R A linear-time algorithm for a special case of disjoint set union Proceedings of the fifteenth annual ACM symposium on Theory of computing, (246-251)
  894. ACM
    Olderog E A characterization of Hoare's logic for programs with Pascal-like procedures Proceedings of the fifteenth annual ACM symposium on Theory of computing, (320-329)
  895. ACM
    Dixon J, McLean J and Parnas D (1982) Rapid prototyping by means of abstract module specifications written as trace axioms, ACM SIGSOFT Software Engineering Notes, 7:5, (45-49), Online publication date: 1-Dec-1982.
  896. ACM
    Dixon J, McLean J and Parnas D Rapid prototyping by means of abstract module specifications written as trace axioms Proceedings of the workshop on Rapid prototyping, (45-49)
  897. ACM
    Li W An operational semantics of multitasking and exception handling in Ada Proceedings of the AdaTEC Conference on Ada, (138-151)
  898. ACM
    Landwehr C (1982) Technical correspondence, Communications of the ACM, 25:4, (292), Online publication date: 1-Apr-1982.
  899. ACM
    Suzuki N (1982) Analysis of pointer “rotation”, Communications of the ACM, 25:5, (330-335), Online publication date: 1-May-1982.
  900. ACM
    Levy M (1982) Modularity and the sequential file update problem, Communications of the ACM, 25:6, (362-367), Online publication date: 1-Jun-1982.
  901. ACM
    Wills J (1982) Technical correspondence, Communications of the ACM, 25:6, (389-390), Online publication date: 1-Jun-1982.
  902. ACM
    Crockett D (1982) Technical correspondence, Communications of the ACM, 25:6, (391-392), Online publication date: 1-Jun-1982.
  903. ACM
    Jeffords R (1982) Technical correspondence, Communications of the ACM, 25:6, (390-392), Online publication date: 1-Jun-1982.
  904. ACM
    Coulter N Information hiding, the Intel iAPX 432,and Ada Proceedings of the 20th annual Southeast regional conference, (160-167)
  905. ACM
    Reddy U Programming with sequences Proceedings of the 20th annual Southeast regional conference, (189-198)
  906. ACM
    Boehm H A logic for expressions with side-effects Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (268-280)
  907. ACM
    Clarke E, German S and Halpern J On effective axiomatizations of Hoare logics Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (309-321)
  908. ACM
    Sherman R, Pnueli A and Harel D Is the interesting part of process logic uninteresting? Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (347-360)
  909. ACM
    Wise M A parallel Prolog Proceedings of the 1982 ACM symposium on LISP and functional programming, (56-66)
  910. ACM
    Schlichting R and Schneider F Understanding and using asynchronous message passing (Preliminary Version) Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, (141-147)
  911. ACM
    Cristian F (1982) Exception Handling and Software Fault Tolerance, IEEE Transactions on Computers, 31:6, (531-540), Online publication date: 1-Jun-1982.
  912. ACM
    de Bakker J and Zucker J Denotational semantics of concurrency Proceedings of the fourteenth annual ACM symposium on Theory of computing, (153-158)
  913. ACM
    Parnas D (1981) Lastig gepreek uit nuenen, ACM SIGSOFT Software Engineering Notes, 6:3, (64-65), Online publication date: 1-Jul-1981.
  914. ACM
    Hamilton D (1981) We have met the enemy and she is us, ACM SIGSOFT Software Engineering Notes, 6:2, (18-22), Online publication date: 1-Apr-1981.
  915. ACM
    Dwyer B (1981) One more time — how to update a master file, Communications of the ACM, 24:1, (3-8), Online publication date: 1-Jan-1981.
  916. ACM
    Andrews G (1981) Parallel programs, Communications of the ACM, 24:3, (140-145), Online publication date: 1-Mar-1981.
  917. ACM
    Peterson W (1981) Technical correspondence, Communications of the ACM, 24:8, (536-538), Online publication date: 1-Aug-1981.
  918. ACM
    Dwyer B (1981) Technical correspondence, Communications of the ACM, 24:8, (538-539), Online publication date: 1-Aug-1981.
  919. ACM
    Cartwright R, Hood R and Matthews P Paths Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-27)
  920. ACM
    Polak W Program verification based on denotation semantics Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (149-158)
  921. ACM
    Riley D Teaching problem solving in an introductory computer science class Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (244-251)
  922. ACM
    Clark K and Gregory S A relational language for parallel programming Proceedings of the 1981 conference on Functional programming languages and computer architecture, (171-178)
  923. ACM
    Frank G Specification of data structures for FP programs Proceedings of the 1981 conference on Functional programming languages and computer architecture, (221-228)
  924. ACM
    Redwine S (1981) A paradigm for dealing with exceptions, ACM SIGPLAN Notices, 16:5, (36-38), Online publication date: 1-May-1981.
  925. ACM
    Riley D (1981) Teaching problem solving in an introductory computer science class, ACM SIGCSE Bulletin, 13:1, (244-251), Online publication date: 1-Feb-1981.
  926. ACM
    Narayana K and Clint M (1981) On the formal treatment of a permutation finding program, ACM SIGPLAN Notices, 16:10, (62-73), Online publication date: 1-Oct-1981.
  927. ACM
    Kylov H and Nudelman S (1981) Structured programs in PL/I, ACM SIGPLAN Notices, 16:4, (68-69), Online publication date: 1-Apr-1981.
  928. ACM
    Richards D (1981) On the file update problems, ACM SIGCSE Bulletin, 13:3, (38-39), Online publication date: 1-Sep-1981.
  929. ACM
    Brodie M On modelling behavioural semantics of databases Proceedings of the seventh international conference on Very Large Data Bases - Volume 7, (32-42)
  930. ACM
    Borgida A and Wong H Data models and data manipulation languages Proceedings of the seventh international conference on Very Large Data Bases - Volume 7, (260-271)
  931. ACM
    McFarland M On proving the correctness of optimizing transformations in a digital design automation system Proceedings of the 18th Design Automation Conference, (90-97)
  932. ACM
    Lingard R A software methodology for building interactive tools Proceedings of the 5th international conference on Software engineering, (394-399)
  933. ACM
    Logrippo L Input-directed program design Proceedings of the ACM '81 conference, (263-267)
  934. ACM
    Beale N and Jones P An ADATM compatible specification language Proceedings of the ACM '81 conference, (139-143)
  935. ACM
    Wasserman A The design of PLAIN Proceedings of the May 19-22, 1980, national computer conference, (731-740)
  936. ACM
    Meyer A and Halpern J Axiomatic definitions of programming languages Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (203-212)
  937. ACM
    Guttag J and Horning J Formal specification as a design tool Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (251-261)
  938. ACM
    Ellison R A programming sequence for the liberal arts college Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (161-164)
  939. ACM
    Orr K Structured programming in the 1980s Proceedings of the ACM 1980 annual conference, (323-326)
  940. ACM
    Boute R (1980) Simplifying ADA by removing limitations, ACM SIGPLAN Notices, 15:2, (17-29), Online publication date: 1-Feb-1980.
  941. ACM
    Cohen N (1980) Gödel numbers, ACM SIGPLAN Notices, 15:4, (70-74), Online publication date: 1-Apr-1980.
  942. ACM
    Johnson L (1980) do considered reflectively, ACM SIGPLAN Notices, 15:12, (43-43), Online publication date: 1-Dec-1980.
  943. ACM
    Johnson L (1980) do considered obviously odd in three dimensions, ACM SIGPLAN Notices, 15:12, (44-44), Online publication date: 1-Dec-1980.
  944. ACM
    Ellison R (1980) A programming sequence for the liberal arts college, ACM SIGCSE Bulletin, 12:1, (161-164), Online publication date: 1-Feb-1980.
  945. ACM
    Moss C (1980) Structured programming with loop statements, ACM SIGPLAN Notices, 15:1, (86-94), Online publication date: 1-Jan-1980.
  946. ACM
    Bernstein P, Blaustein B and Clarke E Fast maintenance of semantic integrity assertions using redundant aggregate data Proceedings of the sixth international conference on Very Large Data Bases - Volume 6, (126-136)
  947. ACM
    Kung H and Lehman P (1980) Concurrent manipulation of binary search trees, ACM Transactions on Database Systems (TODS), 5:3, (354-382), Online publication date: 1-Sep-1980.
  948. ACM
    Pratt V Dynamic algebras and the nature of induction Proceedings of the twelfth annual ACM symposium on Theory of computing, (22-28)
  949. ACM
    Reynolds J (1979) Reasoning about arrays, Communications of the ACM, 22:5, (290-299), Online publication date: 1-May-1979.
  950. ACM
    Winograd T (1979) Beyond programming languages, Communications of the ACM, 22:7, (391-401), Online publication date: 1-Jul-1979.
  951. ACM
    Constable R and Johnson S A PL/CV precis Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (7-20)
  952. ACM
    Pratt V Process logic Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (93-100)
  953. ACM
    Greif I and Meyer A Specifying programming language semantics Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (180-189)
  954. ACM
    Andler S Predicate path expressions Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (226-236)
  955. ACM
    Cousot P and Cousot R Systematic design of program analysis frameworks Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (269-282)
  956. ACM
    Hyde D, Gay B and Utter D The integration of a Problem Solving Process in the first course Proceedings of the tenth SIGCSE technical symposium on Computer science education, (54-59)
  957. ACM
    Trickey H and Lee E Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer Proceedings of the tenth SIGCSE technical symposium on Computer science education, (240-244)
  958. ACM
    Meertens L Abstracto 84 Proceedings of the 1979 annual conference, (33-39)
  959. ACM
    Adams J, Armstrong J and Smartt M Assertional checking and symbolic execution Proceedings of the 1979 annual conference, (152-156)
  960. ACM
    Calm F and White J An extension to algebraic specifications to incorporate state behavior Proceedings of the 1979 annual conference, (212-220)
  961. ACM
    Anson E The semantics of graphical input Proceedings of the 6th annual conference on Computer graphics and interactive techniques, (113-120)
  962. ACM
    Hyde D, Gay B and Utter D (1979) The integration of a Problem Solving Process in the first course, ACM SIGCSE Bulletin, 11:1, (54-59), Online publication date: 1-Feb-1979.
  963. ACM
    Trickey H and Lee E (1979) Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer, ACM SIGCSE Bulletin, 11:1, (240-244), Online publication date: 1-Feb-1979.
  964. ACM
    Denvir B (1979) On orthogonality in programming languages, ACM SIGPLAN Notices, 14:7, (18-30), Online publication date: 1-Jul-1979.
  965. ACM
    Anson E (2019) The semantics of graphical input, ACM SIGGRAPH Computer Graphics, 13:2, (113-120), Online publication date: 1-Aug-1979.
  966. ACM
    Keller R (1979) On selective and repetitive constructs, ACM SIGPLAN Notices, 14:11, (60-63), Online publication date: 1-Nov-1979.
  967. ACM
    Lamport L (1979) A general construction for expressing repetition, ACM SIGPLAN Notices, 14:3, (38-42), Online publication date: 1-Mar-1979.
  968. ACM
    Boehm B Software engineering-as it is Proceedings of the 4th international conference on Software engineering, (11-21)
  969. ACM
    Ploedereder E Pragmatic techniques for program analysis and verification Proceedings of the 4th international conference on Software engineering, (63-72)
  970. ACM
    Blikle A On correct program development Proceedings of the 4th international conference on Software engineering, (164-173)
  971. ACM
    Wertz H A system to improve incorrect programs Proceedings of the 4th international conference on Software engineering, (286-293)
  972. ACM
    Budkowski S and Dembinski P (2019) Firmware versus software verification, ACM SIGMICRO Newsletter, 9:4, (119-127), Online publication date: 1-Dec-1978.
  973. ACM
    Dasgupta S (1978) Towards a microprogramming language schema, ACM SIGMICRO Newsletter, 9:4, (144-153), Online publication date: 1-Dec-1978.
  974. ACM
    Wertz H (1978) A system to understand incorrect programs, ACM Lisp Bulletin:2, (27-34), Online publication date: 1-Jul-1978.
  975. ACM
    Backus J (1978) Can programming be liberated from the von Neumann style?, Communications of the ACM, 21:8, (613-641), Online publication date: 1-Aug-1978.
  976. ACM
    McMaster C (1978) An analysis of algorithms for the Dutch National Flag Problem, Communications of the ACM, 21:10, (842-846), Online publication date: 1-Oct-1978.
  977. ACM
    Friedman D and Wise D (1978) A note on conditional expressions, Communications of the ACM, 21:11, (931-933), Online publication date: 1-Nov-1978.
  978. ACM
    Harel D and Pratt V Nondeterminism in logics of programs Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (203-213)
  979. ACM
    Kemp F (2019) Design of a structured APL, ACM SIGAPL APL Quote Quad, 9:1, (11-13), Online publication date: 1-Sep-1978.
  980. ACM
    Mohan C (1978) Survey of recent operating systems research, designs and implementations, ACM SIGOPS Operating Systems Review, 12:1, (53-89), Online publication date: 1-Jan-1978.
  981. ACM
    Biggerstaff T Factored Specifications In The Synthesis Of LISP Functions Proceedings of the 1978 annual conference, (393-402)
  982. ACM
    Nordström B Assignments and high level data types Proceedings of the 1978 annual conference - Volume 2, (630-638)
  983. ACM
    Duran J Heuristics for program synthesis using loop invariants Proceedings of the 1978 annual conference - Volume 2, (891-900)
  984. ACM
    Postma S (1978) FEA, ACM SIGPLAN Notices, 13:7, (43-59), Online publication date: 1-Jul-1978.
  985. ACM
    Chvalovsky V Computer science education at universities Papers of the SIGCSE/CSA technical symposium on Computer science education, (41-47)
  986. ACM
    Weiner L The roots of structured programming Papers of the SIGCSE/CSA technical symposium on Computer science education, (243-254)
  987. ACM
    Chvalovsky V (1978) Computer science education at universities, ACM SIGCSE Bulletin, 10:1, (41-47), Online publication date: 1-Feb-1978.
  988. ACM
    Weiner L (1978) The roots of structured programming, ACM SIGCSE Bulletin, 10:1, (243-254), Online publication date: 1-Feb-1978.
  989. ACM
    (2019) Letters to the Editor, Interfaces, 8:3, (113-117), Online publication date: 1-May-1978.
  990. ACM
    Bergland G Structured design methodologies Proceedings of the 15th Design Automation Conference, (475-493)
  991. ACM
    Boyd D and Pizzarello A Introduction to the WELLMADE design methodology Proceedings of the 3rd international conference on Software engineering, (94-100)
  992. ACM
    Parnas D Designing software for ease of extension and contraction Proceedings of the 3rd international conference on Software engineering, (264-277)
  993. ACM
    Budkowski S and Dembinski P Firmware versus software verification Proceedings of the 11th annual workshop on Microprogramming, (119-127)
  994. ACM
    Dasgupta S Towards a microprogramming language schema Proceedings of the 11th annual workshop on Microprogramming, (144-153)
  995. ACM
    Backus J The history of Fortran I, II, and III History of programming languages, (25-74)
  996. ACM
    Pratt V A practical decision method for propositional dynamic logic (Preliminary Report) Proceedings of the tenth annual ACM symposium on Theory of computing, (326-337)
  997. ACM
    Backus J (1978) The history of FORTRAN I, II, and III, ACM SIGPLAN Notices, 13:8, (165-180), Online publication date: 1-Aug-1978.
  998. ACM
    Popek G, Horning J, Lampson B, Mitchell J and London R (1977) Notes on the design of Euclid, ACM SIGPLAN Notices, 12:3, (11-18), Online publication date: 1-Mar-1977.
  999. ACM
    Popek G, Horning J, Lampson B, Mitchell J and London R (1977) Notes on the design of Euclid, ACM SIGOPS Operating Systems Review, 11:2, (11-18), Online publication date: 1-Apr-1977.
  1000. ACM
    Popek G, Horning J, Lampson B, Mitchell J and London R (1977) Notes on the design of Euclid, ACM SIGSOFT Software Engineering Notes, 2:2, (11-18), Online publication date: 1-Mar-1977.
  1001. ACM
    Dershowitz N and Manna Z The evolution of programs Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (144-154)
  1002. ACM
    Hehner E Structuring Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (201-205)
  1003. ACM
    Earnshaw R Line generation for incremental and raster devices Proceedings of the 4th annual conference on Computer graphics and interactive techniques, (199-205)
  1004. ACM
    Popek G, Horning J, Lampson B, Mitchell J and London R Notes on the design of Euclid Proceedings of an ACM conference on Language design for reliable software, (11-18)
  1005. ACM
    Shabe G, Peck S and Hickey R Team dynamics in systems development and management Proceedings of the fifteenth annual SIGCPR conference, (164-189)
  1006. ACM
    Harel D, Meyer A and Pratt V Computability and completeness in logics of programs (Preliminary Report) Proceedings of the ninth annual ACM symposium on Theory of computing, (261-268)
  1007. ACM
    Constable R On the theory of programming logics Proceedings of the ninth annual ACM symposium on Theory of computing, (269-285)
  1008. ACM
    Hennessy M and Ashcroft E Parameter-passing mechanisms and nondeterminism Proceedings of the ninth annual ACM symposium on Theory of computing, (306-311)
  1009. ACM
    Steele G Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA Proceedings of the 1977 annual conference, (153-162)
  1010. ACM
    Cousot P and Cousot R Automatic synthesis of optimal invariant assertions Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (1-12)
  1011. ACM
    Yelowitz L and Duncan A Abstractions, instantiations, and proofs of marking algorithms Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (13-21)
  1012. ACM
    Manna Z and Waldinger R The automatic synthesis of recursive programs Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (29-36)
  1013. ACM
    van der Meulen S ALGOL 68 might-have-beens Proceedings of the Strathclyde ALGOL 68 conference, (1-18)
  1014. ACM
    Gerber A (1977) Process synchronization by counter variables, ACM SIGOPS Operating Systems Review, 11:4, (6-17), Online publication date: 1-Oct-1977.
  1015. ACM
    Cousot P and Cousot R (2019) Automatic synthesis of optimal invariant assertions, ACM SIGPLAN Notices, 12:8, (1-12), Online publication date: 1-Aug-1977.
  1016. ACM
    Yelowitz L and Duncan A (2019) Abstractions, instantiations, and proofs of marking algorithms, ACM SIGPLAN Notices, 12:8, (13-21), Online publication date: 1-Aug-1977.
  1017. ACM
    Manna Z and Waldinger R (1977) The automatic synthesis of recursive programs, ACM SIGPLAN Notices, 12:8, (29-36), Online publication date: 1-Aug-1977.
  1018. ACM
    Cousot P and Cousot R (1977) Automatic synthesis of optimal invariant assertions, ACM SIGART Bulletin:64, (1-12), Online publication date: 1-Aug-1977.
  1019. ACM
    Yelowitz L and Duncan A (1977) Abstractions, instantiations, and proofs of marking algorithms, ACM SIGART Bulletin:64, (13-21), Online publication date: 1-Aug-1977.
  1020. ACM
    Manna Z and Waldinger R (1977) The automatic synthesis of recursive programs, ACM SIGART Bulletin:64, (29-36), Online publication date: 1-Aug-1977.
  1021. ACM
    van der Meulen S (1977) ALGOL 68 might-have-beens, ACM SIGPLAN Notices, 12:6, (1-18), Online publication date: 1-Jun-1977.
  1022. ACM
    Keller R (1977) On control constructs for constructing programs, ACM SIGPLAN Notices, 12:9, (36-44), Online publication date: 1-Sep-1977.
  1023. ACM
    Lindsey C (1977) Structure charts a structured alternative to flowcharts, ACM SIGPLAN Notices, 12:11, (36-49), Online publication date: 1-Nov-1977.
  1024. ACM
    Sedgwick A (1977) Structuring control in Fortran, ACM SIGPLAN Notices, 12:11, (55-60), Online publication date: 1-Nov-1977.
  1025. ACM
    Earnshaw R (2019) Line generation for incremental and raster devices, ACM SIGGRAPH Computer Graphics, 11:2, (199-205), Online publication date: 1-Aug-1977.
  1026. ACM
    Wegner P Research paradigms in computer science Proceedings of the 2nd international conference on Software engineering, (322-330)
  1027. ACM
    Wegner P (1976) Programming Languages The First 25 Years, IEEE Transactions on Computers, 25:12, (1207-1225), Online publication date: 1-Dec-1976.

Contributors

  • Edsger Wybe Dijkstra profile image
    Edsger Wybe Dijkstra
    The University of Texas at Austin

Index Terms

  1. A Discipline of Programming

      Comments

      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!