Programming language foundations pbk

Material type: 図書

Author: Aaron Stump

Publisher: Wiley

Publication date: c2014.

Material Format: Paper

Capacity, size, etc.: 24 cm

NDC: -

View All

Notes on use

Note (General)：: Includes bibliographical references and indexSummary: "Stump's Programming Language Foundations is a short concise text that covers semantics, equally...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9781118007471
Title: Programming language foundations
Volume: pbk
Author/Editor: Aaron Stump
Author Heading: Stump, Aaron
Publication, Distribution, etc.: Wiley
Publication Date: c2014.
c2014
Publication Date (W3CDTF): 2014
Size: 24 cm
Place of Publication (Country Code): us
Text Language Code: en
Subject Heading: Programming languages (Electronic computers)
Programming languages (Electronic computers) -- Semantics
COMPUTERS / Software Development & Engineering / General. bisacsh
LCC: QA76.7
Target Audience: 一般
Note (General): Includes bibliographical references and index
Summary: "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
Related Material (URI): https://ci.nii.ac.jp/ncid/BB14689350#entity
https://lccn.loc.gov/2013020038
https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000111727
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BB14689350 : BB14689350
LC Control Number: 2013020038
https://lccn.loc.gov/2013020038