Foundations for Programming Languages (Foundations of Computing)
Blowout Sale! Free Shipping Included! Save 51% on the Foundations for Programming Languages (Foundations of Computing) by Brand: MIT Press at Translate This Website. Hurry! Limited time offer. Offer valid only while supplies last. Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems. Compared to other texts on the subject, Foundations for Programming Languages is distinguished primarily by its inclusion of material on universal algebra and algebraic data types, imperative languages and Floyd-Hoare logic, and advanced chapters on polymorphism and modules, subtyping and object-oriented concepts, and type inference. The book is mathematically oriented but includes discussion, motivation, and examples that make the material accessible to students specializing in software systems, theoretical computer science, or mathematical logic. Foundations for Programming Languages is suitable as a reference for professionals concerned with programming languages, software validation or verification, and programming, including those working with software modules or object-oriented programming.Foundations of Computing series
|Manufacturer:||The MIT Press|
|Brand:||Brand: MIT Press|
|Publisher:||The MIT Press|
|Studio:||The MIT Press|
|Item Weight:||3.5 pounds|
|Item Size:||1.95 x 9.2 x 9.2 inches|
|Package Weight:||3.35 pounds|
|Package Size:||7.2 x 1.9 x 1.9 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Brand: MIT Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Brand: CL Engineering
ean: 9780534932756, isbn: 0534932754,
Clements has a gift for conveying highly complex, technical information in an exceptionally clear and readable manner. Clements writing style is very student oriented, and stresses the basics of 68000 ASL while also covering the latest information on...
By Bjarne Stroustrup
mpn: 39022161, ean: 9780321958327, isbn: 0321958322,
The new C++11 standard allows programmers to express ideas more clearly, simply, and directly, and to write faster, more efficient code. Bjarne Stroustrup, the designer and original implementer of C++, has reorganized, extended, and completely rewrit...
By Brand: Addison-Wesley
mpn: Illustrations, ports., ean: 9780131395312, isbn: 0131395319,
For undergraduate students in Computer Science and Computer Programming courses. Now in its Tenth Edition, Concepts of Programming Languages introduces students to the main constructs of contemporary programming languages and provides the tools ...
mpn: black & white tables, figures, ean: 9780133769401, isbn: 0133769402,
Assembly Language for x86 Processors, 7e is intended for use in undergraduate courses in assembly language programming and introductory courses in computer systems and computer architecture. This title is also suitable for embedded systems programm...
By Brand: Franklin, Beedle Associates Inc.
ean: 9781590282502, isbn: 1590282507,
This book introduces the concepts of diverse programming languages for students who have already mastered basic programming in at least one language. It is suitable for use in an undergraduate course for computer science and computer engineering majo...
ean: 9781484224021, isbn: 9781484224021,
Learn Intel 64 assembly language and architecture, become proficient in C, and understand how the programs are compiled and executed down to machine instructions, enabling you to write robust, high-performance code.Low-Level Programming explains Int...
By E-Man Press LLC
ean: 9780982692660, isbn: 0982692668,
Significant changes in the third edition include updated serial communication description (UART, SPI, and I2C), new serial communication examples, incorporation of GNU gcc compiler, low power modes, modification of example programs from STM32L1 (Cort...