Rodolfo Gabriel Esteves Jaramillo  Home/Search
Context
Related
| plg.uwaterloo.ca/p...stevesThesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: plg.uwaterloo.ca/plg (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: New programming languages appear constantly. Many of them are based on existing ones but di er suciently so they are incompatible (e.g., C/C++ and Java). Building on the C8 language (Ditch eld [47] and Bilson [16]), this thesis continues the C8 \evolutionary" approach to programming language design based upon the very successful C programming language, preserving its syntax and semantics while extending it with features that considerably enhance its expressiveness. The evolutionary approach... (Update)
Active bibliography (related documents): More All
0.7: The Development of the C Language - Ritchie (1993) (Correct)
0.7: C and C++: Siblings - Stroustrup (Correct)
0.6: Reflections on Standard ML - MacQueen (1994) (Correct)
Similar documents based on text: More All
0.4: An Embedded Shading Language - Zheng Qin In (2004) (Correct)
0.1: Multi-dimensional Interval Routing Schemes - Ganjali (2001) (Correct)
0.1: Synchronization in Nested Transactions - Resende (Correct)
BibTeX entry: (Update)
@misc{ jaramillo-cforall,
author = "Rodolfo Gabriel Esteves Jaramillo",
title = "C∀, a Study in Evolutionary Design in Programming Languages",
url = "citeseer.ist.psu.edu/jaramillo04cforall.html" }
Citations (may not include all citations):476 of Programming Languages (context) - Ritchie, of et al.
461 Programming Language (context) - Stroustrup - 1997
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
227 Kernighan and Dennis M (context) - Brian - 1978
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
165 Generative programming: methods (context) - Czarnecki, Eisenecker - 2000
137 The Art of the Metaobject Protocol (context) - Kiczales, Rivi et al. - 1991
135 Object Oriented Programming: An Evolutionary Approach (context) - Cox, Novobilski - 1991
133 IEEE Transactions on Software Engineering (context) - Buhr, Harji et al. - 2000
115 Revised Report on the Algorithmic Language Scheme - Kelsey, Clinger et al. - 1998
82 Object-oriented programming in the BETA programming language (context) - Madsen, Moller-Pedersen et al. - 1993
63 GXL: Toward a standard exchange format - Holt, Winter et al. - 2000
56 An algebra for structured text search and a framework for it.. - Clarke, Cormack et al. - 1995
55 IEEE Transactions on Software Engineering (context) - Ernst, Badros et al. - 2002
54 Exception handling: Issues and a proposed notation (context) - Goodenough - 1975
50 The Design and Evolution of C (context) - Stroustrup - 1994
38 Type classes with functional dependencies - Jones - 2000
38 Structured programming with go to statements (context) - Knuth - 1974
34 Separate compilation for standard ML - Appel, MacQueen - 1994
31 Programming languages { C (context) - IEC - 1999
30 Science of Computer Programming (context) - Duggan, Bent et al. - 1996
29 A reference manual (context) - Guy, Jr - 2002
25 Automatic generation and use of abstract structure operators (context) - Sheard - 1991
20 Avoiding unconditional jumps by code replication - Mueller, Whalley - 1992
20 a language with dependent types (context) - Augustsson - 1998
17 LISP and Symbolic Computation (context) - Fischer - 1993
14 Department of Electrical and Computer Engineering - Moylan, against et al. - 1992
14 ANSI Common Lisp (context) - Graham - 1995
13 ACM SIGPLAN Notices (context) - Liskov, of - 1993
13 traps and pitfalls (context) - Koenig - 1986
11 The Dylan Reference Manual (context) - Shalit - 1996
10 Growing a language - Steele - 1998
9 No-longer-foreign: Teaching an ML compiler to speak C \nativ.. - Blume - 2001
9 The typed polymorphic label-selective -calculus (context) - Garrigue, Kaci - 1994
9 repeat and exit statements (context) - Peterson, Kasami et al. - 1973
9 An introduction to database systems: vol (context) - Date - 1986
9 Professional computing series (context) - Austern, the - 1999
9 Practical reusable UNIX software (context) - Krishnamurthy - 1995
8 The Structure of Scienti c Revolutions (context) - Kuhn - 1962
7 Typing rst-class continuations in ML (context) - Harper, Duba et al. - 1991
6 A case for teaching multi-exit loops to beginning programmer.. - Buhr - 1985
6 The main features of CPL (context) - Barron, Buxton et al. - 1963
6 Re ection and semantics in Lisp (context) - Smith - 1984
5 Synchronous and asynchronous handling of abnormal events in .. - Buhr, Macdonald et al. - 1992
5 Standard for Information Technology | Portable Operating Sys.. (context) - Std - 2001
5 A comparative study of language support for generic programm.. - Garcia, arvi et al. - 2003
4 Type syntax in the language C: An object lesson in syntactic.. (context) - Anderson - 1980
4 An ecient implementation of multiple return values in Scheme - Ashley, Dybvig - 1994
4 language shortcomings (context) - Pohl, Edelson - 1988
4 An implementation of generators in C (context) - Budd - 1982
4 The end of history and the last programming language (context) - Gabriel - 2002
4 User's Guide to the GNU C++ Library (context) - Lea - 1992
3 Case studies in compatibility (context) - Stroustrup - 2002
3 A crash course on the depths of Win32 structured exception h.. (context) - Pietrek - 1997
3 An Aristotelian understanding of Object-Oriented programming - Rayside, Campbell - 2000
3 and runtime type information via automatic code generation i.. (context) - Grossman - 1993
3 Xerox Palo Alto Research Center (context) - Mitchell, Maybury et al. - 1979
3 International Electrotechnical Comission (context) - For - 1995
3 Users' Journal (context) - Stroustrup, Siblings - 2002
3 A comparative evaluation of techniques for syntactic level s.. - Cox, Clarke - 2000
3 strong typing and static checking (context) - Stemple, Morrison et al. - 1993
3 Friedman and David S (context) - Daniel - 1978
3 Are safe concurrency libraries possible - Buhr - 1995
2 Properties of a notation for combining functions (context) - Raoult, Sethi - 1983
2 The language and its compiler (context) - Richards, Whitby-Stevens - 1979
2 Sourcegroup: a selective-recompilation system (context) - Rollins - 1991
2 Solving C's shortcomings (context) - Edelson, Pohl - 1989
2 How to use the Plan 9 C compiler (context) - Pike - 2000
2 Uniform syntax for type expressions and declarators (context) - Sethi - 1981
2 Dobb's Journal (context) - Maddock, Cleary et al. - 2000
2 ACM SIGCSE Bulletin (context) - Mody, education et al. - 1991
2 Methods for handling exceptions in objectoriented programmin.. - Christensen - 1995
2 Objectstream: Generating stream-based object I/O for C - Chuang, Jung et al. - 1997
2 A functional approach to complex retrieval tasks - Cox, Clarke - 2000
2 Assignment as the sole means of updating objects - Buhr, Till et al. - 1994
1 Interviews with Dennis Ritchie and Bjarne Stroustrup (context) - to - 1990
1 An exception handler for C (context) - Allman, Been - 1985
1 XTI: The extended type information library (context) - Stroustroup
1 Down with Emacs Lisp: dynamic scope analysis - Neubauer, Sperber - 2001
1 Master 's thesis (context) - Bilson, polymorphism - 2003
1 message dispatching and (context) - Taschini, Emmenegger et al.
1 unwind-protect in portable Scheme (context) - Sitaram - 2003
1 Notes: A guide to the C programming language (context) - Zahn - 1979
1 Tuple types and multiple return values (context) - arvi - 2001
1 Mechanisms for querying types of expressions: decltype and a.. (context) - arvi, Stroustrup
1 A portable implementation of C++ exception handling (context) - Cameron, Faust et al. - 1992
1 Object-Oriented Software Composition (context) - Dami - 1995
1 Advances in Exception Handling Techniques (context) - Knudsen - 2022
1 Constructors for composed objects (context) - Messerschmidt, Wilhelm - 1982
1 Exception handling in C without C (context) - Schotland, Petersen - 2000
1 language mapping speci cation (context) - Group - 1999
1 Positional versus keyword parameter communication in program.. (context) - Hardgrave - 1976
1 Control ow semantics (context) - de Bakker, de Vink - 1996
1 ACM Symposium on Principles of Programming Languages (context) - Hoare, programming - 1973
1 ACM Turing Award Lectures (context) - Hoare - 1966
1 The elements of SETL style (context) - Dewar, Schonberg - 1979
1 rey Ditch eld (context) - Je - 1994
1 Abstraction and veri - cation in alphard: de ning and specif.. (context) - Shaw, Wulf et al. - 1977
1 Formal de nition of the Ada programming language (context) - eronique, Gilles et al. - 1980
1 Information theory metric for assembly language - Cook - 1993
1 Jupiter user manual and Mercury language reference (context) - Cox
1 the lightweight and selective introduction of re ective capa.. (context) - emi, Mario et al. - 2000
1 Self-interpretation and re ection in a statically typed lang.. (context) - aufer, Odersky - 1993
1 comresearchlinux libunwind (context) - project, hpl et al. - 2003
http://www.vitanuova.com/
www.cantrip.org/traits.html
http://i.csc.uvic.ca/~jinxing/icc
http://www.dellroad.org/pdel
http://www.dreamsongs.com/
www.gnu.org/directory/
http://catless.ncl
http://www.jcp.org/en/jsr/detail?id=175
http://www.di.uniovi.es/reflection/lab
http://cexcept.sourceforge.net
http://www.empathy.com/pccts/
http://www.cs
http://std.dkuug.dk/JTC1/SC22/WG14/www/charter
http://www.catb.org/~esr/jargon/
Documents on the same site (http://plg.uwaterloo.ca/plg.html): More
Compiling Standard ML to Java - Gammage (1997) (Correct)
Generalizing Database Access Methods - Zhou (1999) (Correct)
High-Level Real-Time Concurrency - Harji (2000) (Correct)
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