| David Till. Tuples in imperative programming languages. Master's thesis, University of Waterloo, 1989. |
....to reflect some clarifications and changes that have been made to the language as a result of the work done in this thesis. Furthermore, the Cforall language has been extended in other ways since Ditchfield s thesis; in particular, it now incorporates many of the features of the KWC project [6, 35]. 1.1 The Philosophy of Cforall The C language was originally designed by Dennis Ritchie in the period from 1969 1973 as an implementation language for the UNIX operating system [29] In the ensuing years it has become as notable for its deficiencies as for its merits its lack of high level ....
.... another function call, e.g. int, double ] f( void ) returns 2 values void g( int, double ) void h( g( f( both arguments provided by call to f Although the topic of expression analysis and code generation for functions returning multiple values has been discussed previously [35], the combination of multiple return values with overloaded names leads to significant new complexity in the analysis of expressions that has not been previously discussed. The basic technique of overloaded names has a long history in programming languages, dating back to PL I and Algol 68 and ....
[Article contains additional citation context not shown here]
David Till. Tuples in imperative programming languages. Master's thesis, University of Waterloo, 1989.
....The current C8 1 project is a combination of two C programming language projects. Both projects extended C in a similar fashion to C , i.e. building new features and capabilities into the language; in a sense, building a newer language on top of the older one. The work started with K W C [Til89, BTZ94] which extended C with simpler declaration syntax, multiple return values from routines, and extended assignment capabilities using the notion of tuples. See [WC96] for some similar work, but for C . The original C8 project [Dit92] extended the C type system with parametric ....
David W. Till. Tuples In Imperative Programming Languages. Master's thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1, 1989.
No context found.
David W. Till, Tuples In Imperative Programming Languages, Master's thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, N2L 3G1, 1989.
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