Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


kent1226606883.pdf (411.3 KB)

ETD Abstract Container

Abstract Header

RELATIONAL MODEL FOR PROGRAM SEMANTICS

Punnam, Pradeep Kumar
http://rave.ohiolink.edu/etdc/view?acc_num=kent1226606883

Abstract Details

2008, MS, Kent State University, College of Arts and Sciences / Department of Computer Science.
From the beginning of the development of computer programming languages, computerscientists and mathematicians have been developing methodologies to describe the programming languages. They use mathematics as a vehicle to describe and understand the properties of a language. Different methods of program semantic representations have been proposed to capture different aspects of programming languages. Each serves a different purpose in the understanding of a programming language. Axiomatic, denotational and operational semantics are the well known and often used methods. Axiomatic semantics is well suited for collecting the requirements for programs, and denotational semantics is useful in collecting the requirements and also proving the correctness of programs. Operational semantics gives meaning to programs by showing how programs are executed in an abstract machine; this gives essential insight into the efficiency of the language. In this thesis we develop a relational model that uses binary relations to describe computational states and programs. The relational view of specifying the programs gives us an ability to better understand the properties of programming languages using the existing mathematical theory of relations. We define orderings on states and programs using Hoare and Smyth orderings, and we define refinement and non-determinism and give their properties. We also describe some program primitives and operations and prove properties about them using our relational model.
Melton Austin, Jr (Advisor)
Dragan Feodor (Committee Member)
Rothstein Michael (Committee Member)
46 p.
Computer Science
Relational Model; Semantics; Hoare Order; Smyth Order

Recommended Citations

Citations

  • Punnam, P. K. (2008). RELATIONAL MODEL FOR PROGRAM SEMANTICS [Master's thesis, Kent State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=kent1226606883

    APA Style (7th edition)

  • Punnam, Pradeep Kumar. RELATIONAL MODEL FOR PROGRAM SEMANTICS. 2008. Kent State University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=kent1226606883.

    MLA Style (8th edition)

  • Punnam, Pradeep Kumar. "RELATIONAL MODEL FOR PROGRAM SEMANTICS." Master's thesis, Kent State University, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=kent1226606883

    Chicago Manual of Style (17th edition)

kent1226606883
651
© 2008, all rights reserved.
This open access ETD is published by Kent State University and OhioLINK.