WorldCat Identities

Painter, James Allan

Works: 2 works in 24 publications in 1 language and 949 library holdings
Genres: Concordances 
Roles: Author, Editor
Publication Timeline
Most widely held works by James Allan Painter
A concordance to the poems of W.B. Yeats by Stephen Maxfield Parrish( Book )

17 editions published between 1963 and 1973 in English and held by 936 WorldCat member libraries worldwide

Semantic correctness of a compiler for an Algol-like language by James Allan Painter( )

7 editions published between 1966 and 1969 in English and held by 10 WorldCat member libraries worldwide

This is a semantic proof of the correctness of a compiler. The abstract syntax and semantic definition are given for the language Mickey, an extension of Micro-ALGOL. The abstract syntax and semantics are given for a hypothetical one-register single-address computer with 14 operations. A compiler, using recursive descent, is defined. Formal definitions are also given for state vector, a and c functions, and correctness of a compiler. Using these definitions, the compiler is proven correct
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.38 (from 0.38 for A concorda ... to 0.81 for Semantic c ...)

English (24)