Deductive Semantics of RTPA

  title={Deductive Semantics of RTPA},
  author={Yingxu Wang},
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic function to the concrete semantics embodied by the changes of status of a finite set of variables constituting the semantic environment of the program. There is a lack of a generic semantic function and its unified mathematical model in conventional semantics, which may be used to explain a comprehensive set of programming statements and… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
31 Extracted Citations
39 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 39 references

Keynote speech on theoretical foundations of software engineering and denotational mathematics

  • Y. Wang
  • In Proceedings of the Fifth Asian Workshop on…
  • 2007
2 Excerpts

Software engineering foundations: A software science perspective

  • Y. Wang
  • Auerbach Publications, NY.,
  • 2007
2 Excerpts

On the informatics laws and deductive semantics of software

  • Y. Wang
  • 2006
2 Excerpts

Similar Papers

Loading similar papers…