Concepedia

Arne Wang

AW

Statistics

Publications

2

Citations

86

H-Index

2

Active since

1971

Affiliations

University of Oslo(Current)

Arne Wang is an author at University of Oslo specializing in computing, computer science, and theorem proving.

Publications per year

1971–1976

2

Publications

2

Coroutine sequencing in a block structured environment

Arne Wang, Ole-Johan Dahl · BIT Numerical Mathematics · 1971 · 65 citations

, , +4

An axiomatic basis for proving total correctness of goto-programs

Arne Wang · BIT Numerical Mathematics · 1976 · 21 citations

, , +13

1–2 of 2