WorldCat Identities

Painter, James Allan

Overview
Works: 2 works in 24 publications in 1 language and 953 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 Undetermined and held by 940 WorldCat member libraries worldwide

Semantic correctness of a compiler for an Algol-like language by James A 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
0
Audience Level
1
  Kids General Special  
Audience level: 0.38 (from 0.38 for A concorda ... to 0.81 for Semantic c ...)

Languages
English (23)