Practical foundations for programming languages / Robert Harper, Carnegie Mellon University.
Harper, Robert, 1957-| Call Number | 005.13 |
| Author | Harper, Robert, 1957- author. |
| Title | Practical foundations for programming languages / Robert Harper, Carnegie Mellon University. |
| Edition | Second edition. |
| Physical Description | 1 online resource (xviii, 494 pages) : digital, PDF file(s). |
| Notes | Title from publisher's bibliographic system (viewed on 08 Mar 2016). |
| Summary | This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements. |
| Subject | PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS) |
| Multimedia |
Total Ratings:
0
02294nam a22003498i 4500
001
vtls001594122
003
VRT
005
20220808222300.0
006
m|||||o||d||||||||
007
cr||||||||||||
008
220808s2016||||enk o ||1 0|eng|d
020
$a 9781316576892 (ebook)
020
$z 9781107150300 (hardback)
035
$a (UkCbUP)CR9781316576892
039
9
$y 202208082223 $z santha
040
$a UkCbUP $b eng $e rda $c UkCbUP
050
0
0
$a QA76.7 $b .H377 2016
082
0
0
$a 005.13 $2 23
100
1
$a Harper, Robert, $d 1957- $e author.
245
1
0
$a Practical foundations for programming languages / $c Robert Harper, Carnegie Mellon University.
250
$a Second edition.
264
1
$a Cambridge : $b Cambridge University Press, $c 2016.
300
$a 1 online resource (xviii, 494 pages) : $b digital, PDF file(s).
336
$a text $b txt $2 rdacontent
337
$a computer $b c $2 rdamedia
338
$a online resource $b cr $2 rdacarrier
500
$a Title from publisher's bibliographic system (viewed on 08 Mar 2016).
520
$a This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.
650
0
$a PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)
776
0
8
$i Print version: $z 9781107150300
856
4
0
$u https://doi.org/10.1017/CBO9781316576892
999
$a VIRTUA
No Reviews to Display
| Summary | This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements. |
| Notes | Title from publisher's bibliographic system (viewed on 08 Mar 2016). |
| Subject | PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS) |
| Multimedia |