Gå direkte til innholdet
Logic of Domains
Spar

Logic of Domains

This monograph studies the logical aspects of domains as used in de­ notational semantics of programming languages. Part I SFP Domains Chapter 1 Introduction This chapter provides a brief exposition to domain theory, denotational se­ mantics, program logics, and proof systems.
Forfatter
G. Zhang
Opplag
Softcover reprint of the original 1st ed. 1991
ISBN
9781461267638
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
22.12.2012
Antall sider
260