PROOF TECHNIQUES FOR HIERARCHICALLY STRUCTURED PROGRAMS

Lawrence Baylor Robinson

doi:10.1145/359461.359483

1977-04-01

Lawrence Baylor Robinson

LEVITT, KN

DOI：10.1145/359461.359483

原文链接

查看原文

摘要

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

暂无机构信息

引用论文

TREATMENT OF DATA TYPES IN EL1

COMMUNICATIONS OF THE ACM

IF12.2

1974-05-01

OAAI

WEGBREIT, B

Influence of Flow and Temperature on Survival of Wild Subyearling Fall Chinook Salmon in the Snake River 流量和温度对蛇河野生一岁秋季奇努克鲑鱼生存的影响

North American Journal of Fisheries Management

IF0

2003-05-01

PREAI

William P. Connor; Howard L. Burge; John R. Yearsley; Theodore C. Bjornn

MONITORS - OPERATING SYSTEM STRUCTURING CONCEPT

COMMUNICATIONS OF THE ACM

IF12.2

1974-10-01

664

OAAI

HOARE, CAR

PROOF OF ALGORITHNS - A NEW KIND OF CERTIFICATION

COMMUNICATIONS OF THE ACM

IF12.2

1970-06-01

OAAI

LONDON, RL

Correction to Development of Label-Free Colorimetric Assay for MERS-CoV Using Gold Nanoparticles

ACS Sensors

IF0

2019-09-04

OAAI

Hanbi Kim; Minseon Park; Joonki Hwang; Jin Hwa Kim; Doo-Ryeon Chung; Kyu-sung Lee; Minhee Kang

GUARDED COMMANDS, NONDETERMINACY AND FORMAL DERIVATION OF PROGRAMS

COMMUNICATIONS OF THE ACM

IF12.2

1975-08-01

974

OAAI

DIJKSTRA, EW

EXAMPLE OF HIERARCHICAL DESIGN AND PROOF

COMMUNICATIONS OF THE ACM

IF12.2

1978-12-01

OAAI

SPITZEN, JM; LEVITT, KN; ROBINSON, L

ALGORITHM-245 - TREESORT 3 [M1]

COMMUNICATIONS OF THE ACM

IF12.2

1964-12-01

142

OAAI

FLOYD, RW

Ferroelectric properties of epitaxial Bi₂SiO₅ thin films grown on SrTiO₃ substrates with various orientations

Japanese Journal of Applied Physics

IF0

2019-08-21

PREAI

Masanori Kodera; Takao Shimizu; Hiroshi Funakubo

TECHNIQUE FOR SOFTWARE MODULE SPECIFICATION WITH EXAMPLES

COMMUNICATIONS OF THE ACM

IF12.2

1972-05-01

239

OAAI

PARNAS, DL

查看更多内容