(DOWNLOAD) "Relational Model for Program Semantics" by Pradeep Kumar Punnam # eBook PDF Kindle ePub Free

eBook details

Title: Relational Model for Program Semantics
Author : Pradeep Kumar Punnam
Release Date : January 20, 2013
Genre: Computers,Books,Computers & Internet,
Pages : * pages
Size : 3773 KB

Description

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. Advisors/Committee Members: Austin, Melton.