please post a following message in your newsgroup

Path	csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!news.albasani.net!.POSTED!not-for-mail
From	"Boris Sunik"<boris.sunik@generalinformationtheory.com>
Newsgroups	comp.std.c++
Subject	please post a following message in your newsgroup
Date	Fri, 16 Dec 2011 11:40:25 -0800 (PST)
Organization	unknown
Lines	32
Sender	std-cpp-request@vandevoorde.com
Approved	stephen.clamage@oracle.com
Message-ID	<000701ccbb65$144aa8f0$3cdffad0$@generalinformationtheory.com> (permalink)
References	Content-Type: text/plain; charset="us-ascii"
NNTP-Posting-Host	aBZvlX9LCTn7lhgq1IHik3HIbbHVmYROUtrXqO1DzXg=
X-Trace	news.albasani.net QIGVkplEOh57r97geL7f8Lms58mhIuEomKY1s0RV5ZmsTR1p7p+54px9XBgUdzsicwvDcLgEzK2PRkvt+dVysg==
X-Complaints-To	abuse@albasani.net
NNTP-Posting-Date	Fri, 16 Dec 2011 19:40:28 +0000 (UTC)
X-Mailer	Perl5 Mail::Internet v2.05
X-Submission-Address	std-cpp-submit@vandevoorde.com
Cancel-Lock	sha1:+qPwQMJIv97loyFIrkssL6tHehk=
X-Original-Date	Thu, 15 Dec 2011 21:06:45 +0100
Xref	x330-a1.tempe.blueboxinc.net comp.std.c++:396

Show key headers only | View raw

User BoriS,
email: boris.sunik@generalInformationtheory.com

Title: The Ultimate Representation of C++ Semantics

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++.



-- 
[ comp.std.c++ is moderated.  To submit articles, try posting with your ]
[ newsreader.  If that fails, use mailto:std-cpp-submit@vandevoorde.com ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]

Back to comp.std.c++ | Previous | Next | Find similar

Thread

please post a following message in your newsgroup "Boris Sunik"<boris.sunik@generalinformationtheory.com> - 2011-12-16 11:40 -0800

csiph-web