Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract)

Wolfgang Schreiner

Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract)

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Original language	English
Title of host publication	Specification and Verification of Hybrid Systems, proceedings of the First International Seminar
Editors	louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker
Place of Publication	Ukraine
Publisher	Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse
Pages	64-69
Number of pages	6
Publication status	Published - 2011

Fields of science

101001 Algebra
101002 Analysis
101 Mathematics
102 Computer Sciences
102011 Formal languages
101009 Geometry
101013 Mathematical logic
101020 Technical mathematics
101025 Number theory
101012 Combinatorics
101005 Computer algebra
101006 Differential geometry
101003 Applied geometry
102025 Distributed systems

JKU Focus areas

Computation in Informatics and Mathematics

Cite this

Schreiner, W. (2011). Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker (Ed.), Specification and Verification of Hybrid Systems, proceedings of the First International Seminar (pp. 64-69). Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse.

Schreiner, Wolfgang. / Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). Specification and Verification of Hybrid Systems, proceedings of the First International Seminar. editor / louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker. Ukraine : Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse, 2011. pp. 64-69

@inproceedings{52cf17501f0b4855b31e1fbe4559c9b8,

title = "Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract)",

author = "Wolfgang Schreiner",

year = "2011",

language = "English",

pages = "64--69",

editor = "\{louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker\}",

booktitle = "Specification and Verification of Hybrid Systems, proceedings of the First International Seminar",

publisher = "Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse",

}

Schreiner, W 2011, Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). in louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker (ed.), Specification and Verification of Hybrid Systems, proceedings of the First International Seminar. Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse, Ukraine, pp. 64-69.

Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). / Schreiner, Wolfgang.
Specification and Verification of Hybrid Systems, proceedings of the First International Seminar. ed. / louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker. Ukraine: Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse, 2011. p. 64-69.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

TY - GEN

T1 - Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract)

AU - Schreiner, Wolfgang

PY - 2011

Y1 - 2011

M3 - Conference proceedings

SP - 64

EP - 69

BT - Specification and Verification of Hybrid Systems, proceedings of the First International Seminar

A2 - louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker, null

PB - Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse

CY - Ukraine

ER -

Schreiner W. Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract). In louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker, editor, Specification and Verification of Hybrid Systems, proceedings of the First International Seminar. Ukraine: Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse. 2011. p. 64-69