Programming Language Foundations/ Aaron Stump
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Pusat Sumber Pendidikan IABI | 005.1 STU 2014 (Browse shelf (Opens below)) | Available | 0000009312 | |
![]() |
Pusat Sumber Pendidikan IABI | 005.1 STU 2014 (Browse shelf (Opens below)) | Available | 0000009313 | |
![]() |
Pusat Sumber Pendidikan IABI | 005.1 STU 2014 (Browse shelf (Opens below)) | Available | 0000009314 |
Browsing Pusat Sumber Pendidikan IABI shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
005.1 SIN 2009 Software project management/ | 005.1 SIN 2009 Software project management/ | 005.1 SIN 2009 Software project management/ | 005.1 STU 2014 Programming Language Foundations/ | 005.1 STU 2014 Programming Language Foundations/ | 005.1 STU 2014 Programming Language Foundations/ | 005.1 STU 2014 Effective methods for software and systems integration / |
"Stump's Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional. Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics; extensions to concurrent and non-deterministic versions; operational semantics for untyped lambda calculus; functional programming; type systems; and coverage of emerging topics and modern research directions. "-- Provided by publisher.
Includes bibliographical references (pages 321-323) and index
There are no comments on this title.