Functional Programming and Input/Output
- Editore:
Cambridge University Press
- EAN:
9780521471039
- ISBN:
0521471036
- Pagine:
- 171
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Functional Programming and Input/Output
A common attraction of functional programming is the ease with which proofs can be given to program properties. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti