Overview

programming theory


Related Overviews

 

More Like This

Show all results sharing this subject:

  • Computing

GO

Show Summary Details

Quick Reference

A general term for a number of interrelated and rapidly developing subjects concerned broadly with the application of formal mathematical methods to the study of programming concepts. Principle areas are: semantics of programming languages, program specification, program correctness, program transformation, and programming methodology.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.