The Ultimate Representation of C++ Semantics

Discussion in 'C++' started by borisS, Dec 7, 2011.

  1. borisS

    borisS Guest

    The starting idea for this approach is fairly simple -- since the
    fundamental types of C++ are quite similar to the conventional C++
    classes -- why not represent them with the help of standard C++
    constructs. Consequently applying this idea to other C++ built-ins,
    the complete language could be defined in the form of a primordial
    library containing the explicit definition of all language
    fundamentals. The version of C++, extended by such expression
    abilities, will allow compositions of distinct collections of
    fundamental types, control statements and implementation mechanisms.

    Unfortunately, the practical attempt to compose such a description
    fails immediately because several characteristics of C++ built-ins are
    looked at as being basically inexpressible in the conceptual system of
    this programming language.

    The work www.generalinformationtheory.com/cpp.php shows how minor
    extensions of C++ enable the explicit definition of its complete
    semantics and demonstrates the general specification of C++ produced
    in the extended C++.
     
    borisS, Dec 7, 2011
    #1
    1. Advertising

  2. borisS

    jacob navia Guest

    Le 07/12/11 14:03, borisS a écrit :
    > The starting idea for this approach is fairly simple -- since the
    > fundamental types of C++ are quite similar to the conventional C++
    > classes -- why not represent them with the help of standard C++
    > constructs. Consequently applying this idea to other C++ built-ins,
    > the complete language could be defined in the form of a primordial
    > library containing the explicit definition of all language
    > fundamentals. The version of C++, extended by such expression
    > abilities, will allow compositions of distinct collections of
    > fundamental types, control statements and implementation mechanisms.
    >
    > Unfortunately, the practical attempt to compose such a description
    > fails immediately because several characteristics of C++ built-ins are
    > looked at as being basically inexpressible in the conceptual system of
    > this programming language.
    >
    > The work www.generalinformationtheory.com/cpp.php shows how minor
    > extensions of C++ enable the explicit definition of its complete
    > semantics and demonstrates the general specification of C++ produced
    > in the extended C++.


    It is a very interesting approach. Just a small detail:

    You say
    <quote>
    The following OC++ extensions solve the aforementioned problems.
    1. OC++ types can be objects of variable lengths. The class identifier
    can be represented as:
    struct identifier
    {
    letter_underscore begin;
    letter_underscore_digit rest[]; //any length of this
    array is allowed
    }
    <end quote>

    Note that C99 (the current C standard) allows variable length structures
    of the exact semantics you wish.
     
    jacob navia, Dec 7, 2011
    #2
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Koncept
    Replies:
    3
    Views:
    1,971
    Nick Santos
    Dec 6, 2003
  2. =?Utf-8?B?TWFyY28gQWx2ZXM=?=

    eCompany!!! The ultimate idea for the software development!!!

    =?Utf-8?B?TWFyY28gQWx2ZXM=?=, Aug 13, 2004, in forum: ASP .Net
    Replies:
    6
    Views:
    332
    M. Posseth
    Aug 21, 2004
  3. Andoni

    [OT] Ultimate Interface.

    Andoni, Sep 30, 2004, in forum: Java
    Replies:
    4
    Views:
    316
    ~misfit~
    Sep 30, 2004
  4. SivaSankar.Battula

    what is the ultimate difference?

    SivaSankar.Battula, Aug 27, 2005, in forum: Java
    Replies:
    6
    Views:
    398
    Thomas G. Marshall
    Aug 29, 2005
  5. Steve Horrillo
    Replies:
    3
    Views:
    439
    Roy Schestowitz
    Jun 28, 2005
Loading...

Share This Page