Warning: is_file(): open_basedir restriction in effect. File(/var/www/vhosts/lesehits.de/httpdocs/rbenutzer/59562/2.webp) is not within the allowed path(s): (/var/www/vhosts/lesehit.de/:/tmp/) in /var/www/vhosts/lesehit.de/httpdocs/detail_autor.php on line 382
- Publikationen ca: 2
- Buchbewertungen ca: 1
- Fragen & Antworten
Dusko Pavlovic
Programs as Diagrams
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations).
Programs as Diagrams
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations).