Cliff B. Jones (Selection)

Clifford B. Jones

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

18 Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155

5 Wolfgang Henhapl, Cliff B. Jones: A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336

1 Wolfgang Henhapl, Cliff B. Jones: A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971)

Selection of 3 from 105 records - Cliff B. Jones has 91 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

18		Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas: On the Formal Definition of a PL/I Subset (Selected parts). Programming Languages and Their Definition 1984: 107-155
5		Wolfgang Henhapl, Cliff B. Jones: A Formal Definition of Algol 60 as Described in the 1975 Modified Report. The Vienna Development Method: The Meta-Language 1978: 305-336
1		Wolfgang Henhapl, Cliff B. Jones: A Run-Time Mechanism for Referencing Variables. Inf. Process. Lett. 1(1): 14-16 (1971)