서브메뉴
검색
Refinement-Based Game Semantics for Certified Components.
Refinement-Based Game Semantics for Certified Components.
상세정보
- 자료유형
- 학위논문
- 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
MARC
008220602s2020 ulk 00 kor■001000016051061
■00520220210092553
■020 ▼a9798538102730
■035 ▼a(MiAaPQ)AAI28094879
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aKoenig, Jeremie.
■24510▼aRefinement-Based Game Semantics for Certified Components.
■260 ▼a[S.l.]▼bYale University. ▼c2020
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2020
■300 ▼a202 p.
■500 ▼aSource: Dissertations Abstracts International, Volume: 83-03, Section: B.
■500 ▼aAdvisor: Shao, Zhong.
■5021 ▼aThesis (Ph.D.)--Yale University, 2020.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0265.
■650 4▼aComputer science.
■650 4▼aOperating systems.
■650 4▼aLanguage.
■650 4▼aCalculus.
■650 4▼aSimulation.
■650 4▼aConstruction.
■650 4▼aBehavior.
■650 4▼aSoftware.
■650 4▼aProgramming languages.
■650 4▼aConventions.
■650 4▼aSystems design.
■650 4▼aLogic.
■650 4▼aFlexibility.
■650 4▼aDissertations & theses.
■650 4▼aDecomposition.
■650 4▼aApproximation.
■650 4▼aTaxonomy.
■650 4▼aAlgebra.
■650 4▼aGames.
■650 4▼aSemantics.
■650 4▼aInterfaces.
■653 ▼aAlgebraic effects
■653 ▼aCertified compilation
■653 ▼aCompositional semantics
■653 ▼aFormal methods
■653 ▼aGame semantics
■653 ▼aRefinement calculus
■690 ▼a0984
■690 ▼a0395
■690 ▼a0679
■71020▼aYale University▼bComputer Science.
■7730 ▼tDissertations Abstracts International▼g83-03B.
■773 ▼tDissertation Abstract International
■790 ▼a0265
■791 ▼aPh.D.
■792 ▼a2020
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16051061▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202202▼f2022
