Isabelle/HOL Theories of Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations
Type of content
Theses / Dissertations
Publisher's DOI/URI
Thesis discipline
Degree name
Other
Publisher
University of Canterbury
Journal Title
Journal ISSN
Volume Title
Language
English
Date
2015
Authors
Guttmann, Walter
Abstract
This technical report contains Isabelle/HOL theories that describe algebras for iteration, infinite executions and correctness of sequential computations. The results are explained in a separate document. The following files are available: Technical Report Isabelle/HOL theory files
Description
Citation
Keywords
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Rights
All Right Reserved