Refinement-Based Game Semantics for Certified Components.
-
주제(키워드)
Computer science
, Operating systems
, Language
, Calculus
, Simulation
, Construction
, Behavior
, Software
, Programming languages
, Conventions
, Systems design
, Logic
, Flexibility
, Dissertations & theses
, Decomposition
, Approximation
, Taxonomy
, Algebra
, Games
, Semantics
, Interfaces
, Algebraic effects
, Certified compilation
, Compositional semantics
, Formal methods
, Game semantics
, Refinement calculus
-
발행기관
Yale University
-
발행년도
2020
-
학위명
박사
-
학과 및 전공
Computer Science
-
ISBN
9798538102730
-
UCI
I804:11009-000000259000
-
제출원본
PQDT28094879
LOADING...
