MIT Press series in the foundations of computing

• Material Type: 図書
• Title: MIT Press series in the foundations of computing
• Publication, Distribution, etc.: MIT Press
• Alternative Title: Foundations of computing series; Foundations of computing
• Place of Publication (Country Code): us
• Target Audience: 一般
• Related Material: Exploring interior-point linear programming : algorithms and software; https://cir.nii.ac.jp/crid/1130000794599960064; Dynamic logic; https://cir.nii.ac.jp/crid/1130000794858261248; Equational logic as a programming language; https://cir.nii.ac.jp/crid/1130000795074730496; The structure of typed programming languages; https://cir.nii.ac.jp/crid/1130000795091607680; Realistic compiler generation; https://cir.nii.ac.jp/crid/1130000795096747264; Resource allocation problems : algorithmic approaches; https://cir.nii.ac.jp/crid/1130000795494065280; Theoretical aspects of object-oriented programming : types, semantics, and language design; https://cir.nii.ac.jp/crid/1130000795689615488; Algebraic semantics of imperative programs; https://cir.nii.ac.jp/crid/1130000795886711936; The formal semantics of programming languages : an introduction; https://cir.nii.ac.jp/crid/1130000796381754880; Circuit complexity and neural networks; https://cir.nii.ac.jp/crid/1130000796962194048; Proof, language, and interaction : essays in honour of Robin Milner; https://cir.nii.ac.jp/crid/1130000797230487808; https://cir.nii.ac.jp/crid/1130015088731512719; Hilbert's tenth problem; https://cir.nii.ac.jp/crid/1130282268754189824; PX, a computational logic; https://cir.nii.ac.jp/crid/1130282268784704640; The stable marriage problem : structure and algorithms; https://cir.nii.ac.jp/crid/1130282268994360192; Computability and complexity : from a programming perspective; https://cir.nii.ac.jp/crid/1130282269068007552; Complexity issues in VLSI : optimal layouts for the shuffle-exchange graph and other networks; https://cir.nii.ac.jp/crid/1130282269616980480; Efficient algorithms; https://cir.nii.ac.jp/crid/1130282270502360192; Theory of deductive systems and its applications; https://cir.nii.ac.jp/crid/1130282271235862528; Foundations for programming languages; https://cir.nii.ac.jp/crid/1130282271272438272; Basic category theory for computer scientists; https://cir.nii.ac.jp/crid/1130282271649484288; Control flow semantics; https://cir.nii.ac.jp/crid/1130282272008351616; Algebraic theory of processes; https://cir.nii.ac.jp/crid/1130282272181067776; Logic and information flow; https://cir.nii.ac.jp/crid/1130282272438571264; Semantics of programming languages : structures and techniques; https://cir.nii.ac.jp/crid/1130282272717984384; Categories, types, and structures : an introduction to category theory for the working computer scientist; https://cir.nii.ac.jp/crid/1130282273030042624; Single-layer wire routing and compaction; https://cir.nii.ac.jp/crid/1130282273109783040; From logic to logic programming; https://cir.nii.ac.jp/crid/1130282273198068864; https://cir.nii.ac.jp/crid/1130298422450793275
• Related Material (URI): https://ci.nii.ac.jp/ncid/BA0001568X#entity
• Data Provider (Database): 国立情報学研究所 : CiNii Research
• Original Data Provider (Database): CiNii Books; https://ci.nii.ac.jp/books
• NCID: https://ci.nii.ac.jp/ncid/BA0001568X : BA0001568X

Table of Contents

Exploring interior-point linear programming : algorithms and software

Dynamic logic

Equational logic as a programming language

The structure of typed programming languages

Realistic compiler generation