자료유형  

 학위논문

Control Number  

0016051061

International Standard Book Number  

9798538102730

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Koenig, Jeremie.

Publication, Distribution, etc. (Imprint  

[S.l.] : Yale University., 2020

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2020

Physical Description  

202 p.

General Note  

Source: Dissertations Abstracts International, Volume: 83-03, Section: B.

General Note  

Advisor: Shao, Zhong.

Dissertation Note  

Thesis (Ph.D.)--Yale University, 2020.

Restrictions on Access Note  

This item must not be sold to any third party vendors.

Subject Added Entry-Topical Term  

Computer science.

Subject Added Entry-Topical Term  

Operating systems.

Subject Added Entry-Topical Term  

Language.

Subject Added Entry-Topical Term  

Calculus.

Subject Added Entry-Topical Term  

Simulation.

Subject Added Entry-Topical Term  

Construction.

Subject Added Entry-Topical Term  

Behavior.

Subject Added Entry-Topical Term  

Software.

Subject Added Entry-Topical Term  

Programming languages.

Subject Added Entry-Topical Term  

Conventions.

Subject Added Entry-Topical Term  

Systems design.

Subject Added Entry-Topical Term  

Logic.

Subject Added Entry-Topical Term  

Flexibility.

Subject Added Entry-Topical Term  

Dissertations & theses.

Subject Added Entry-Topical Term  

Decomposition.

Subject Added Entry-Topical Term  

Approximation.

Subject Added Entry-Topical Term  

Taxonomy.

Subject Added Entry-Topical Term  

Algebra.

Subject Added Entry-Topical Term  

Games.

Subject Added Entry-Topical Term  

Semantics.

Subject Added Entry-Topical Term  

Interfaces.

Index Term-Uncontrolled  

Algebraic effects

Index Term-Uncontrolled  

Certified compilation

Index Term-Uncontrolled  

Compositional semantics

Index Term-Uncontrolled  

Formal methods

Index Term-Uncontrolled  

Game semantics

Index Term-Uncontrolled  

Refinement calculus

Added Entry-Corporate Name  

Yale University Computer Science

Host Item Entry  

Dissertations Abstracts International. 83-03B.

Host Item Entry  

Dissertation Abstract International

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:609983