Advertisement

Studies in Ada® Style

  • Peter Hibbard
  • Andy Hisgen
  • Jonathan Rosenberg
  • Mary Shaw
  • Mark Sherman

Table of contents

  1. Front Matter
    Pages i-vii
  2. Introduction to the Second Edition

    1. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 1-1
  3. Introduction to the First Edition

    1. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 3-3
  4. The Impact of Abstraction Concerns on Modern Programming Languages

    1. Front Matter
      Pages 5-5
    2. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 7-32
  5. Programming in Ada: Examples

    1. Front Matter
      Pages 33-33
    2. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 35-36
    3. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 37-47
    4. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 49-63
    5. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 65-71
    6. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 73-86
    7. Peter Hibbard, Andy Hisgen, Jonathan Rosenberg, Mary Shaw, Mark Sherman
      Pages 87-101
  6. Back Matter
    Pages 103-111

About this book

Keywords

Ada Pascal Scheduling algorithms language programming programming language software verification

Authors and affiliations

  • Peter Hibbard
    • 1
  • Andy Hisgen
    • 1
  • Jonathan Rosenberg
    • 1
  • Mary Shaw
    • 1
  • Mark Sherman
    • 1
  1. 1.Department of Computer ScienceCarnegie-Mellon UniversityPittsburghUSA

Bibliographic information