Nothing Special   »   [go: up one dir, main page]

skip to main content
Skip header Section
A Discipline of ProgrammingOctober 1997
Publisher:
  • Prentice Hall PTR
  • Upper Saddle River, NJ
  • United States
ISBN:978-0-13-215871-8
Published:01 October 1997
Pages:
240
Skip Bibliometrics Section
Reflects downloads up to 14 Dec 2024Bibliometrics
Abstract

No abstract available.

Cited By

  1. AlBlwi S, Marsit I, Khaireddine B, Ayad A, Loh J and Mili A (2025). Subsumption, correctness and relative correctness, Science of Computer Programming, 239:C, Online publication date: 1-Jan-2025.
  2. ACM
    Xu M, Fu J, Jiang H, Deng Y and Li Z (2024). Termination and Universal Termination Problems for Nondeterministic Quantum Programs, ACM Transactions on Software Engineering and Methodology, 33:8, (1-41), Online publication date: 30-Nov-2024.
  3. Horváth G Teaching Task Specification Efficiently in Introductory Programming Courses in Higher Education Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning, (111-122)
  4. ACM
    Greiner S, Bühlmann N, Ohrndorf M, Tsigkanos C, Nierstrasz O and Kehrer T Automated Generation of Code Contracts: Generative AI to the Rescue? Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (1-14)
  5. ACM
    Belardinelli F, Boureanu I, Malvone V and Rajaona F (2024). An SMT-based Approach to the Verification of Knowledge-Based Programs, Formal Aspects of Computing, 0:0
  6. ACM
    Zhang L, Zilberstein N, Kaminski B and Silva A (2024). Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers, Proceedings of the ACM on Programming Languages, 8:OOPSLA2, (817-845), Online publication date: 8-Oct-2024.
  7. Bordis T, Kodetzki M, Schaefer I and Drusinsky D (2024). From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design, Computer, 57:7, (113-119), Online publication date: 1-Jul-2024.
  8. Tarjan R and Zwick U (2024). Finding strong components using depth-first search, European Journal of Combinatorics, 119:C, Online publication date: 1-Jun-2024.
  9. Nipkow T (2024). Gale-Shapley Verified, Journal of Automated Reasoning, 68:2, Online publication date: 1-Jun-2024.
  10. ACM
    Cousot P (2024). Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation, Proceedings of the ACM on Programming Languages, 8:POPL, (175-208), Online publication date: 5-Jan-2024.
  11. Liu Z, Teng J and Liu B Multi-dimensional Abstraction and Decomposition for Separation of Concerns Dependable Software Engineering. Theories, Tools, and Applications, (152-170)
  12. Ameur-Boulifa R, Corradi Q, Henrio L and Madelaine E Refinements for Open Automata Software Engineering and Formal Methods, (11-29)
  13. Khaireddine B, Zakharchenko A, Martinez M and Mili A (2023). Toward a theory of program repair, Acta Informatica, 60:3, (209-255), Online publication date: 1-Sep-2023.
  14. ACM
    Kovács L Algebra-Based Loop Analysis Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, (41-42)
  15. ACM
    Hesselink W and Buhr P (2023). MCSH, a Lock with the Standard Interface, ACM Transactions on Parallel Computing, 10:2, (1-23), Online publication date: 30-Jun-2023.
  16. ACM
    Avanzini M, Moser G and Schaper M (2023). Automated Expected Value Analysis of Recursive Programs, Proceedings of the ACM on Programming Languages, 7:PLDI, (1050-1072), Online publication date: 6-Jun-2023.
  17. Miyashita Y, Yamauchi T and Sugawara T Distributed Planning with Asynchronous Execution with Local Navigation for Multi-agent Pickup and Delivery Problem Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, (914-922)
  18. ACM
    Banach R (2023). Graded Refinement, Retrenchment, and Simulation, ACM Transactions on Software Engineering and Methodology, 32:2, (1-69), Online publication date: 30-Apr-2023.
  19. ACM
    Feng S, Chen M, Su H, Kaminski B, Katoen J and Zhan N (2023). Lower Bounds for Possibly Divergent Probabilistic Programs, Proceedings of the ACM on Programming Languages, 7:OOPSLA1, (696-726), Online publication date: 6-Apr-2023.
  20. ACM
    Zilberstein N, Dreyer D and Silva A (2023). Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning, Proceedings of the ACM on Programming Languages, 7:OOPSLA1, (522-550), Online publication date: 6-Apr-2023.
  21. ACM
    Bordis T, Runge T, Kittelmann A and Schaefer I (2023). Correctness-by-Construction, ACM SIGAda Ada Letters, 42:2, (75-78), Online publication date: 5-Apr-2023.
  22. ACM
    Feng Y and Xu Y Verification of Nondeterministic Quantum Programs Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, (789-805)
  23. Rajaona F, Boureanu I, Malvone V and Belardinelli F Program Semantics and Verification Technique for AI-Centred Programs Formal Methods, (473-491)
  24. Chen W (2023). Weakest preconditioned goto axiom, Information Processing Letters, 180:C, Online publication date: 1-Feb-2023.
  25. Song Y, Jin Y, Yan W and Yang T Global Exponential Stabilization of Language Constrained Switched Linear Discrete-Time System Based on the S-procedure Approach 2019 IEEE 58th Conference on Decision and Control (CDC), (1565-1570)
  26. Bjorndahl A (2022). The Epistemology of Nondeterminism, Journal of Logic, Language and Information, 31:4, (619-644), Online publication date: 1-Dec-2022.
  27. You Z, Yi X, Xue J, Hu H, Huang J and Cheng Z Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph Structured Object-Oriented Formal Language and Method, (3-11)
  28. Lanzinger F, Ulbrich M and Weigl A A Refactoring for Data Minimisation Using Formal Verification Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, (345-364)
  29. Wu G, Cao L, Tian H and Wang W (2022). HY-DBSCAN, Journal of Parallel and Distributed Computing, 168:C, (57-69), Online publication date: 1-Oct-2022.
  30. ACM
    Haslbeck M and Lammich P (2022). For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM, ACM Transactions on Programming Languages and Systems, 44:3, (1-36), Online publication date: 30-Sep-2022.
  31. ACM
    Avanzini M, Moser G, Pechoux R, Perdrix S and Zamdzhiev V Quantum Expectation Transformers for Cost Analysis Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-13)
  32. Navarro M and Olmedo F (2022). Slicing of probabilistic programs based on specifications, Science of Computer Programming, 220:C, Online publication date: 1-Aug-2022.
  33. ACM
    Feng Y, Li S and Ying M (2022). Verification of Distributed Quantum Programs, ACM Transactions on Computational Logic, 23:3, (1-40), Online publication date: 31-Jul-2022.
  34. ACM
    Michaelson G (2022). Review of Formal Methods: An Appetizer, Formal Aspects of Computing, 34:2, (1-2), Online publication date: 30-Jun-2022.
  35. ACM
    Bruni R, Giacobazzi R, Gori R and Ranzato F Abstract interpretation repair Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (426-441)
  36. Hähnle R and Huisman M Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools Computing and Software Science, (345-373)
  37. Pascual R, Le Gall P, Arnould A and Belhaouari H (2022). Topological consistency preservation with graph transformation schemes, Science of Computer Programming, 214:C, Online publication date: 1-Feb-2022.
  38. Winkler T, Lehmann J and Katoen J Out of Control: Reducing Probabilistic Models by Control-State Elimination Verification, Model Checking, and Abstract Interpretation, (450-472)
  39. ACM
    Feng Y and Ying M (2021). Quantum Hoare Logic with Classical Variables, ACM Transactions on Quantum Computing, 2:4, (1-43), Online publication date: 31-Dec-2022.
  40. Hoppen A and Noll T A Debugger for Probabilistic Programs Software Engineering and Formal Methods, (282-289)
  41. Dubslaff C, Koopmann P and Turhan A (2021). Enhancing Probabilistic Model Checking with Ontologies, Formal Aspects of Computing, 33:6, (885-921), Online publication date: 1-Dec-2021.
  42. Runge T, Bordis T, Thüm T and Schaefer I Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience Formal Methods Teaching, (101-116)
  43. Ettinger R Lessons of Formal Program Design in Dafny Formal Methods Teaching, (84-100)
  44. ACM
    Wang Z, Zhu S, Man K, Zhu P, Hao Y, Qian Z, Krishnamurthy S, La Porta T and De Lucia M Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, (3384-3399)
  45. Leivant D Algorithmically Broad Languages for Polynomial Time and Space Logic, Language, Information, and Computation, (372-387)
  46. ACM
    Woodcock J Hoare and He’s Unifying Theories of Programming Theories of Programming, (285-316)
  47. ACM
    Hayes I and King S Software Specification Theories of Programming, (251-270)
  48. ACM
    Brookes S and Roscoe A CSP: A Practical Process Algebra Theories of Programming, (187-222)
  49. ACM
    Apt K and Olderog E Assessing the Success and Impact of Hoare’s Logic Theories of Programming, (41-76)
  50. Banach R and Zhu H (2020). Language evolution and healthiness for critical cyber‐physical systems, Journal of Software: Evolution and Process, 33:9, Online publication date: 12-Sep-2021.
  51. Tomaszek S, Speith R and Schürr A (2021). Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques, Software and Systems Modeling (SoSyM), 20:4, (1299-1332), Online publication date: 1-Aug-2021.
  52. Beyer D and Jakobs M (2021). Cooperative verifier-based testing with CoVeriTest, International Journal on Software Tools for Technology Transfer (STTT), 23:3, (313-333), Online publication date: 1-Jun-2021.
  53. Jungers M, Girard A and Fiacchini M Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach 2016 IEEE 55th Conference on Decision and Control (CDC), (5539-5544)
  54. Hesselink W (2021). UNITY and Büchi automata, Formal Aspects of Computing, 33:2, (185-205), Online publication date: 1-Mar-2021.
  55. Bolelli F, Allegretti S and Grana C A Heuristic-Based Decision Tree for Connected Components Labeling of 3D Volumes: Implementation and Reproducibility Notes Reproducible Research in Pattern Recognition, (139-145)
  56. El-Fakih K and Bochmann G (2021). Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers, IEEE Transactions on Software Engineering, 47:1, (1-16), Online publication date: 1-Jan-2021.
  57. Riehle R and Michael J (2021). Improving the Trustworthiness of Software Through Rigorous Data Type Design, Computer, 54:1, (89-95), Online publication date: 1-Jan-2021.
  58. Dhulipala L, Hong C and Shun J (2021). ConnectIt, Proceedings of the VLDB Endowment, 14:4, (653-667), Online publication date: 1-Dec-2020.
  59. ACM
    Lam P, Dietrich J and Pearce D Putting the semantics into semantic versioning Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (157-179)
  60. ACM
    Bordis T, Runge T and Schaefer I Correctness-by-construction for feature-oriented software product lines Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (22-34)
  61. McIver A and Morgan C Correctness by Construction for Probabilistic Programs Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, (216-239)
  62. Gurov D, Hähnle R and Kamburjan E Who Carries the Burden of Modularity? Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, (3-21)
  63. ACM
    Runge T, Knüppel A, Thüm T and Schaefer I Lattice-Based Information Flow Control-by-Construction for Security-by-Design Proceedings of the 8th International Conference on Formal Methods in Software Engineering, (44-54)
  64. Mu S and Chiang T Declarative Pearl: Deriving Monadic Quicksort Functional and Logic Programming, (124-138)
  65. ACM
    Liénardy S and Donnet B GameCode Proceedings of the 2020 ACM Conference on International Computing Education Research, (306-306)
  66. ACM
    Liénardy S Learning Computer Programming around a CAFÉ Proceedings of the 2020 ACM Conference on International Computing Education Research, (318-319)
  67. Raad A, Berdine J, Dang H, Dreyer D, O’Hearn P and Villard J Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic Computer Aided Verification, (225-252)
  68. ACM
    Simon , Karnalim O, Sheard J, Dema I, Karkare A, Leinonen J, Liut M and McCauley R Choosing Code Segments to Exclude from Code Similarity Detection Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, (1-19)
  69. ACM
    Xue J, Cheng Z, Yang Q, You Z, Hu Q and Xie W Methodology and Platform of IS Code Generation Proceedings of the 2020 International Conference on Big Data in Management, (49-57)
  70. Banach R (2020). Automated urban train control with hybrid Event-B, Science of Computer Programming, 190:C, Online publication date: 1-May-2020.
  71. ACM
    Montenegro M, Nieva S, Peña R and Segura C (2020). Extending Liquid Types to Arrays, ACM Transactions on Computational Logic, 21:2, (1-41), Online publication date: 30-Apr-2020.
  72. Jiang J, Zhu H, Li Q, Zhao Y, Zhang S, Gong P and Hong Z (2020). Event-based functional decomposition, Information and Computation, 271:C, Online publication date: 1-Apr-2020.
  73. Jahanian H and McIver A Reasoning with Failures Formal Methods and Software Engineering, (36-52)
  74. ACM
    Bordis T, Runge T, Knüppel A, Thüm T and Schaefer I Variational correctness-by-construction Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems, (1-9)
  75. Eriksson J and Parsa M A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams Practical Aspects of Declarative Languages, (196-212)
  76. ACM
    O'Hearn P (2019). Incorrectness logic, Proceedings of the ACM on Programming Languages, 4:POPL, (1-32), Online publication date: 1-Jan-2020.
  77. Apt K and Olderog E (2019). Fifty years of Hoare’s logic, Formal Aspects of Computing, 31:6, (751-807), Online publication date: 1-Dec-2019.
  78. Wang D, Hoffmann J and Reps T (2019). A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism, Electronic Notes in Theoretical Computer Science (ENTCS), 347:C, (303-324), Online publication date: 30-Nov-2019.
  79. ACM
    Essertel G, Wei G and Rompf T (2019). Precise reasoning with structured time, structured heaps, and collective operations, Proceedings of the ACM on Programming Languages, 3:OOPSLA, (1-30), Online publication date: 10-Oct-2019.
  80. Hayes I and Meinicke L Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges Unifying Theories of Programming, (176-197)
  81. Woodcock J, Cavalcanti A, Foster S, Mota A and Ye K Probabilistic Semantics for RoboChart Unifying Theories of Programming, (80-105)
  82. Runge T, Thüm T, Cleophas L, Schaefer I and Watson B Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study Formal Methods. FM 2019 International Workshops, (388-405)
  83. Rabehaja T, Pal S and Hitchens M (2019). Design and implementation of a secure and flexible access-right delegation for resource constrained environments, Future Generation Computer Systems, 99:C, (593-608), Online publication date: 1-Oct-2019.
  84. 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.
  85. Dubslaff C Compositional Feature-Oriented Systems Software Engineering and Formal Methods, (162-180)
  86. Echenim M, Peltier N and Sellami Y Ilinva: Using Abduction to Generate Loop Invariants Frontiers of Combining Systems, (77-93)
  87. ACM
    O'Connor L Deferring the details and deriving programs Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, (27-39)
  88. Miyazawa A, Cavalcanti A and Wellings A (2019). , Science of Computer Programming, 181:C, (140-176), Online publication date: 15-Jul-2019.
  89. Korečko Š Utilizing Rail Traffic Control Simulator in Verified Software Development Courses Composability, Comprehensibility and Correctness of Working Software, (98-135)
  90. 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.
  91. 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)
  92. 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)
  93. 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)
  94. Alam O Towards an agile concern-driven development process Proceedings of the International Conference on Software and System Processes, (155-159)
  95. Liu Z, Bowen J, Liu B, Tyszberowicz S and Zhang T Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling Engineering Trustworthy Software Systems, (159-219)
  96. 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.
  97. Rahnamoon S and Murray Wonham W State-Based Control of Timed Discrete-Event Systems 2018 IEEE Conference on Decision and Control (CDC), (4833-4838)
  98. 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.
  99. Schaefer I, Runge T, Knüppel A, Cleophas L, Kourie D and Watson B Towards Confidentiality-by-Construction Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (502-515)
  100. Jones N On Modeling and Programming Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (22-34)
  101. ACM
    Kaminski B, Katoen J, Matheja C and Olmedo F (2018). Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, Journal of the ACM, 65:5, (1-68), Online publication date: 31-Oct-2018.
  102. ACM
    Danicic S and Laurence M (2018). Static Backward Slicing of Non-deterministic Programs and Systems, ACM Transactions on Programming Languages and Systems, 40:3, (1-46), Online publication date: 30-Sep-2018.
  103. Bolelli F, Cancilla M, Baraldi L and Grana C Connected Components Labeling on DRAGs: Implementation and Reproducibility Notes Reproducible Research in Pattern Recognition, (89-93)
  104. 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)
  105. Lepercq É, Blaquière Y and Savaria Y (2018). A pattern-based routing algorithm for a novel electronic system prototyping platform, Integration, the VLSI Journal, 62:C, (224-237), Online publication date: 1-Jun-2018.
  106. 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.
  107. ACM
    Marcozzi M, Bardin S, Kosmatov N, Papadakis M, Prevosto V and Correnson L Time to clean your test objectives Proceedings of the 40th International Conference on Software Engineering, (456-467)
  108. ACM
    Olmedo F, Gretz F, Jansen N, Kaminski B, Katoen J and Mciver A (2018). Conditioning in Probabilistic Programming, ACM Transactions on Programming Languages and Systems, 40:1, (1-50), Online publication date: 31-Mar-2018.
  109. 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: 31-Mar-2018.
  110. 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.
  111. ACM
    Vazou N, Tondwalkar A, Choudhury V, Scott R, Newton R, Wadler P and Jhala R (2017). Refinement reflection: complete verification with SMT, Proceedings of the ACM on Programming Languages, 2:POPL, (1-31), Online publication date: 1-Jan-2018.
  112. ACM
    Grossman S, Abraham I, Golan-Gueta G, Michalevsky Y, Rinetzky N, Sagiv M and Zohar Y (2017). Online detection of effectively callback free objects with applications to smart contracts, Proceedings of the ACM on Programming Languages, 2:POPL, (1-28), Online publication date: 1-Jan-2018.
  113. ACM
    McIver A, Morgan C, Kaminski B and Katoen J (2017). A new proof rule for almost-sure termination, Proceedings of the ACM on Programming Languages, 2:POPL, (1-28), Online publication date: 1-Jan-2018.
  114. 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.
  115. Demasi R, Castro P, Maibaum T and Aguirre N (2017). Simulation relations for fault-tolerance, Formal Aspects of Computing, 29:6, (1013-1050), Online publication date: 1-Nov-2017.
  116. Jain C, Flick P, Pan T, Green O and Aluru S (2017). An Adaptive Parallel Algorithm for Computing Connected Components, IEEE Transactions on Parallel and Distributed Systems, 28:9, (2428-2439), Online publication date: 1-Sep-2017.
  117. 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.
  118. 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)
  119. 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.
  120. Denniston J, Melton A and Rodabaugh S Embedding TopSys into a topological category 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (1-4)
  121. 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)
  122. 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)
  123. 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)
  124. Behringer B, Palz J and Berger T PEoPL Proceedings of the 39th International Conference on Software Engineering, (563-574)
  125. 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.
  126. 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.
  127. Chaudhari D and Damani O (2017). Assumption propagation through annotated programs, Formal Aspects of Computing, 29:3, (495-530), Online publication date: 1-May-2017.
  128. Pinto A and Sangiovanni Vincentelli A (2017). CSL4P, Systems Engineering, 20:3, (220-234), Online publication date: 1-May-2017.
  129. D’Argenio P, Barthe G, Biewer S, Finkbeiner B and Hermanns H Is Your Software on Dope? Programming Languages and Systems, (83-110)
  130. 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.
  131. 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)
  132. 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.
  133. 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.
  134. 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)
  135. ACM
    Aumüller M, Dietzfelbinger M and Klaue P (2016). How Good Is Multi-Pivot Quicksort?, ACM Transactions on Algorithms, 13:1, (1-47), Online publication date: 21-Dec-2016.
  136. 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.
  137. 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.
  138. 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.
  139. 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.
  140. 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)
  141. 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.
  142. 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)
  143. 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)
  144. 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.
  145. 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)
  146. 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)
  147. 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.
  148. 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.
  149. 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.
  150. 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)
  151. 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)
  152. 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)
  153. 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)
  154. (2016). A formalization of programs in first-order logic with a discrete linear order, Artificial Intelligence, 235:C, (1-25), Online publication date: 1-Jun-2016.
  155. 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)
  156. 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.
  157. 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)
  158. ACM
    Gabow H (2016). The Minset-Poset Approach to Representations of Graph Connectivity, ACM Transactions on Algorithms, 12:2, (1-73), Online publication date: 12-Feb-2016.
  159. 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)
  160. 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)
  161. Rebiha R, Moura A and Matringe N (2015). Generating invariants for non-linear loops by linear algebraic methods, Formal Aspects of Computing, 27:5-6, (805-829), Online publication date: 1-Nov-2015.
  162. 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)
  163. 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)
  164. 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)
  165. 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.
  166. Model and program repair via SAT solving Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, (148-157)
  167. 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)
  168. 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.
  169. 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)
  170. 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)
  171. Thimbleby H (2015). Safer User Interfaces: A Case Study in Improving Number Entry, IEEE Transactions on Software Engineering, 41:7, (711-729), Online publication date: 1-Jul-2015.
  172. 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.
  173. 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)
  174. 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)
  175. 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)
  176. 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, 25:3, (1-26), Online publication date: 7-May-2015.
  177. 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.
  178. 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)
  179. 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)
  180. 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.
  181. ACM
    Mostowski W and Ulbrich M Dynamic dispatch for method contracts through abstract predicates Proceedings of the 14th International Conference on Modularity, (109-116)
  182. ACM
    Avni G and Kupferman O (2014). Parameterized Weighted Containment, ACM Transactions on Computational Logic, 16:1, (1-25), Online publication date: 1-Mar-2015.
  183. 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.
  184. Ning Chen and Sunghun Kim (2015). STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution, IEEE Transactions on Software Engineering, 41:2, (198-220), Online publication date: 1-Feb-2015.
  185. 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.
  186. 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)
  187. 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)
  188. Ward M and Zedan H (2014). Provably correct derivation of algorithms using FermaT, Formal Aspects of Computing, 26:5, (993-1031), Online publication date: 1-Sep-2014.
  189. 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)
  190. 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)
  191. 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.
  192. 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)
  193. 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)
  194. 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.
  195. 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)
  196. 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)
  197. ACM
    Furia C, Meyer B and Velder S (2014). Loop invariants, ACM Computing Surveys, 46:3, (1-51), Online publication date: 1-Jan-2014.
  198. 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.
  199. 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)
  200. Stewart A, Gabarro J and Keenan A (2013). Reasoning about orchestrations of web services using partial correctness, Formal Aspects of Computing, 25:6, (833-846), Online publication date: 1-Nov-2013.
  201. Misra J Orchestration Formal Aspects of Component Software, (5-12)
  202. 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.
  203. ACM
    Ko H and Gibbons J Relational algebraic ornaments Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, (37-48)
  204. 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)
  205. 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.
  206. 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)
  207. 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)
  208. Panangaden P Duality in Logic and Computation Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (4-11)
  209. 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)
  210. 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.
  211. 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.
  212. 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)
  213. Avni G and Kupferman O Parameterized weighted containment Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures, (369-384)
  214. Hoare T Generic models of the laws of programming Theories of Programming and Formal Methods, (213-226)
  215. Abrial J Set-theoretic models of computations Theories of Programming and Formal Methods, (1-22)
  216. 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.
  217. Oliveira M, Cavalcanti A and Woodcock J (2013). Unifying theories in ProofPower-Z, Formal Aspects of Computing, 25:1, (133-158), Online publication date: 1-Jan-2013.
  218. 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)
  219. 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)
  220. 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)
  221. 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)
  222. ACM
    van Emden M Matrix code Proceedings of the 14th symposium on Principles and practice of declarative programming, (13-24)
  223. 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)
  224. Jaffar J, Murali V, Navas J and Santosa A Path-Sensitive backward slicing Proceedings of the 19th international conference on Static Analysis, (231-247)
  225. 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)
  226. 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)
  227. ACM
    Zhang C, Lu L, Zhou H, Zhao J and Zhang Z MoonBox Proceedings of the Asia-Pacific Workshop on Systems, (1-6)
  228. ACM
    Groce A and Erwig M Finding common ground: choose, assert, and assume Proceedings of the Ninth International Workshop on Dynamic Analysis, (12-17)
  229. 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)
  230. 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)
  231. Leino K and Yessenov K (2012). Stepwise refinement of heap-manipulating code in Chalice, Formal Aspects of Computing, 24:4-6, (519-535), Online publication date: 1-Jul-2012.
  232. Hoare T and van Staden S (2012). In praise of algebra, Formal Aspects of Computing, 24:4-6, (423-431), Online publication date: 1-Jul-2012.
  233. Morgan C Elementary probability theory in the eindhoven style Proceedings of the 11th international conference on Mathematics of Program Construction, (48-73)
  234. 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)
  235. Guttmann W Unifying correctness statements Proceedings of the 11th international conference on Mathematics of Program Construction, (198-219)
  236. 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.
  237. 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)
  238. ACM
    Hatcliff J, Leavens G, Leino K, Müller P and Parkinson M (2012). Behavioral interface specification languages, ACM Computing Surveys, 44:3, (1-58), Online publication date: 1-Jun-2012.
  239. 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.
  240. Cataño N, Hanvey S and Rueda C Poporo Proceedings of the 50th international conference on Objects, Models, Components, Patterns, (9-16)
  241. 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.
  242. 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)
  243. 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.
  244. 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)
  245. 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)
  246. 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)
  247. 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)
  248. 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.
  249. Panangaden P Dexter kozen's influence on the theory of labelled markov processes Logic and Program Semantics, (334-337)
  250. Hallerstede S and Leuschel M (2011). Experiments in program verification using Event-B, Formal Aspects of Computing, 24:1, (97-125), Online publication date: 1-Jan-2012.
  251. Morgan C (2010). Compositional noninterference from first principles, Formal Aspects of Computing, 24:1, (3-26), Online publication date: 1-Jan-2012.
  252. 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.
  253. McIver A and Morgan C (2011). Compositional refinement in agent-based security protocols, Formal Aspects of Computing, 23:6, (711-737), Online publication date: 1-Nov-2011.
  254. 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)
  255. 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)
  256. 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)
  257. 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.
  258. 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.
  259. 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)
  260. 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)
  261. 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)
  262. Jaffar J, Navas J and Santosa A Unbounded symbolic execution for program verification Proceedings of the Second international conference on Runtime verification, (396-411)
  263. 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)
  264. 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.
  265. 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)
  266. 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)
  267. 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)
  268. Schwartz E, Avgerinos T and Brumley D Q Proceedings of the 20th USENIX conference on Security, (25-25)
  269. Stewart A (2011). A programming model for BSP with partitioned synchronisation, Formal Aspects of Computing, 23:4, (421-432), Online publication date: 1-Jul-2011.
  270. 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)
  271. 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)
  272. Daniels D Position paper Proceedings of the 16th Ada-Europe international conference on Reliable software technologies, (211-213)
  273. 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)
  274. 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.
  275. 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)
  276. 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.
  277. 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)
  278. Möller B Building structured theories Proceedings of the 12th international conference on Relational and algebraic methods in computer science, (1-21)
  279. ACM
    Chen N GATE Proceedings of the 33rd International Conference on Software Engineering, (1078-1081)
  280. ACM
    Bruns G and Huth M (2011). Access control via belnap logic, ACM Transactions on Information and System Security, 14:1, (1-27), Online publication date: 1-May-2011.
  281. Yang F and Jacquot J Scaling up with event-B Proceedings of the Third international conference on NASA Formal methods, (438-452)
  282. 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)
  283. 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.
  284. 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.
  285. Hoare T Recovery blocks Dependable and Historic Computing, (261-266)
  286. Hallerstede S (2011). On the purpose of Event-B proof obligations, Formal Aspects of Computing, 23:1, (133-150), Online publication date: 1-Jan-2011.
  287. 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.
  288. 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)
  289. 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.
  290. Guttmann W Unifying recursion in partial, total and general correctness Proceedings of the Third international conference on Unifying theories of programming, (207-225)
  291. Chen Y Programmable verifiers in imperative programming Proceedings of the Third international conference on Unifying theories of programming, (172-187)
  292. Jifeng H A probabilistic BPEL-like language Proceedings of the Third international conference on Unifying theories of programming, (74-100)
  293. Cavalcanti A and Gaudel M Specification coverage for testing in circus Proceedings of the Third international conference on Unifying theories of programming, (1-45)
  294. Zeyda F and Cavalcanti A Automating refinement of circus programs Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications, (274-290)
  295. 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)
  296. 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)
  297. ACM
    Conery J (2010). Ubiquity symposium 'What is computation?', Ubiquity, 2010:November, Online publication date: 1-Nov-2010.
  298. Sinha N Modular bug detection with inertial refinement Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, (199-206)
  299. ACM
    Hanenberg S (2010). Faith, hope, and love, ACM SIGPLAN Notices, 45:10, (933-946), Online publication date: 17-Oct-2010.
  300. ACM
    Hanenberg S Faith, hope, and love Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (933-946)
  301. Joshi R Programming with miracles Proceedings of the 8th international conference on Integrated formal methods, (27-27)
  302. 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)
  303. 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)
  304. Radke H Correctness of graph programs relative to HR+ conditions Proceedings of the 5th international conference on Graph transformations, (410-412)
  305. 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)
  306. 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)
  307. Duran A, Cavalcanti A and Sampaio A (2010). An algebraic approach to the design of compilers for object-oriented languages, Formal Aspects of Computing, 22:5, (489-535), Online publication date: 1-Sep-2010.
  308. 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)
  309. 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)
  310. Eckardt T and Henkler S Component behavior synthesis for critical systems Proceedings of the First international conference on Architecting Critical Systems, (52-71)
  311. Guttmann W Partial, total and general correctness Proceedings of the 10th international conference on Mathematics of program construction, (157-177)
  312. Berghammer R and Struth G On automated program construction and verification Proceedings of the 10th international conference on Mathematics of program construction, (22-41)
  313. 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.
  314. 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)
  315. 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)
  316. 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)
  317. 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)
  318. Solin K (2010). A sketch of a dynamic epistemic semiring, Information and Computation, 208:5, (594-604), Online publication date: 1-May-2010.
  319. 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.
  320. 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)
  321. Sherif A, Cavalcanti A, Jifeng H and Sampaio A (2010). A process algebraic framework for specification and validation of real-time systems, Formal Aspects of Computing, 22:2, (153-191), Online publication date: 1-Mar-2010.
  322. D'Errico L and Loreti M Property-preserving refinement of concurrent systems Proceedings of the 5th international conference on Trustworthly global computing, (222-236)
  323. 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)
  324. 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)
  325. 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)
  326. 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)
  327. 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)
  328. 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)
  329. 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)
  330. 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.
  331. 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.
  332. Emerson E Meanings of model checking Concurrency, Compositionality, and Correctness, (237-249)
  333. Langmaack H On trojan horses of thompson-goerigk-type, their generation, intrusion, detection and prevention Concurrency, Compositionality, and Correctness, (74-95)
  334. Balliu M and Mastroeni I A weakest precondition approach to robustness Transactions on computational science X, (261-297)
  335. Furia C and Meyer B Inferring loop invariants using postconditions Fields of logic and computation, (277-300)
  336. Meinicke L and Solin K (2010). Refinement algebra for probabilistic programs, Formal Aspects of Computing, 22:1, (3-31), Online publication date: 1-Jan-2010.
  337. Mooij A (2010). Invariant-based reasoning about parameterized security protocols, Formal Aspects of Computing, 22:1, (63-81), Online publication date: 1-Jan-2010.
  338. 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.
  339. Dunne S (2009). Of wlp and CSP, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (35-45), Online publication date: 1-Dec-2009.
  340. 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)
  341. 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)
  342. 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)
  343. 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)
  344. 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)
  345. 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)
  346. 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.
  347. ACM
    Jhala R and Majumdar R (2009). Software model checking, ACM Computing Surveys, 41:4, (1-54), Online publication date: 1-Oct-2009.
  348. 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.
  349. 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.
  350. 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)
  351. 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)
  352. 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)
  353. Nishimura S Refining exceptions in four-valued logic Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation, (113-127)
  354. ACM
    James P and Chalin P ESC4 Proceedings of the 8th international workshop on Specification and verification of component-based systems, (19-26)
  355. 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)
  356. 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.
  357. 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.
  358. 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.
  359. 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)
  360. 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)
  361. ACM
    Chandra S, Fink S and Sridharan M Snugglebug Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, (363-374)
  362. 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)
  363. 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)
  364. 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.
  365. 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.
  366. Morgan C (2009). The Shadow Knows, Science of Computer Programming, 74:8, (629-653), Online publication date: 1-Jun-2009.
  367. ACM
    Chandra S, Fink S and Sridharan M (2009). Snugglebug, ACM SIGPLAN Notices, 44:6, (363-374), Online publication date: 28-May-2009.
  368. Ebnenasir A and Beik R Developing parallel programs Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, (1-8)
  369. 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)
  370. ACM
    Morris J, Bunkenburg A and Tyrrell M (2009). Term transformers, ACM Transactions on Programming Languages and Systems, 31:4, (1-42), Online publication date: 1-May-2009.
  371. Feinerer I and Salzer G (2009). A comparison of tools for teaching formal software verification, Formal Aspects of Computing, 21:3, (293-301), Online publication date: 1-May-2009.
  372. Back R (2009). Invariant based programming: basic approach and teaching experiences, Formal Aspects of Computing, 21:3, (227-244), Online publication date: 1-May-2009.
  373. 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.
  374. 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.
  375. 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.
  376. Schröder L and Mossakowski T (2009). HasCasl, Theoretical Computer Science, 410:12-13, (1217-1260), Online publication date: 20-Mar-2009.
  377. 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.
  378. ACM
    Caspersen M and Kolling M (2009). STREAM, ACM Transactions on Computing Education, 9:1, (1-29), Online publication date: 1-Mar-2009.
  379. 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.
  380. Demirbas M, Arora A and Kulathumani V (2009). Glance, Theoretical Computer Science, 410:6-7, (500-513), Online publication date: 20-Feb-2009.
  381. 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)
  382. 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.
  383. 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)
  384. 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.
  385. Oliveira M, Cavalcanti A and Woodcock J (2009). A UTP semantics for Circus, Formal Aspects of Computing, 21:1-2, (3-32), Online publication date: 1-Feb-2009.
  386. 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.
  387. 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)
  388. 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)
  389. 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.
  390. Gibbons H (2009). 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.
  391. 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)
  392. 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.
  393. Pons C and Garcia D (2008). 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.
  394. 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)
  395. 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)
  396. 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)
  397. 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)
  398. 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)
  399. Seceleanu T and Jantsch A (2008). Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 15-Oct-2008.
  400. Yan L (2008). On foundation of engineering context-sensitive applications, Journal of Mobile Multimedia, 4:3, (185-199), Online publication date: 1-Oct-2008.
  401. 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.
  402. Woodcock J The miracle of reactive programming Proceedings of the 2nd international conference on Unifying theories of programming, (202-217)
  403. Guttmann W Lazy UTP Proceedings of the 2nd international conference on Unifying theories of programming, (82-101)
  404. He J Transaction calculus Proceedings of the 2nd international conference on Unifying theories of programming, (2-21)
  405. 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.
  406. 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.
  407. 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)
  408. Kovács L Aligator Proceedings of the 4th international joint conference on Automated Reasoning, (275-282)
  409. Seceleanu T and Jantsch A (2008). Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 1-Aug-2008.
  410. 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.
  411. ACM
    Buse R and Weimer W A metric for software readability Proceedings of the 2008 international symposium on Software testing and analysis, (121-130)
  412. 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)
  413. 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)
  414. Meinicke L and Hayes I Probabilistic Choice in Refinement Algebra Proceedings of the 9th international conference on Mathematics of Program Construction, (243-267)
  415. 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)
  416. 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)
  417. 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)
  418. ACM
    Rondon P, Kawaguci M and Jhala R (2008). Liquid types, ACM SIGPLAN Notices, 43:6, (159-169), Online publication date: 30-May-2008.
  419. Bruzzone A, Tremori A and Massei M HLA and human behavior models Proceedings of the 2008 Spring simulation multiconference, (659-666)
  420. 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)
  421. 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)
  422. 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)
  423. 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)
  424. ACM
    Dietz J and Hoogervorst J Enterprise ontology in enterprise engineering Proceedings of the 2008 ACM symposium on Applied computing, (572-579)
  425. ACM
    Bandyopadhyay A (2008). Weakest precondition based verification tool that models spatial ordering, ACM SIGSOFT Software Engineering Notes, 33:2, (1-5), Online publication date: 1-Mar-2008.
  426. Dongol B and Mooij A (2007). Streamlining progress-based derivations of concurrent programs, Formal Aspects of Computing, 20:2, (141-160), Online publication date: 1-Mar-2008.
  427. ACM
    Lahiri S and Qadeer S (2008). Back to the future, ACM SIGPLAN Notices, 43:1, (171-182), Online publication date: 14-Jan-2008.
  428. 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)
  429. Wang Y On mathematical laws of software Transactions on computational science II, (46-83)
  430. Dévai G (2008). Programming language elements for correctness proofs, Acta Cybernetica, 18:3, (403-425), Online publication date: 1-Jan-2008.
  431. Davies S (2008). "Why should i care?", Journal of Computing Sciences in Colleges, 23:3, (90-97), Online publication date: 1-Jan-2008.
  432. 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.
  433. ACM
    Zhou H (2008). A new efficient retiming algorithm derived by formal manipulation, ACM Transactions on Design Automation of Electronic Systems, 13:1, (1-19), Online publication date: 1-Jan-2008.
  434. 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.
  435. ACM
    Fleck A (2007). Prolog as the first programming language, ACM SIGCSE Bulletin, 39:4, (61-64), Online publication date: 1-Dec-2007.
  436. 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.
  437. 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)
  438. 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)
  439. de Groot M Integrating Formal Methods with System Management Formal Methods and Software Engineering, (19-36)
  440. Mooij A Calculating and Composing Progress Properties in Terms of the Leads-to Relation Formal Methods and Software Engineering, (366-386)
  441. ACM
    Ebnenasir A Diconic addition of failsafe fault-tolerance Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (44-53)
  442. 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.
  443. ACM
    Dawson J Compound monads in specification languages Proceedings of the 2007 workshop on Programming languages meets program verification, (3-10)
  444. 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)
  445. 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)
  446. 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)
  447. 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)
  448. 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.
  449. Soukup J and Soukup M (2007). The Inevitable Cycle, Computer, 40:8, (24-30), Online publication date: 1-Aug-2007.
  450. 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)
  451. 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)
  452. Jifeng H UTP semantics for web services Proceedings of the 6th international conference on Integrated formal methods, (353-372)
  453. Hallerstede S and Hoang T Qualitative probabilistic modelling in event-B Proceedings of the 6th international conference on Integrated formal methods, (293-312)
  454. 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)
  455. Solin K A sketch of a dynamic epistemic semiring Proceedings of the 14th international conference on Logic, language, information and computation, (337-350)
  456. 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.
  457. 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)
  458. Jaffar J, Yap R and Zhu K Generalized committed choice Proceedings of the 9th international conference on Coordination models and languages, (191-210)
  459. 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
  460. 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
  461. 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
  462. 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.
  463. 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.
  464. 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.
  465. Knowles K and Flanagan C Type reconstruction for general refinement types Proceedings of the 16th European Symposium on Programming, (505-519)
  466. ACM
    Smith D Requirement enforcement by transformation automata Proceedings of the 6th workshop on Foundations of aspect-oriented languages, (5-14)
  467. 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)
  468. 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)
  469. 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.
  470. 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)
  471. Marché C Towards modular algebraic specifications for pointer programs Rewriting Computation and Proof, (235-258)
  472. Jifeng H Compensable programs Formal methods and hybrid real-time systems, (349-363)
  473. Freitas L and Woodcock J Proving theorems about JML classes Formal methods and hybrid real-time systems, (255-279)
  474. 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)
  475. Jones C Understanding programming language concepts via operational semantics Domain modeling and the duration calculus, (177-235)
  476. ACM
    Backus J Can programming be liberated from the von Neumann style? ACM Turing award lectures
  477. Demirbas M, Arora A and Kulathumani V GLANCE Proceedings of the 10th international conference on Principles of Distributed Systems, (244-259)
  478. Christiansen H and Martinenghi D (2006). On Simplification of Database Integrity Constraints, Fundamenta Informaticae, 71:4, (371-417), Online publication date: 1-Dec-2006.
  479. 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)
  480. Johnsen E, Owe O and Yu I (2006). Creol, Theoretical Computer Science, 365:1, (23-66), Online publication date: 10-Nov-2006.
  481. 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)
  482. 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.
  483. Trčka N Verifying χ models of industrial systems with SPIN Proceedings of the 8th international conference on Formal Methods and Software Engineering, (132-148)
  484. 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)
  485. Meinicke L and Hayes I Reasoning algebraically about probabilistic loops Proceedings of the 8th international conference on Formal Methods and Software Engineering, (380-399)
  486. Leavens G JML’s rich, inherited specifications for behavioral subtypes Proceedings of the 8th international conference on Formal Methods and Software Engineering, (2-34)
  487. Dongol B Formalising progress properties of non-blocking programs Proceedings of the 8th international conference on Formal Methods and Software Engineering, (284-303)
  488. ACM
    Newsome J, Brumley D, Franklin J and Song D Replayer Proceedings of the 13th ACM conference on Computer and communications security, (311-321)
  489. 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)
  490. 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)
  491. 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)
  492. 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)
  493. 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.
  494. 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.
  495. 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)
  496. 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)
  497. ACM
    Steimann F (2006). The paradoxical success of aspect-oriented programming, ACM SIGPLAN Notices, 41:10, (481-497), Online publication date: 16-Oct-2006.
  498. ACM
    Miller A, Donaldson A and Calder M (2006). Symmetry in temporal logic model checking, ACM Computing Surveys, 38:3, (8-es), Online publication date: 30-Sep-2006.
  499. 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.
  500. Habel A, Pennemann K and Rensink A Weakest preconditions for high-level programs Proceedings of the Third international conference on Graph Transformations, (445-460)
  501. Christiansen H and Martinenghi D (2006). On Simplification of Database Integrity Constraints, Fundamenta Informaticae, 71:4, (371-417), Online publication date: 1-Sep-2006.
  502. Schneider S, Hoang T, Robinson K and Treharne H (2006). Tank monitoring: a pAMN case study, Formal Aspects of Computing, 18:3, (308-328), Online publication date: 1-Sep-2006.
  503. Cavalcanti A, Woodcock J and Dunne S (2006). Angelic nondeterminism in the unifying theories of programming, Formal Aspects of Computing, 18:3, (288-307), Online publication date: 1-Sep-2006.
  504. Jhala R, Majumdar R and Xu R Structural invariants Proceedings of the 13th international conference on Static Analysis, (71-87)
  505. 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)
  506. Manes E (2006). Boolean restriction categories and taut monads, Theoretical Computer Science, 360:1, (77-95), Online publication date: 21-Aug-2006.
  507. 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)
  508. 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)
  509. 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)
  510. 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)
  511. 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)
  512. Tchier F From operational to denotational demonic semantics of nondeterministic while loops Proceedings of the 10th WSEAS international conference on Computers, (1327-1335)
  513. 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)
  514. Backhouse R and Michaelis D Exercises in quantifier manipulation Proceedings of the 8th international conference on Mathematics of Program Construction, (69-81)
  515. 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)
  516. Morgan C The shadow knows Proceedings of the 8th international conference on Mathematics of Program Construction, (359-378)
  517. Meinicke L and Hayes I Continuous action system refinement Proceedings of the 8th international conference on Mathematics of Program Construction, (316-337)
  518. Dongol B and Mooij A Progress in deriving concurrent programs Proceedings of the 8th international conference on Mathematics of Program Construction, (140-161)
  519. ACM
    Boute R (2006). Calculational semantics, ACM Transactions on Programming Languages and Systems, 28:4, (747-793), Online publication date: 1-Jul-2006.
  520. ACM
    Ager M, Danvy O and Rohde H (2006). Fast partial evaluation of pattern matching in strings, ACM Transactions on Programming Languages and Systems, 28:4, (696-714), Online publication date: 1-Jul-2006.
  521. 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)
  522. 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)
  523. 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)
  524. ACM
    Evans D and Peck M Inculcating invariants in introductory courses Proceedings of the 28th international conference on Software engineering, (673-678)
  525. 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)
  526. 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)
  527. 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)
  528. 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.
  529. Niculescu V Cost evaluation from specifications for BSP programs Proceedings of the 20th international conference on Parallel and distributed processing, (320-320)
  530. 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)
  531. 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)
  532. 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)
  533. Sims É (2006). Extending separation logic with fixpoints and postponed substitution, Theoretical Computer Science, 351:2, (258-275), Online publication date: 21-Feb-2006.
  534. 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.
  535. 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.
  536. 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)
  537. 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)
  538. 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)
  539. Morgan C and McIver A Programming-logic analysis of fault tolerance Rigorous Development of Complex Fault-Tolerant Systems, (288-305)
  540. 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)
  541. 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)
  542. Meyer B Dependable software Dependable Systems, (1-33)
  543. Reeve G and Reeves S Logic and refinement for charts Proceedings of the 29th Australasian Computer Science Conference - Volume 48, (13-23)
  544. ACM
    Barnett M and Leino K (2005). Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, 31:1, (82-87), Online publication date: 1-Jan-2006.
  545. 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.
  546. 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.
  547. 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)
  548. Ebnenasir A, Kulkarni S and Bonakdarpour B Revising UNITY programs Proceedings of the 9th international conference on Principles of Distributed Systems, (275-290)
  549. 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.
  550. 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)
  551. 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.
  552. 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.
  553. ACM
    Pedersen K and Constantinides C (2005). AspectAda, ACM SIGAda Ada Letters, XXV:4, (79-92), Online publication date: 17-Nov-2005.
  554. 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)
  555. Leino K and Logozzo F Loop invariants on demand Proceedings of the Third Asian conference on Programming Languages and Systems, (119-134)
  556. 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)
  557. 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)
  558. 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)
  559. 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)
  560. 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)
  561. 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)
  562. 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.
  563. 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)
  564. 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)
  565. 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)
  566. 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)
  567. 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)
  568. 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)
  569. 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)
  570. 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.
  571. ACM
    Liew C (2005). Teaching software development skills early in the Curriculum through software engineering, ACM SIGCSE Bulletin, 37:3, (133-137), Online publication date: 1-Sep-2005.
  572. 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.
  573. 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.
  574. 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.
  575. 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.
  576. 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)
  577. 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)
  578. 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)
  579. Ball T, Kupferman O and Yorsh G Abstraction for falsification Proceedings of the 17th international conference on Computer Aided Verification, (67-81)
  580. 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)
  581. 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.
  582. 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.
  583. 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.
  584. ACM
    Klint P, Lämmel R and Verhoef C (2005). Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology, 14:3, (331-380), Online publication date: 1-Jul-2005.
  585. 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.
  586. 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)
  587. 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)
  588. 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)
  589. ACM
    Jhala R and Majumdar R Path slicing Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (38-47)
  590. ACM
    Jhala R and Majumdar R (2005). Path slicing, ACM SIGPLAN Notices, 40:6, (38-47), Online publication date: 12-Jun-2005.
  591. 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.
  592. ACM
    Hamza H Separation of concerns for evolving systems Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, (1-5)
  593. 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)
  594. 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)
  595. Kulkarni S and Ebnenasir A Adding fault-tolerance using pre-synthesized components Proceedings of the 5th European conference on Dependable Computing, (72-90)
  596. 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)
  597. 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)
  598. 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)
  599. 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)
  600. Tix R, Keimel K and Plotkin G (2005). RETRACTED, Electronic Notes in Theoretical Computer Science (ENTCS), 129, (1-104), Online publication date: 1-Apr-2005.
  601. ACM
    Lobo L and Arthur J Local and global analysis Proceedings of the 43rd annual ACM Southeast Conference - Volume 2, (256-261)
  602. 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)
  603. Rashid A and Sawyer P (2005). 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.
  604. 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.
  605. 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.
  606. 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.
  607. 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)
  608. 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)
  609. 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)
  610. ACM
    Grumberg O, Lerda F, Strichman O and Theobald M (2005). Proof-guided underapproximation-widening for multi-process systems, ACM SIGPLAN Notices, 40:1, (122-131), Online publication date: 12-Jan-2005.
  611. 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)
  612. 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.
  613. 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)
  614. Garcia A, Kulesza U and Lucena C Aspectizing multi-agent systems Software Engineering for Multi-Agent Systems III, (121-143)
  615. 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)
  616. 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)
  617. 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)
  618. ACM
    Bruce K (2004). Controversy on how to teach CS 1, ACM SIGCSE Bulletin, 36:4, (29-34), Online publication date: 1-Dec-2004.
  619. 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.
  620. 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)
  621. Pons C, Giandini R, Pérez G, Pesce P, Becker V, Longinotti J and Cengia J PAMPERO UML Modeling Languages and Applications, (246-249)
  622. 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)
  623. 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, 13:4, (359-430), Online publication date: 1-Oct-2004.
  624. 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)
  625. 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)
  626. Jifeng H and Naiyong J Integrating variants of DC Proceedings of the First international conference on Theoretical Aspects of Computing, (14-34)
  627. Fiadeiro J Software services Proceedings of the First international conference on Theoretical Aspects of Computing, (1-13)
  628. 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)
  629. ACM
    Blume M and McAllester D (2004). A sound (and complete) model of contracts, ACM SIGPLAN Notices, 39:9, (189-200), Online publication date: 19-Sep-2004.
  630. Zhang J Symbolic Execution of Program Paths Involving Pointer and Structure Variables Proceedings of the Quality Software, Fourth International Conference, (87-92)
  631. ACM
    Ginat D (2004). Embedding instructive assertions in program design, ACM SIGCSE Bulletin, 36:3, (62-66), Online publication date: 1-Sep-2004.
  632. 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)
  633. 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)
  634. 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)
  635. Niculescu V (2004). On Data Distributions in the Construction of Parallel Programs, The Journal of Supercomputing, 29:1, (5-25), Online publication date: 1-Jul-2004.
  636. 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)
  637. 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)
  638. 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.
  639. 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.
  640. 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.
  641. 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)
  642. 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)
  643. Chiang C Teaching a formal method in a software engineering course Proceedings of the 2nd annual conference on Mid-south college computing, (39-52)
  644. 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.
  645. Khoo S and Shi K (2004). Program Adaptation via Output-Constraint Specialization, Higher-Order and Symbolic Computation, 17:1-2, (93-128), Online publication date: 1-Mar-2004.
  646. 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.
  647. 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
  648. 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.
  649. Teng G and Liu X Support software evolution with abstration rules and programming knowledge patterns Focus on computational neurobiology, (177-189)
  650. ACM
    Attie P, Arora A and Emerson E (2004). Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems, 26:1, (125-185), Online publication date: 1-Jan-2004.
  651. Giacobazzi R and Mastroeni I (2003). Non-Standard Semantics for Program Slicing, Higher-Order and Symbolic Computation, 16:4, (297-339), Online publication date: 1-Dec-2003.
  652. 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)
  653. 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)
  654. 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.
  655. 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.
  656. 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.
  657. 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)
  658. 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.
  659. ACM
    Sabry A Modeling quantum computing in Haskell Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, (39-49)
  660. 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)
  661. 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.
  662. 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.
  663. 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.
  664. 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)
  665. 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)
  666. Field J, Goyal D, Ramalingam G and Yahav E Typestate verification Proceedings of the 10th international conference on Static analysis, (439-462)
  667. ACM
    Dor N, Rodeh M and Sagiv M CSSV Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, (155-167)
  668. 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)
  669. 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)
  670. 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)
  671. Dunne S Introducing backward refinement into B Proceedings of the 3rd international conference on Formal specification and development in Z and B, (178-196)
  672. 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)
  673. Leino K A SAT characterization of boolean-program correctness Proceedings of the 10th international conference on Model checking software, (104-120)
  674. ACM
    Dor N, Rodeh M and Sagiv M (2003). CSSV, ACM SIGPLAN Notices, 38:5, (155-167), Online publication date: 9-May-2003.
  675. Batory D, Sarvela J and Rauschmayer A Scaling step-wise refinement Proceedings of the 25th International Conference on Software Engineering, (187-197)
  676. Kleijn J, Reniers M and Rooda J (2003). Analysis of an Industrial System, Formal Methods in System Design, 22:3, (249-282), Online publication date: 1-May-2003.
  677. 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)
  678. Flanagan C Automatic software model checking using CLP Proceedings of the 12th European conference on Programming, (189-203)
  679. 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)
  680. 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)
  681. Jones C (2003). 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.
  682. Hoare C (2003). Assertions, IEEE Annals of the History of Computing, 25:2, (14-25), Online publication date: 1-Apr-2003.
  683. 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.
  684. Van Eijk R, De Boer F, Van Der Hoek W and Meyer J (2003). A Verification Framework for Agent Communication, Autonomous Agents and Multi-Agent Systems, 6:2, (185-219), Online publication date: 1-Mar-2003.
  685. Back R and von Wright J Enforcing behavior with contracts Programming methodology, (17-52)
  686. Fahringer T and Scholz B (2003). Advanced symbolic analysis for compilers, 10.5555/1767745, Online publication date: 1-Jan-2003.
  687. Schmidt D Programming language semantics Encyclopedia of Computer Science, (1463-1466)
  688. Federighi F Programmer Encyclopedia of Computer Science, (1462-1463)
  689. Cox T, Hemmendinger D and Hemmendinger D Procedure-oriented languages Encyclopedia of Computer Science, (1441-1451)
  690. Gries D Loop invariant Encyclopedia of Computer Science, (1038-1040)
  691. Wagener J Guarded command Encyclopedia of Computer Science, (761-762)
  692. Keener L Bibliography Technology supporting business solutions, (179-191)
  693. 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.
  694. ACM
    Harrison C (2002). ICPL, ACM SIGCSE Bulletin, 34:4, (101-105), Online publication date: 1-Dec-2002.
  695. ACM
    Gries D (2002). Where is programming methodology these days?, ACM SIGCSE Bulletin, 34:4, (5-7), Online publication date: 1-Dec-2002.
  696. ACM
    Creak A (2002). Edsger W. Dijkstra, ACM SIGPLAN Notices, 37:12, (14-16), Online publication date: 1-Dec-2002.
  697. 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)
  698. ACM
    Mezini M and Ostermann K (2002). Integrating independent components with on-demand remodularization, ACM SIGPLAN Notices, 37:11, (52-67), Online publication date: 17-Nov-2002.
  699. 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)
  700. 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)
  701. 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.
  702. 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)
  703. Bull D and de Villiers P Using SPIN to verify protocols at the implementation level Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (195-204)
  704. ACM
    Jhumka A, Hiller M, Claesson V and Suri N (2002). On systematic design of globally consistent executable assertions in embedded software, ACM SIGPLAN Notices, 37:7, (75-84), Online publication date: 17-Jul-2002.
  705. 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)
  706. Markiewicz M, Lucena C, Alencar P and Cowan D (2002). Views and Patterns in E-Commerce Application Design, Annals of Software Engineering, 13:1-4, (111-140), Online publication date: 25-Jun-2002.
  707. 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)
  708. 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)
  709. 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)
  710. 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)
  711. 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.
  712. ACM
    D'Hondt M Making software knowledgeable Proceedings of the 24th International Conference on Software Engineering, (735-736)
  713. ACM
    Kamiya T SOMA Proceedings of the International Workshop on Principles of Software Evolution, (124-128)
  714. ACM
    Leino K, Poetzsch-Heffter A and Zhou Y (2002). Using data groups to specify and check side effects, ACM SIGPLAN Notices, 37:5, (246-257), Online publication date: 17-May-2002.
  715. ACM
    Flanagan C, Leino K, Lillibridge M, Nelson G, Saxe J and Stata R (2002). Extended static checking for Java, ACM SIGPLAN Notices, 37:5, (234-245), Online publication date: 17-May-2002.
  716. ACM
    Ramalingam G, Warshavsky A, Field J, Goyal D and Sagiv M (2002). Deriving specialized program analyses for certifying component-client conformance, ACM SIGPLAN Notices, 37:5, (83-94), Online publication date: 17-May-2002.
  717. Roman G, Julien C and Huang Q Formal Specification and Design of Mobile Systems Proceedings of the 16th International Parallel and Distributed Processing Symposium
  718. Sobel A and Clarkson M (2002). Formal Methods Application, IEEE Transactions on Software Engineering, 28:3, (308-320), Online publication date: 1-Mar-2002.
  719. 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)
  720. 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)
  721. Amtoft T, Consel C, Danvy O and Malmkjær K The abstraction and instantiation of string-matching programs The essence of computation, (332-357)
  722. Müller P (2002). Modular specification and verification of object-oriented programs, 10.5555/1767748, Online publication date: 1-Jan-2002.
  723. 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.
  724. 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.
  725. Bodeveix J and Filali M (2002). Reduction and Quantifier Elimination Techniques for Program Validation, Formal Methods in System Design, 20:1, (69-89), Online publication date: 1-Jan-2002.
  726. Roman G and McCann P (2002). A Notation and Logic for Mobile Computing, Formal Methods in System Design, 20:1, (47-68), Online publication date: 1-Jan-2002.
  727. 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.
  728. ACM
    Pucella R (2001). Review of Dynamic Logic (Foundations of Computing), ACM SIGACT News, 32:4, (9-17), Online publication date: 1-Dec-2001.
  729. 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.
  730. 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.
  731. 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.
  732. 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.
  733. Ince D (2001). Eight Desert Island Books, Automated Software Engineering, 8:3-4, (355-358), Online publication date: 1-Aug-2001.
  734. Jonker C and Treur J (2001). Agent-Based Simulation of Animal Behaviour, Applied Intelligence, 15:2, (83-115), Online publication date: 26-Jun-2001.
  735. 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)
  736. Lee E and Parks T Dataflow process networks Readings in hardware/software co-design, (59-85)
  737. 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.
  738. 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)
  739. Sorensen I and Neilson D B High integrity software, (23-42)
  740. 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.
  741. 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, 23:2, (187-242), Online publication date: 1-Mar-2001.
  742. ACM
    Flanagan C and Saxe J (2001). Avoiding exponential explosion, ACM SIGPLAN Notices, 36:3, (193-205), Online publication date: 1-Mar-2001.
  743. 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.
  744. Ireland A and Stark J (2001). Proof planning for strategy development, Annals of Mathematics and Artificial Intelligence, 29:1-4, (65-97), Online publication date: 10-Jan-2001.
  745. ACM
    Flanagan C and Saxe J Avoiding exponential explosion Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (193-205)
  746. 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.
  747. Bos V and Kleijn J (2000). Formalisation of a Production System Modelling Language The operational semantics of χ Core, Fundamenta Informaticae, 41:4, (367-392), Online publication date: 1-Dec-2000.
  748. Monin J (2000). 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.
  749. Liu Y (2000). Efficiency by Incrementalization, Higher-Order and Symbolic Computation, 13:4, (289-313), Online publication date: 1-Dec-2000.
  750. ACM
    Herrmann S and Mezini M (2000). PIROL, ACM SIGPLAN Notices, 35:10, (188-207), Online publication date: 1-Oct-2000.
  751. ACM
    Herrmann S and Mezini M PIROL Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (188-207)
  752. 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.
  753. Doherty P, Łukaszewicz W and Madalińska-Bugaj E (2000). The PMA and Relativizing Minimal Change for Action Update, Fundamenta Informaticae, 44:1-2, (95-131), Online publication date: 15-Aug-2000.
  754. ACM
    Necula G Translation validation for an optimizing compiler Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (83-94)
  755. 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)
  756. 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)
  757. Kilov H Business Specifications and RD-ODP Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
  758. 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)
  759. 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.
  760. 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.
  761. Harrison J (2000). Floating Point Verification in HOL Light, Formal Methods in System Design, 16:3, (271-305), Online publication date: 1-Jun-2000.
  762. ACM
    Necula G (2000). Translation validation for an optimizing compiler, ACM SIGPLAN Notices, 35:5, (83-94), Online publication date: 1-May-2000.
  763. ACM
    Xu Z, Miller B and Reps T (2000). Safety checking of machine code, ACM SIGPLAN Notices, 35:5, (70-82), Online publication date: 1-May-2000.
  764. 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)
  765. 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.
  766. 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.
  767. Doherty P, Łukaszewicz W and Madalińska-Bugaj E (2000). The PMA and Relativizing Minimal Change for Action Update, Fundamenta Informaticae, 44:1-2, (95-131), Online publication date: 1-Jan-2000.
  768. 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)
  769. 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)
  770. 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.
  771. 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)
  772. Mahony B (1999). The Least Conjunctive Refinement and Promotion in the Refinement Calculus, Formal Aspects of Computing, 11:1, (75-105), Online publication date: 1-Sep-1999.
  773. 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)
  774. Manohar R, Lee T and Martin A Projection Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
  775. ACM
    Hur S, Jagannathan A and Lillis J Timing driven maze routing Proceedings of the 1999 international symposium on Physical design, (208-213)
  776. Siddiqi J, Morrey I, Hibberd R and Buckberry G (1999). Understanding and exploring formal specifications, Annals of Software Engineering, 6:1-4, (411-432), Online publication date: 1-Apr-1999.
  777. Bjørner D and Cuéllar J (1999). Software engineering education, Annals of Software Engineering, 6:1-4, (365-409), Online publication date: 1-Apr-1999.
  778. Cowling A (1999). 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.
  779. 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.
  780. ACM
    Nezu N and Lu H Modeling deflection networks Proceedings of the 1999 ACM symposium on Applied computing, (66-73)
  781. 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)
  782. 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)
  783. Beynon M Empirical modelling and the foundations of artificial intelligence Computation for metaphors, analogy, and agents, (322-365)
  784. ACM
    Odersky M (1998). Programming with variable functions, ACM SIGPLAN Notices, 34:1, (105-116), Online publication date: 1-Jan-1999.
  785. 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.
  786. 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
  787. ACM
    Garlan D, Jha S, Notkin D and Dingel J (1998). Reasoning about implicit invocation, ACM SIGSOFT Software Engineering Notes, 23:6, (209-221), Online publication date: 1-Nov-1998.
  788. 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)
  789. Xue J (1998). Formal derivation of graph algorithmic programs using partition-and-recur, Journal of Computer Science and Technology, 13:6, (553-561), Online publication date: 1-Nov-1998.
  790. Cheng B A Discussion About Integrated Techniques Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
  791. Backus J (1998). 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.
  792. ACM
    Odersky M Programming with variable functions Proceedings of the third ACM SIGPLAN international conference on Functional programming, (105-116)
  793. 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.
  794. 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)
  795. 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)
  796. 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.
  797. Waldén M and Sere K (1998). Reasoning about Action Systems using the B-Method, Formal Methods in System Design, 13:1, (5-35), Online publication date: 1-May-1998.
  798. Cavalcanti A and Woodcock J (1998). ZRC – A Refinement Calculus for Z, Formal Aspects of Computing, 10:3, (267-289), Online publication date: 1-Mar-1998.
  799. Dingel J, Garlan D, Jha S and Notkin D (1998). 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.
  800. 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)
  801. ACM
    Attie P and Emerson E (1998). Synthesis of concurrent systems with many similar processes, ACM Transactions on Programming Languages and Systems, 20:1, (51-115), Online publication date: 1-Jan-1998.
  802. 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.
  803. 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.
  804. Xue J and Davis R A Simple Program whose Derivation and proof is also Proceedings of the 1st International Conference on Formal Engineering Methods
  805. 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
  806. 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.
  807. Xue J (1997). A unified approach for developing efficient algorithmic programs, Journal of Computer Science and Technology, 12:4, (314-329), Online publication date: 1-Jul-1997.
  808. Kurki-Suonio R and Mikkonen T Liberating Object-Oriented Modeling from Programming-Level Abstractions Proceedings of the Workshops on Object-Oriented Technology, (195-199)
  809. Sidou D Towards a "Good" Functional and Executable Behavior Model Proceedings of the Workshops on Object-Oriented Technology, (17-22)
  810. ACM
    Griffin T and Hull R (1997). A framework for implementing hypothetical queries, ACM SIGMOD Record, 26:2, (231-242), Online publication date: 1-Jun-1997.
  811. 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)
  812. Giloi W (1997). Konrad Zuse's Plankalkül, IEEE Annals of the History of Computing, 19:2, (17-24), Online publication date: 1-Apr-1997.
  813. ACM
    Gersting J and Young F (1997). Content + experiences = curriculum, ACM SIGCSE Bulletin, 29:1, (325-329), Online publication date: 1-Mar-1997.
  814. ACM
    Gersting J and Young F Content + experiences = curriculum Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (325-329)
  815. 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)
  816. Shapiro S (1997). Splitting the Difference, IEEE Annals of the History of Computing, 19:1, (20-54), Online publication date: 1-Jan-1997.
  817. Morgan C, McIver A, Seidel K and Sanders J (1996). Refinement-oriented probability for CSP, Formal Aspects of Computing, 8:6, (617-647), Online publication date: 1-Nov-1996.
  818. 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.
  819. 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)
  820. Stephan W and Biundo S Deduction-based refinement planning Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (213-220)
  821. 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)
  822. 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)
  823. Andrews D (1996). An exercise in modelling, Information and Software Technology, 38:5, (323-332), Online publication date: 1-May-1996.
  824. ACM
    Denman R (1996). Derivation of recursive algorithms for CS2, ACM SIGCSE Bulletin, 28:1, (9-13), Online publication date: 1-Mar-1996.
  825. ACM
    Denman R Derivation of recursive algorithms for CS2 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (9-13)
  826. 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)
  827. Billington D and Dromey R (1996). The co-invariant generator: An aid in deriving loop bodies, Formal Aspects of Computing, 8:1, (108-126), Online publication date: 1-Jan-1996.
  828. Alencar P and de Lucena C (1996). A logical framework for evolving software systems, Formal Aspects of Computing, 8:1, (3-46), Online publication date: 1-Jan-1996.
  829. 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.
  830. Donat M Enhancing cleanroom techniques with refinement calculus Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
  831. Maung I (1995). On simulation, subtyping and substitutability in sequential object systems, Formal Aspects of Computing, 7:6, (620-651), Online publication date: 1-Nov-1995.
  832. ACM
    Hoffman D and Strooper P (1995). State abstraction and modular software development, ACM SIGSOFT Software Engineering Notes, 20:4, (53-61), Online publication date: 1-Oct-1995.
  833. 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)
  834. 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)
  835. 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.
  836. Sinclair J and Woodcock J (1995). Event refinement in state-based concurrent systems, Formal Aspects of Computing, 7:3, (266-288), Online publication date: 1-May-1995.
  837. 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.
  838. ACM
    Ginat D (1995). Loop invariants and mathematical games, ACM SIGCSE Bulletin, 27:1, (263-267), Online publication date: 15-Mar-1995.
  839. 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)
  840. ACM
    Ginat D Loop invariants and mathematical games Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (263-267)
  841. 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.
  842. Rewitzky I and Brink C (1995). Predicate transformers as power operations, Formal Aspects of Computing, 7:2, (169-182), Online publication date: 1-Mar-1995.
  843. ACM
    Jazaa A (1995). Toward better software automation, ACM SIGSOFT Software Engineering Notes, 20:1, (79-84), Online publication date: 1-Jan-1995.
  844. King S and Morgan C (1995). Exits in the refinement calculus, Formal Aspects of Computing, 7:1, (54-76), Online publication date: 1-Jan-1995.
  845. Butler M and Morgan C (1995). Action systems, unbounded nondeterminism, and infinite traces, Formal Aspects of Computing, 7:1, (37-53), Online publication date: 1-Jan-1995.
  846. van de Snepscheut J (1995). The sliding-window protocol revisited, Formal Aspects of Computing, 7:1, (3-17), Online publication date: 1-Jan-1995.
  847. ACM
    Page E and Nance R Parallel discrete event simulation Proceedings of the eighth workshop on Parallel and distributed simulation, (88-93)
  848. 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.
  849. ACM
    Gurevich Y (1994). Logic activities in Europe, ACM SIGACT News, 25:2, (11-24), Online publication date: 1-Jun-1994.
  850. Kurki-Suonio R (1994). Real time, Computer, 27:6, (71-76), Online publication date: 1-Jun-1994.
  851. ACM
    Takaoka T Parallel program verification with directed graphs Proceedings of the 1994 ACM symposium on Applied computing, (462-466)
  852. ACM
    Arnow D (1994). Teaching programming to liberal arts students, ACM SIGCSE Bulletin, 26:1, (141-144), Online publication date: 12-Mar-1994.
  853. 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.
  854. 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.
  855. ACM
    Arnow D Teaching programming to liberal arts students Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (141-144)
  856. 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)
  857. 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)
  858. 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.
  859. ACM
    Yuen C and Feng M (1994). Parallel multiplication, ACM SIGPLAN Notices, 29:3, (12-17), Online publication date: 1-Mar-1994.
  860. Groote J and Ponse A (2022). Process algebra with guards: Combining Hoare logic with process algebra, Formal Aspects of Computing, 6:2, (115-164), Online publication date: 1-Mar-1994.
  861. 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)
  862. ACM
    Ramsey N Correctness of trap-based breakpoint implementations Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (15-24)
  863. ACM
    Bar-David T (1994). Object oriented librarianship, ACM SIGPLAN OOPS Messenger, 5:1, (1-5), Online publication date: 1-Jan-1994.
  864. 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)
  865. 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.
  866. Arora A and Gouda M (1993). Closure and Convergence, IEEE Transactions on Software Engineering, 19:11, (1015-1027), Online publication date: 1-Nov-1993.
  867. Parnas D (1993). Predicate Logic for Software Engineering, IEEE Transactions on Software Engineering, 19:9, (856-862), Online publication date: 1-Sep-1993.
  868. 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)
  869. 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)
  870. 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.
  871. Camp T, Kearns P and Ahuja M (1993). Proof Rules for Flush Channels, IEEE Transactions on Software Engineering, 19:4, (366-378), Online publication date: 1-Apr-1993.
  872. 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.
  873. 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.
  874. ACM
    Yuen C (1992). Hamming numbers, lazy evaluation, and eager disposal, ACM SIGPLAN Notices, 27:8, (71-75), Online publication date: 1-Aug-1992.
  875. Manna Z and Waldinger R (1992). Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, 18:8, (674-704), Online publication date: 1-Aug-1992.
  876. Kurki-Suonio R (1992). Operational specification with joint actions, Distributed Computing, 6:1, (19-37), Online publication date: 1-Jul-1992.
  877. ACM
    Garg P and Bhansali S Process programming by hindsight Proceedings of the 14th international conference on Software engineering, (280-293)
  878. Jacob J (1992). Basic Theorems about Security, Journal of Computer Security, 1:3-4, (385-411), Online publication date: 1-May-1992.
  879. Anderson J and Gouda M (1992). A criterion for atomicity, Formal Aspects of Computing, 4:3, (273-298), Online publication date: 1-May-1992.
  880. ACM
    Li J Improvements to systematic program development Proceedings of the 30th annual ACM Southeast Regional Conference, (308-311)
  881. 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.
  882. 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)
  883. ACM
    Maghrabi T and Golshani F Automatic program generation using sequent calculus Proceedings of the 1992 ACM annual conference on Communications, (73-82)
  884. ACM
    Tam W (1992). Teaching loop invariants to beginners by examples, ACM SIGCSE Bulletin, 24:1, (92-96), Online publication date: 1-Mar-1992.
  885. ACM
    Tam W Teaching loop invariants to beginners by examples Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (92-96)
  886. ACM
    Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
  887. Lukkien J and van de Snepscheut J (1992). Weakest preconditions for progress, Formal Aspects of Computing, 4:2, (195-236), Online publication date: 1-Mar-1992.
  888. 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)
  889. Broy M Declarative specification and declarative programming Proceedings of the 6th international workshop on Software specification and design, (2-11)
  890. ACM
    Kilov H (1991). Objects concepts and bibliography, ACM SIGPLAN Notices, 26:10, (11-12), Online publication date: 1-Oct-1991.
  891. ACM
    Podgurski A Reliability, sampling, and algorithmic randomness Proceedings of the symposium on Testing, analysis, and verification, (11-20)
  892. Hennessy M (1991). A proof system for communicating processes with value-passing, Formal Aspects of Computing, 3:4, (346-366), Online publication date: 1-Oct-1991.
  893. Murphy D and Sanders J (1991). Book reviews, Formal Aspects of Computing, 3:2, (206-212), Online publication date: 1-Jun-1991.
  894. Balzer R Tolerating inconsistency Proceedings of the 13th international conference on Software engineering, (158-165)
  895. ACM
    Höft H (1991). Implementation of a non-deterministic loop, ACM SIGCSE Bulletin, 23:2, (24-28), Online publication date: 1-May-1991.
  896. 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.
  897. ACM
    Pleasant J Systematic program development/proof using Dromey's method Proceedings of the 19th annual conference on Computer Science, (169-173)
  898. 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.
  899. ACM
    Goldberg A (1990). Reusing software developments, ACM SIGSOFT Software Engineering Notes, 15:6, (107-119), Online publication date: 1-Dec-1990.
  900. Vishnubhotla P Fine-grain parallelism in the ALPS programming language Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (506-514)
  901. ACM
    Hvorecký J (1990). On a connection between programming and mathematics, ACM SIGCSE Bulletin, 22:4, (53-54), Online publication date: 1-Nov-1990.
  902. ACM
    Kovats T (1990). A conservative alternative to pancode, ACM SIGPLAN Notices, 25:11, (80-84), Online publication date: 1-Nov-1990.
  903. ACM
    Goldberg A Reusing software developments Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (107-119)
  904. ACM
    Reddy U (1990). Formal methods in transformational derivation of programs, ACM SIGSOFT Software Engineering Notes, 15:4, (104-114), Online publication date: 1-Sep-1990.
  905. Wing J (1990). A Specifier's Introduction to Formal Methods, Computer, 23:9, (8-23), Online publication date: 1-Sep-1990.
  906. 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.
  907. Huang J (1990). State Constraints and Pathwise Decomposition of Programs, IEEE Transactions on Software Engineering, 16:8, (880-896), Online publication date: 1-Aug-1990.
  908. Pair C (1990). GRIN, IEEE Annals of the History of Computing, 12:3, (159-166), Online publication date: 1-Jul-1990.
  909. Guindon R (2018). Designing the design process, Human-Computer Interaction, 5:2, (305-344), Online publication date: 1-Jun-1990.
  910. ACM
    Steele G and White J (1990). How to print floating-point numbers accurately, ACM SIGPLAN Notices, 25:6, (112-126), Online publication date: 1-Jun-1990.
  911. 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)
  912. 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.
  913. 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.
  914. ACM
    Reddy U Formal methods in transformational derivation of programs Conference proceedings on Formal methods in software development, (104-114)
  915. Bishop J (1990). The Effect of Data Abstraction on Loop Programming Techniques, IEEE Transactions on Software Engineering, 16:4, (389-402), Online publication date: 1-Apr-1990.
  916. 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)
  917. ACM
    Chen W A formal approach to program inversion Proceedings of the 1990 ACM annual conference on Cooperation, (398-403)
  918. 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)
  919. ACM
    Saraswat V and Rinard M Concurrent constraint programming Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (232-245)
  920. ACM
    Moschovakis Y Computable process Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (72-80)
  921. 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)
  922. ACM
    van de Snepscheut J and Swenker J (1989). On the design of some systolic algorithms, Journal of the ACM, 36:4, (826-840), Online publication date: 1-Oct-1989.
  923. 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.
  924. ACM
    Merritt S A top down unification of minimum cost spanning tree algorithms Symposium proceedings on Communications architectures & protocols, (116-127)
  925. ACM
    Ramsey N (1989). Developing formally verified Ada programs, ACM SIGSOFT Software Engineering Notes, 14:3, (257-265), Online publication date: 1-May-1989.
  926. ACM
    Kurki-Suonio R and Järvinen H (1989). 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.
  927. ACM
    Gerth R and Pnueli A (1989). Rooting UNITY, ACM SIGSOFT Software Engineering Notes, 14:3, (11-19), Online publication date: 1-May-1989.
  928. Mills H, Basili V, Gannon J and Hamlet R (1989). Mathematical Principles for a First Course in Software Engineering, IEEE Transactions on Software Engineering, 15:5, (550-559), Online publication date: 1-May-1989.
  929. ACM
    Ramsey N Developing formally verified Ada programs Proceedings of the 5th international workshop on Software specification and design, (257-265)
  930. 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)
  931. ACM
    Gerth R and Pnueli A Rooting UNITY Proceedings of the 5th international workshop on Software specification and design, (11-19)
  932. Backhouse R, Chisholm P, Malcolm G and Saaman E (1989). Do-it-yourself type theory, Formal Aspects of Computing, 1:1, (19-84), Online publication date: 1-Mar-1989.
  933. 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.
  934. 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.
  935. ACM
    Luker P Never mind the language, what about the paradigm? Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (252-256)
  936. 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)
  937. Wing J and Nixon M (1989). Extending Ina Jo with Temporal Logic, IEEE Transactions on Software Engineering, 15:2, (181-197), Online publication date: 1-Feb-1989.
  938. 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.
  939. 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)
  940. 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.
  941. 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.
  942. Clark K (1988). PARLOG and its Applications, IEEE Transactions on Software Engineering, 14:12, (1792-1804), Online publication date: 1-Dec-1988.
  943. ACM
    Manber U (1988). Using induction to design algorithms, Communications of the ACM, 31:11, (1300-1313), Online publication date: 1-Nov-1988.
  944. Davidson C (1988). Quicksort Revisited, IEEE Transactions on Software Engineering, 14:10, (1480-1481), Online publication date: 1-Oct-1988.
  945. Elmagarmid A, Soundararajan N and Liu M (1988). 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.
  946. ACM
    Fetzer J (1988). Program verification: the very idea, Communications of the ACM, 31:9, (1048-1063), Online publication date: 1-Sep-1988.
  947. 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.
  948. ACM
    Murphy S and Shankar A Service specification and protocol construction for the transport layer Symposium proceedings on Communications architectures and protocols, (88-97)
  949. ACM
    Hemmendinger D (1988). The `Hamming' in Prolog, ACM SIGPLAN Notices, 23:6, (115-120), Online publication date: 1-Jun-1988.
  950. Damm W (1988). A Microprogramming Logic, IEEE Transactions on Software Engineering, 14:5, (559-574), Online publication date: 1-May-1988.
  951. 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)
  952. ACM
    Hemmendinger D (1988). The “Hamming problem” in Prolog, ACM SIGPLAN Notices, 23:4, (81-86), Online publication date: 1-Apr-1988.
  953. ACM
    Cherniak C (1988). Undebuggability and cognitive science, Communications of the ACM, 31:4, (402-412), Online publication date: 1-Apr-1988.
  954. 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.
  955. Billington J, Wheeler G and Wilbur-Ham M (1988). PROTEAN, IEEE Transactions on Software Engineering, 14:3, (301-316), Online publication date: 1-Mar-1988.
  956. ACM
    Zahn C (1988). A phased programming paradigm, ACM SIGCSE Bulletin, 20:1, (9-12), Online publication date: 1-Feb-1988.
  957. ACM
    Zahn C A phased programming paradigm Proceedings of the nineteenth SIGCSE technical symposium on Computer science education, (9-12)
  958. Dromey R (1988). Systematic Program Development, IEEE Transactions on Software Engineering, 14:1, (12-29), Online publication date: 1-Jan-1988.
  959. ACM
    Fullerton J (1987). An alternate design for Fortran 8X, ACM SIGPLAN Fortran Forum, 6:3, (31-40), Online publication date: 1-Dec-1987.
  960. 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.
  961. 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)
  962. ACM
    Hsu Y, Pan Y and Kubitz W A path selection global touter Proceedings of the 24th ACM/IEEE Design Automation Conference, (641-644)
  963. 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)
  964. 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.
  965. 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.
  966. Shankar A and Lam S (1987). Time-dependent distributed systems, Distributed Computing, 2:2, (61-79), Online publication date: 1-Jun-1987.
  967. ACM
    Bunda J (1987). APL function definition notation, ACM SIGAPL APL Quote Quad, 17:4, (253-255), Online publication date: 1-May-1987.
  968. Perry D Software interconnection models Proceedings of the 9th international conference on Software Engineering, (61-69)
  969. 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)
  970. ACM
    Bunda J APL function definition notation Proceedings of the international conference on APL: APL in transition, (253-255)
  971. 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.
  972. ACM
    Shankar A A verified sliding window protocol with variable flow control Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, (84-91)
  973. 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.
  974. ACM
    Boehm H and Demers A (1986). Implementing RUSSELL, ACM SIGPLAN Notices, 21:7, (186-195), Online publication date: 1-Jul-1986.
  975. ACM
    Boehm H and Demers A Implementing RUSSELL Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (186-195)
  976. 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)
  977. 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.
  978. 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.
  979. 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.
  980. 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.
  981. 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.
  982. ACM
    Shock R An algorithm for batch updates Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (233-236)
  983. ACM
    Habermann A Technological advances in software engineering Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (29-37)
  984. 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)
  985. ACM
    Cohen A and Myers T (1985). Information sharing, ACM SIGPLAN Notices, 20:9, (27-31), Online publication date: 1-Sep-1985.
  986. 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)
  987. ACM
    (1985). Old-fashioned logic for verification, ACM SIGSOFT Software Engineering Notes, 10:4, (87-89), Online publication date: 1-Aug-1985.
  988. ACM
    Saaltink M (1985). Relational semantics, ACM SIGSOFT Software Engineering Notes, 10:4, (82-83), Online publication date: 1-Aug-1985.
  989. ACM
    Dershowitz N (1985). Program abstraction and instantiation, ACM Transactions on Programming Languages and Systems, 7:3, (446-477), Online publication date: 1-Jul-1985.
  990. ACM
    Nelson G Juno, a constraint-based graphics system Proceedings of the 12th annual conference on Computer graphics and interactive techniques, (235-243)
  991. ACM
    Nelson G (1985). Juno, a constraint-based graphics system, ACM SIGGRAPH Computer Graphics, 19:3, (235-243), Online publication date: 1-Jul-1985.
  992. 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.
  993. 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)
  994. 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)
  995. 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)
  996. ACM
    Gerth R Transition logic Proceedings of the sixteenth annual ACM symposium on Theory of computing, (39-50)
  997. Damm W An axiomatization of low-level parallelism in microarchitectures Proceedings of the 17th annual workshop on Microprogramming, (314-323)
  998. 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)
  999. 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.
  1000. 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.
  1001. ACM
    Winner R (1984). Unassigned objects, ACM Transactions on Programming Languages and Systems, 6:4, (449-467), Online publication date: 1-Oct-1984.
  1002. Kusalik A (1984). Serialization of process reduction in Concurrent Prolog, New Generation Computing, 2:3, (289-298), Online publication date: 1-Sep-1984.
  1003. 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)
  1004. ACM
    Givler J and Kieburtz R Schema recognition for program transformations Proceedings of the 1984 ACM Symposium on LISP and functional programming, (74-84)
  1005. Kelly V The CRITTER system Proceedings of the 21st Design Automation Conference, (419-425)
  1006. Clow G A global routing algorithm for general cells Proceedings of the 21st Design Automation Conference, (45-51)
  1007. 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.
  1008. Chyou S Structure charts and program correctness proofs Proceedings of the 7th international conference on Software engineering, (486-498)
  1009. Chong K and Hsia P Diagnostic system for distributed software Proceedings of the 7th international conference on Software engineering, (30-40)
  1010. ACM
    Hehner E (1984). Predicative programming Part I, Communications of the ACM, 27:2, (134-143), Online publication date: 1-Feb-1984.
  1011. 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)
  1012. ACM
    Shapiro E Systems programming in concurrent prolog Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (93-105)
  1013. ACM
    Francez N and Kozen D Generalized fair termination Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (46-53)
  1014. ACM
    Reps T and Alpern B Interactive proof checking Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (36-45)
  1015. 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)
  1016. 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.
  1017. 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)
  1018. 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)
  1019. ACM
    Sleator D and Tarjan R Self-adjusting binary trees Proceedings of the fifteenth annual ACM symposium on Theory of computing, (235-245)
  1020. 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.
  1021. 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.
  1022. ACM
    Wagnon G and Maine D (1983). An E-Machine workbench, ACM SIGMICRO Newsletter, 14:4, (101-111), Online publication date: 1-Dec-1983.
  1023. 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.
  1024. ACM
    Wile D (1983). Program developments, Communications of the ACM, 26:11, (902-911), Online publication date: 1-Nov-1983.
  1025. 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.
  1026. 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.
  1027. 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.
  1028. ACM
    Moitra A Synthesis of communicating processes Proceedings of the second annual ACM symposium on Principles of distributed computing, (123-130)
  1029. 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.
  1030. 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.
  1031. 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.
  1032. 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.
  1033. 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)
  1034. 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.
  1035. ACM
    Paige R Transformational programming Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (73-87)
  1036. ACM
    Nelson G Verifying reachability invariants of linked structures Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (38-47)
  1037. 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.
  1038. ACM
    Li W An operational semantics of multitasking and exception handling in Ada Proceedings of the AdaTEC Conference on Ada, (138-151)
  1039. 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)
  1040. ACM
    Wise M A parallel Prolog Proceedings of the 1982 ACM symposium on LISP and functional programming, (56-66)
  1041. ACM
    Jeffords R (1982). Technical correspondence, Communications of the ACM, 25:6, (390-392), Online publication date: 1-Jun-1982.
  1042. ACM
    Crockett D (1982). Technical correspondence, Communications of the ACM, 25:6, (391-392), Online publication date: 1-Jun-1982.
  1043. ACM
    Wills J (1982). Technical correspondence, Communications of the ACM, 25:6, (389-390), Online publication date: 1-Jun-1982.
  1044. 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.
  1045. Cristian F (1982). Exception Handling and Software Fault Tolerance, IEEE Transactions on Computers, 31:6, (531-540), Online publication date: 1-Jun-1982.
  1046. ACM
    de Bakker J and Zucker J Denotational semantics of concurrency Proceedings of the fourteenth annual ACM symposium on Theory of computing, (153-158)
  1047. ACM
    Suzuki N (1982). Analysis of pointer “rotation”, Communications of the ACM, 25:5, (330-335), Online publication date: 1-May-1982.
  1048. Bitner J (1982). An Asymptotically Optimal Algorithm for the Dutch National Flag Problem, SIAM Journal on Computing, 11:2, (243-262), Online publication date: 1-May-1982.
  1049. 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)
  1050. ACM
    Reddy U Programming with sequences Proceedings of the 20th annual ACM Southeast Regional Conference, (189-198)
  1051. ACM
    Coulter N Information hiding, the Intel iAPX 432,and Ada Proceedings of the 20th annual ACM Southeast Regional Conference, (160-167)
  1052. ACM
    Landwehr C (1982). Technical correspondence, Communications of the ACM, 25:4, (292), Online publication date: 1-Apr-1982.
  1053. 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)
  1054. 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)
  1055. 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)
  1056. ACM
    Frank G Specification of data structures for FP programs Proceedings of the 1981 conference on Functional programming languages and computer architecture, (221-228)
  1057. 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)
  1058. 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.
  1059. 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)
  1060. Brodie M On modelling behavioural semantics of databases Proceedings of the seventh international conference on Very Large Data Bases - Volume 7, (32-42)
  1061. ACM
    Richards D (1981). On the file update problems, ACM SIGCSE Bulletin, 13:3, (38-39), Online publication date: 1-Sep-1981.
  1062. ACM
    Dwyer B (1981). Technical correspondence, Communications of the ACM, 24:8, (538-539), Online publication date: 1-Aug-1981.
  1063. ACM
    Peterson W (1981). Technical correspondence, Communications of the ACM, 24:8, (536-538), Online publication date: 1-Aug-1981.
  1064. ACM
    Parnas D (1981). Lastig gepreek uit nuenen, ACM SIGSOFT Software Engineering Notes, 6:3, (64-65), Online publication date: 1-Jul-1981.
  1065. McFarland M On proving the correctness of optimizing transformations in a digital design automation system Proceedings of the 18th Design Automation Conference, (90-97)
  1066. ACM
    Redwine S (1981). A paradigm for dealing with exceptions, ACM SIGPLAN Notices, 16:5, (36-38), Online publication date: 1-May-1981.
  1067. Flon L and Suzuki N (1981). The Total Correctness of Parallel Programs, SIAM Journal on Computing, 10:2, (227-246), Online publication date: 1-May-1981.
  1068. 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.
  1069. 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.
  1070. Lingard R A software methodology for building interactive tools Proceedings of the 5th international conference on Software engineering, (394-399)
  1071. ACM
    Andrews G (1981). Parallel programs, Communications of the ACM, 24:3, (140-145), Online publication date: 1-Mar-1981.
  1072. 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)
  1073. 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.
  1074. ACM
    Polak W Program verification based on denotation semantics Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (149-158)
  1075. ACM
    Cartwright R, Hood R and Matthews P Paths Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-27)
  1076. ACM
    Logrippo L Input-directed program design Proceedings of the ACM '81 conference, (263-267)
  1077. ACM
    Beale N and Jones P An ADATM compatible specification language Proceedings of the ACM '81 conference, (139-143)
  1078. 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.
  1079. ACM
    Johnson L (1980). do considered obviously odd in three dimensions, ACM SIGPLAN Notices, 15:12, (44-44), Online publication date: 1-Dec-1980.
  1080. ACM
    Johnson L (1980). do considered reflectively, ACM SIGPLAN Notices, 15:12, (43-43), Online publication date: 1-Dec-1980.
  1081. 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)
  1082. ACM
    Kung H and Lehman P (1980). Concurrent manipulation of binary search trees, ACM Transactions on Database Systems, 5:3, (354-382), Online publication date: 1-Sep-1980.
  1083. ACM
    Casanova M and Bernstein P (1980). A Formal System for Reasoning about Programs Accessing a Relational Database, ACM Transactions on Programming Languages and Systems, 2:3, (386-414), Online publication date: 1-Jul-1980.
  1084. ACM
    Broy M and Krieg-Bruckner B (1980). Derivation of Invariant Assertions During Program Development by Transformation, ACM Transactions on Programming Languages and Systems, 2:3, (321-337), Online publication date: 1-Jul-1980.
  1085. ACM
    Wasserman A The design of PLAIN Proceedings of the May 19-22, 1980, national computer conference, (731-740)
  1086. ACM
    Pratt V Dynamic algebras and the nature of induction Proceedings of the twelfth annual ACM symposium on Theory of computing, (22-28)
  1087. ACM
    Cohen N (1980). Gödel numbers, ACM SIGPLAN Notices, 15:4, (70-74), Online publication date: 1-Apr-1980.
  1088. ACM
    Ellison R A programming sequence for the liberal arts college Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (161-164)
  1089. 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.
  1090. ACM
    Boute R (1980). Simplifying ADA by removing limitations, ACM SIGPLAN Notices, 15:2, (17-29), Online publication date: 1-Feb-1980.
  1091. Hennessy M (1980). The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment, SIAM Journal on Computing, 9:1, (67-84), Online publication date: 1-Feb-1980.
  1092. 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)
  1093. 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)
  1094. ACM
    Moss C (1980). Structured programming with loop statements, ACM SIGPLAN Notices, 15:1, (86-94), Online publication date: 1-Jan-1980.
  1095. ACM
    Orr K Structured programming in the 1980s Proceedings of the ACM 1980 annual conference, (323-326)
  1096. ACM
    Keller R (1979). On selective and repetitive constructs, ACM SIGPLAN Notices, 14:11, (60-63), Online publication date: 1-Nov-1979.
  1097. Wertz H A system to improve incorrect programs Proceedings of the 4th international conference on Software engineering, (286-293)
  1098. Blikle A On correct program development Proceedings of the 4th international conference on Software engineering, (164-173)
  1099. Ploedereder E Pragmatic techniques for program analysis and verification Proceedings of the 4th international conference on Software engineering, (63-72)
  1100. Boehm B Software engineering-as it is Proceedings of the 4th international conference on Software engineering, (11-21)
  1101. ACM
    Anson E The semantics of graphical input Proceedings of the 6th annual conference on Computer graphics and interactive techniques, (113-120)
  1102. ACM
    Anson E (1979). The semantics of graphical input, ACM SIGGRAPH Computer Graphics, 13:2, (113-120), Online publication date: 1-Aug-1979.
  1103. ACM
    Denvir B (1979). On orthogonality in programming languages, ACM SIGPLAN Notices, 14:7, (18-30), Online publication date: 1-Jul-1979.
  1104. ACM
    Winograd T (1979). Beyond programming languages, Communications of the ACM, 22:7, (391-401), Online publication date: 1-Jul-1979.
  1105. ACM
    Reynolds J (1979). Reasoning about arrays, Communications of the ACM, 22:5, (290-299), Online publication date: 1-May-1979.
  1106. ACM
    Lamport L (1979). A general construction for expressing repetition, ACM SIGPLAN Notices, 14:3, (38-42), Online publication date: 1-Mar-1979.
  1107. 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.
  1108. 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.
  1109. ACM
    Calm F and White J An extension to algebraic specifications to incorporate state behavior Proceedings of the 1979 annual conference, (212-220)
  1110. ACM
    Adams J, Armstrong J and Smartt M Assertional checking and symbolic execution Proceedings of the 1979 annual conference, (152-156)
  1111. ACM
    Meertens L Abstracto 84 Proceedings of the 1979 annual conference, (33-39)
  1112. 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)
  1113. 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)
  1114. 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)
  1115. ACM
    Andler S Predicate path expressions Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (226-236)
  1116. 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)
  1117. ACM
    Pratt V Process logic Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (93-100)
  1118. 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)
  1119. ACM
    Biggerstaff T Factored Specifications In The Synthesis Of LISP Functions Proceedings of the 1978 annual conference, (393-402)
  1120. ACM
    Dasgupta S (1978). Towards a microprogramming language schema, ACM SIGMICRO Newsletter, 9:4, (144-153), Online publication date: 1-Dec-1978.
  1121. ACM
    Budkowski S and Dembinski P (1978). Firmware versus software verification, ACM SIGMICRO Newsletter, 9:4, (119-127), Online publication date: 1-Dec-1978.
  1122. Dasgupta S Towards a microprogramming language schema Proceedings of the 11th annual workshop on Microprogramming, (144-153)
  1123. Budkowski S and Dembinski P Firmware versus software verification Proceedings of the 11th annual workshop on Microprogramming, (119-127)
  1124. 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.
  1125. 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.
  1126. ACM
    Kemp F (1978). Design of a structured APL, ACM SIGAPL APL Quote Quad, 9:1, (11-13), Online publication date: 1-Sep-1978.
  1127. 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.
  1128. 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.
  1129. ACM
    Postma S (1978). FEA, ACM SIGPLAN Notices, 13:7, (43-59), Online publication date: 1-Jul-1978.
  1130. ACM
    Wertz H (1978). A system to understand incorrect programs, ACM Lisp Bulletin:2, (27-34), Online publication date: 1-Jul-1978.
  1131. Tarjan R (2006). Complexity of Combinatorial Algorithms, SIAM Review, 20:3, (457-491), Online publication date: 1-Jul-1978.
  1132. Bergland G Structured design methodologies Proceedings of the 15th Design Automation Conference, (475-493)
  1133. ACM
    Backus J The history of Fortran I, II, and III History of programming languages, (25-74)
  1134. Parnas D Designing software for ease of extension and contraction Proceedings of the 3rd international conference on Software engineering, (264-277)
  1135. Boyd D and Pizzarello A Introduction to the WELLMADE design methodology Proceedings of the 3rd international conference on Software engineering, (94-100)
  1136. (1978). Letters to the Editor, Interfaces, 8:3, (113-117), Online publication date: 1-May-1978.
  1137. 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)
  1138. ACM
    Weiner L The roots of structured programming Papers of the SIGCSE/CSA technical symposium on Computer science education, (243-254)
  1139. ACM
    Chvalovsky V Computer science education at universities Papers of the SIGCSE/CSA technical symposium on Computer science education, (41-47)
  1140. ACM
    Weiner L (1978). The roots of structured programming, ACM SIGCSE Bulletin, 10:1, (243-254), Online publication date: 1-Feb-1978.
  1141. ACM
    Chvalovsky V (1978). Computer science education at universities, ACM SIGCSE Bulletin, 10:1, (41-47), Online publication date: 1-Feb-1978.
  1142. ACM
    Duran J Heuristics for program synthesis using loop invariants Proceedings of the 1978 annual conference - Volume 2, (891-900)
  1143. ACM
    Nordström B Assignments and high level data types Proceedings of the 1978 annual conference - Volume 2, (630-638)
  1144. 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.
  1145. 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)
  1146. ACM
    Sedgwick A (1977). Structuring control in Fortran, ACM SIGPLAN Notices, 12:11, (55-60), Online publication date: 1-Nov-1977.
  1147. ACM
    Lindsey C (1977). Structure charts a structured alternative to flowcharts, ACM SIGPLAN Notices, 12:11, (36-49), Online publication date: 1-Nov-1977.
  1148. ACM
    Gerber A (1977). Process synchronization by counter variables, ACM SIGOPS Operating Systems Review, 11:4, (6-17), Online publication date: 1-Oct-1977.
  1149. ACM
    Keller R (1977). On control constructs for constructing programs, ACM SIGPLAN Notices, 12:9, (36-44), Online publication date: 1-Sep-1977.
  1150. ACM
    Shabe G, Peck S and Hickey R Team dynamics in systems development and management Proceedings of the fifteenth annual SIGCPR conference, (164-189)
  1151. 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)
  1152. 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)
  1153. 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)
  1154. ACM
    Earnshaw R (1977). Line generation for incremental and raster devices, ACM SIGGRAPH Computer Graphics, 11:2, (199-205), Online publication date: 1-Aug-1977.
  1155. 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.
  1156. 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.
  1157. 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.
  1158. 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.
  1159. ACM
    Yelowitz L and Duncan A (1977). Abstractions, instantiations, and proofs of marking algorithms, ACM SIGPLAN Notices, 12:8, (13-21), Online publication date: 1-Aug-1977.
  1160. ACM
    Cousot P and Cousot R (1977). Automatic synthesis of optimal invariant assertions, ACM SIGPLAN Notices, 12:8, (1-12), Online publication date: 1-Aug-1977.
  1161. ACM
    Earnshaw R Line generation for incremental and raster devices Proceedings of the 4th annual conference on Computer graphics and interactive techniques, (199-205)
  1162. ACM
    van der Meulen S (1977). ALGOL 68 might-have-beens, ACM SIGPLAN Notices, 12:6, (1-18), Online publication date: 1-Jun-1977.
  1163. ACM
    Hennessy M and Ashcroft E Parameter-passing mechanisms and nondeterminism Proceedings of the ninth annual ACM symposium on Theory of computing, (306-311)
  1164. ACM
    Constable R On the theory of programming logics Proceedings of the ninth annual ACM symposium on Theory of computing, (269-285)
  1165. 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)
  1166. 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.
  1167. ACM
    van der Meulen S ALGOL 68 might-have-beens Proceedings of the Strathclyde ALGOL 68 conference, (1-18)
  1168. 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)
  1169. 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.
  1170. 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.
  1171. 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)
  1172. ACM
    Hehner E Structuring Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (201-205)
  1173. 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)
  1174. Wegner P (1976). Programming Languages The First 25 Years, IEEE Transactions on Computers, 25:12, (1207-1225), Online publication date: 1-Dec-1976.
  1175. Wegner P Research paradigms in computer science Proceedings of the 2nd international conference on Software engineering, (322-330)
  1176. Scott D (1976). Data Types as Lattices, SIAM Journal on Computing, 5:3, (522-587), Online publication date: 1-Sep-1976.
  1177. Aguzzoli S A linear space decision procedure for Gödel propositional logic 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (194-200)
Contributors
  • The University of Texas at Austin
Please enable JavaScript to view thecomments powered by Disqus.

Recommendations