Continuation semantics is the traditional mathematical formalism for specifying the semantics of non-local control operations. Modern Lisp-style languages, however, contain advanced control structures like full functional jumps and control delimiters for which continuation semantics is insufficient. We solve this problem by introducing an abstract domain of
机译:续篇:处理全跳的数学语义学
机译:电机系统中的抽象语义? - 与携带抽象情感和精神意义的语义词语的被动阅读有关的FMRI研究
机译:VINITI RAS中的数学:从抽象期刊到数据库:第1部分。1953年至2007年抽象期刊(AJ)“数学”的发展
机译:摘要意义代表的延续语义
机译:用于城市犯罪模式的语义建模和仿真的抽象数学框架。
机译:T38。海报介绍:HAMLETT:止痛药的治疗针对性治疗的长期评估-实用的单盲随机对照对照试验与心理药物的停用
机译:经典逻辑,连续语义和抽象机器
机译:线性约束问题的变分原理。规定的跳跃和延续类型限制。