募捐 9月15日2024 – 10月1日2024 关于筹款

Semantic Domains and Denotational Semantics

Semantic Domains and Denotational Semantics

Carl A. Gunter, Peter D. Mosses, Dana S. Scott
0 / 0
0 comments
你有多喜欢这本书？
下载文件的质量如何？
下载该书，以评价其质量
下载文件的质量如何？
MS-CIS-89-16, LOGIC & COMPUTATION 04
种类:
Computers - Programming
年:
1989
语言:
english
页:
127
文件:
PDF, 5.21 MB
IPFS:
CID , CID Blake2b
english, 1989
线上阅读
正在转换
转换为 失败

关键词

 
function
functions
domains
denotations
syntax
continuous
env
semantic
programming
denotational
cpo
abstract
statements
finite
notation
equations
programs
define
operators
element
defined
declarations
fixed
strict
theorem
values
variables
binary
input
output
denotes
parameter
sets
consider
poset
powerdomain
statement
concrete
definitions
bounded
plotkin
calculus
equation
scott
suppose
argument
continuations
descriptions
corresponding
directed
specified
context
fix
symbols
trivial
constructs
execution
ideal
mathematical
recursive

关联书单