Book icon

Book

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Abstract:

Program construction is about turning specifications of computer software into implementations. Doing so in a way that guarantees correctness is an undertaking requiring deep understanding of the languages and tools being used, as well as of the application domain. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory and allegory theory. This book pro...

Expand abstract

Actions


Authors


Contributors

Role:
Editor
Institution:
University of Oxford
Department:
Mathematical, Physical and Life Sciences Division - Department of Computer Science
Role:
Editor
Publisher:
Springer−Verlag
Publication date:
2002
ISSN:
0302-9743
URN:
uuid:7cd14815-c122-4701-8acc-eb9b18cb9a71
Local pid:
cs:2359
ISBN:
3540436138

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP