Schmidt, David Computing and Information Science Department, Kansas State University, Manhattan, Kansas.
- Semantics of arithmetic
- Semantics of languages that maintain storage
- Applications to correctness, implementation, analysis
- Links to Primary Literature
- Additional Readings
Computer programs are complex, structured assemblies, as are buildings and television sets. However, programs are also linguistic assemblies, as are epic poems on the scale of Homer's Iliad or Odyssey. Even more so than with a building, television, or epic poem, a program must match its “blueprint” or specification exactly. For example, flight-control software or medical software must perform exactly as described; otherwise, someone might be harmed. Because of its linguistic aspect, a program's specification often looks like a mathematical formula, and a program's semantics (meaning) must be mathematical in nature to provably match the specification.
The content above is only an excerpt.
for your institution. Subscribe
To learn more about subscribing to AccessScience, or to request a no-risk trial of this award-winning scientific reference for your institution, fill in your information and a member of our Sales Team will contact you as soon as possible.
to your librarian. Recommend
Let your librarian know about the award-winning gateway to the most trustworthy and accurate scientific information.
AccessScience provides the most accurate and trustworthy scientific information available.
Recognized as an award-winning gateway to scientific knowledge, AccessScience is an amazing online resource that contains high-quality reference material written specifically for students. Contributors include more than 9000 highly qualified scientists and 43 Nobel Prize winners.
MORE THAN 8700 articles covering all major scientific disciplines and encompassing the McGraw-Hill Encyclopedia of Science & Technology and McGraw-Hill Yearbook of Science & Technology
115,000-PLUS definitions from the McGraw-Hill Dictionary of Scientific and Technical Terms
3000 biographies of notable scientific figures
MORE THAN 19,000 downloadable images and animations illustrating key topics
ENGAGING VIDEOS highlighting the life and work of award-winning scientists
SUGGESTIONS FOR FURTHER STUDY and additional readings to guide students to deeper understanding and research
LINKS TO CITABLE LITERATURE help students expand their knowledge using primary sources of information