Martin Richards and Colin Whitby-Stevens. BCPL { The language and its compiler. Cambridge University Press, 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Type-Based Decompilation - Mycroft (1999) (5 citations) (Correct)
....the lower level code to be register transfer language (RTL) 1 RTL can be used to express various machine codes in architecture independent manner, but in examples we often use a generic RISClike instruction set. Another important application which drove this work was a large quantity of BCPL [10] legacy code. BCPL was an untyped fore runner of C popular at Cambridge for low level implementation until its replacement with ANSI C around 10 years ago. Being untyped it has a single notion of vector which con ates the notions of array and record types in the same way that assembler code does. ....
....earlier, generated types are more expressive than C types, and this sometimes means that a choice has to be made from among various possibilities. Moreover certain C types are less commonly used that others, e.g. a function parameter is more likely to be described as (int ) rather than (int ( [10]) whereas appropriate uses would leave to identical target code. The default method for selecting types which result from uni cation is as follows: translate char , short , int as char, short, int; translate ptr(t) to T where T translates t; translate array(t) to T [ where T ....
[Article contains additional citation context not shown here]
Richards, M. and Whitby-Strevens, C. BCPL|The Language and its Compiler, CUP 1979.
C∀, a Study in Evolutionary Design in Programming Languages - Jaramillo (2004) (Correct)
No context found.
Martin Richards and Colin Whitby-Stevens. BCPL { The language and its compiler. Cambridge University Press, 1979.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC