Publications: Cliff B Jones - Computing Science - Newcastle University
Publications: Cliff B Jones - Computing Science - Newcastle University
Publications: Cliff B Jones - Computing Science - Newcastle University
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
[130] <strong>Cliff</strong> B. <strong>Jones</strong>. More on exception mechanisms. In Bjørner and <strong>Jones</strong> [8],chapter 5, pages 125–140.[131] Wolfgang Henhapl and <strong>Cliff</strong> B. <strong>Jones</strong>. Algol 60. In Bjørner and <strong>Jones</strong> [8],chapter 6, pages 141–174.[132] <strong>Cliff</strong> B. <strong>Jones</strong>. Compiler design. In Bjørner and <strong>Jones</strong> [8], chapter 8, pages253–270.[133] Elizabeth Fielding and <strong>Cliff</strong> B. <strong>Jones</strong>. The meta-language. In Bjørner and <strong>Jones</strong>[8], chapter 10, pages 323–352.[134] C. B. <strong>Jones</strong>. Formal methods in software development. In Proceedings of Stateof the Art Review 1981, pages 107–113. Infotech, 1981.[135] C. B. <strong>Jones</strong>. Towards more formal specifications. In C. Floyd and H. Kopetz,editors, Software Engineering – Entwurf und Specifikation, pages 19–45. TeubnerVerlag, 1981.[136] C. B. <strong>Jones</strong>. Specification as a design base. In Trends in Information Processing,volume 123 of Lecture Notes in Computer <strong>Science</strong>, pages 103–105. Springer-Verlag, 1981.[137] C. B. <strong>Jones</strong>. Models of programming language concepts. In Abstract SoftwareSpecifications, volume 86 of Lecture Notes in Computer <strong>Science</strong>, pages 100–143. Springer-Verlag, 1980.[138] C. B. <strong>Jones</strong>. The role of formal specifications in software development. In Stateof the Art Report: Life-Cycle Management, volume 8, pages 117–133. Infotech,1980.[139] C. B. <strong>Jones</strong>. Constructing a theory of a data structure as an aid to programdevelopment. Acta Informatica, 11:119–137, 1979.[140] C. B. <strong>Jones</strong>. The Vienna Development Method: Examples of compiler development.In M. Amirchahy and D. Neel, editors, Le Point sur la Compilation,pages 89–114. IRIA-SEFI, 1979.[141] <strong>Cliff</strong> B. <strong>Jones</strong>. The meta-language: A reference manual. In Bjørner and <strong>Jones</strong>[10], pages 218–277.[142] <strong>Cliff</strong> B. <strong>Jones</strong>. Denotational semantics of goto: An exit formulation and itsrelation to continuations. In Bjørner and <strong>Jones</strong> [10], pages 278–304.[143] Wolfgang Henhapl and <strong>Cliff</strong> B. <strong>Jones</strong>. A formal definition of ALGOL 60 asdescribed in the 1975 modified report. In Bjørner and <strong>Jones</strong> [10], pages 305–336.[144] C. B. <strong>Jones</strong>. Structured design and coding: Theory versus practice. Informatie,19(6):311–319, June 1977.11
![Manuel Mazzara Full CV (November 2011) [PDF] - Computing ...](https://img.yumpu.com/33775457/1/184x260/manuel-mazzara-full-cv-november-2011-pdf-computing-.jpg?quality=85)
Change language