CORRECT PROGRAMS

被引：0

|

作者：

ALLAN, GJB

机构：

来源：

SOFTWARE-PRACTICE & EXPERIENCE | 1983年 / 13卷 / 08期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：768 / 769

页数：2

相关论文

共 50 条

[31] Tool support for the interactive derivation of formally correct functional programs
Guttmann, W
Partsch, H
Schulte, W
Vullinghs, T
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (02) : 173 - 188
[32] Automated coordination programs do not make correct results automatic
Cardinal, PG
1996 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS TECHNICAL CONFERENCE, CONFERENCE RECORD, 1996, : 97 - 102
[33] A METHOD FOR THE DEVELOPMENT OF TOTALLY CORRECT SHARED-STATE PARALLEL PROGRAMS
STOLEN, K
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 510 - 525
[34] Towards semi-automatic generation of provably correct algorithmic programs
Shi, Haihe
Xue, Jinyun
SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 952 - +
[35] Fred: An approach to generating real, correct, reusable programs from proofs
Crossley, J
Poernomo, I
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (01) : 71 - 88
[36] FROM ALGEBRAIC SPECIFICATIONS TO CORRECT ADA PROGRAMS - THE ESPRIT PROJECT PROSPECTRA
DELACRUZ, P
RIESCO, AP
ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 265 - 272
[37] From algebraic specifications to correct Ada programs: The ESPRIT project PROSPECTRA
de la Cruz, P.
Perez Riesco, A.
Electrical communication, 1988, 62 (3-4): : 265 - 272
[38] Better IEPs: How to develop legally correct and educationally useful programs
Van Dycke, J
INTERVENTION IN SCHOOL AND CLINIC, 2003, 38 (04) : 251 - 251
[39] VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory
Rubbens, Robert
van den Bos, Petra
Huisman, Marieke
INTEGRATED FORMAL METHODS, IFM 2024, 2025, 15234 : 217 - 236
[40] Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs
Krawiec, Krzysztof
Bladek, Iwo
Swan, Jerry
Drake, John H.
PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5304 - 5308

← 1 2 3 4 5 →