Provably correct implementation of the AbC calculus

被引：0
|
作者：
De Nicola, Rocco [1 ,2 ]
Duong, Tan [1 ]
Loreti, Michele [3 ]
机构：
[1] IMT School for Advanced Studies Lucca, Italy
[2] CINI – Cyber Security Laboratory, Rome, Italy
[3] University of Camerino, Italy
来源：
Science of Computer Programming | 2021年 / 202卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Provably correct implementation of the AbC calculus
    Nicola, Rocco De
    Duong, Tan
    Loreti, Michele
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2021, 202
  • [2] PROVABLY CORRECT COMPILER DEVELOPMENT AND IMPLEMENTATION
    BUTH, B
    BUTH, KH
    FRANZLE, M
    VONKARGER, B
    LAKHNECHE, Y
    LANGMAACK, H
    MULLEROLM, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 641 : 141 - 155
  • [3] A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C plus
    Rauf, Rose H. Abdul
    Berger, Ulrich
    Setzer, Anton
    [J]. THEORY OF COMPUTING SYSTEMS, 2008, 43 (3-4) : 298 - 321
  • [4] A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++
    Rose H. Abdul Rauf
    Ulrich Berger
    Anton Setzer
    [J]. Theory of Computing Systems, 2008, 43 : 298 - 321
  • [5] Provably correct Java implementations of Spi Calculus security protocols specifications
    Politecnico di Torino, Dip. di Automatica e Informatica, c.so Duca degli Abruzzi 24, I-10129 Torino, Italy
    [J]. Comput Secur, 3 (302-314):
  • [6] Provably correct Java']Java implementations of Spi Calculus security protocols specifications
    Pironti, Alfredo
    Sisto, Riccardo
    [J]. COMPUTERS & SECURITY, 2010, 29 (03) : 302 - 314
  • [7] A PROVABLY CORRECT COMPILER GENERATOR
    PALSBERG, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 418 - 434
  • [8] PROVABLY CORRECT CRITICAL PATHS
    MCGEER, PC
    BRAYTON, RK
    [J]. ADVANCED RESEARCH IN VLSI : PROCEEDINGS OF THE DECENNIAL CALTECH CONFERENCE ON VLSI, 1989, : 119 - 142
  • [9] Provably correct runtime monitoring
    School of Computer Science and Communication, KTH, Sweden
    不详
    [J]. J. Logic. Algebraic Program., 1600, 5 (304-339):
  • [10] Provably correct runtime monitoring
    Aktug, Irem
    Dam, Mads
    Gurov, Dilian
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 304 - 339
12345