会员服务
程序设计语言是用于书写计算机程序的语言。语言的基础是一组记号和一组规则。根据规则由记号构成的记号串的总体就是语言。在程序设计语言中，这些记号串就是程序。程序设计语言有3个方面的因素，即语法、语义和语用。语法表示程序的结构或形式，亦即表示构成语言的各个记号之间的组合规律，但不涉及这些记号的特定含义，也不涉及使用者。语义表示程序的含义，亦即表示按照各种方法所表示的各个记号的特定含义，但不涉及使用者。
Choreographic Programming of Isolated Transactions
Arxiv
0+阅读 · 2023年4月13日
参考链接
子主题
IST
TOPLAS
ICSSP
ISSRE
RE
CAiSE
ICSOC
OSDI
TOSEM
STTT
RE
HotOS
TSE
PEPM
SPIN
FM
SQJ
SCAM
SAS
FSE/ESEC
ECOOP
ESEM
SOCA
QRS
ATVA
ICST
ESE
ICSME
ICSE
ICWE
SANER
TASE
OOPSLA
COMPSAC
LOPSTR
EASE
SCP
ISSTA
STVR
ICPC
SCC
PLDI
SPE
REFSQ
TPLP
ISPASS
ICWS
ICFP
MSR
SOSP
ASE
SoSyM
ETAPS
TOOLS
TSC
IJSEKE
APSEC
VMCAI
ICFEM
SEKE
JSS
JWE
APLAS
ASE
POPL
Engineering
Middleware
JFP
LCTES
JLAP
MoDELS
Journal of Software: Evolution and Process
CP
ICECCS
ICSR
微信扫码咨询专知VIP会员
Top