|Formally Defining a Programming Language email@example.com (Seima Rao) (2011-11-19)|
|Re: Formally Defining a Programming Language firstname.lastname@example.org (Kaz Kylheku) (2011-11-21)|
|Re: Formally Defining a Programming Language email@example.com (Christophe de Dinechin) (2011-11-22)|
|Re: Formally Defining a Programming Language firstname.lastname@example.org (email@example.com) (2011-11-27)|
|Re: Formally Defining a Programming Language firstname.lastname@example.org (2012-02-29)|
|Re: Formally Defining a Programming Language email@example.com (glen herrmannsfeldt) (2012-03-02)|
|From:||Seima Rao <firstname.lastname@example.org>|
|Date:||Sat, 19 Nov 2011 19:15:53 +0530|
|Posted-Date:||21 Nov 2011 11:06:58 EST|
n designing my own Programming Language and given the existence
of a lot of programming languages and an infinity of "knowhows" that
is the Internet, I resorted to adhoc adaptation methods that worked
However, now, I want to formalize the definition of my programming
language. I find that the Backus Naur Form is a notation but reaching
to that form requires decisions such as the following illustration
Illustration of Correct C++
fct_declarator '(' param_decl ')
cv_qualifier exception_specification ';'
In this illustration, I am inclined to ask:
i) What is it that contributes to deciding that
'inline' should be a separate "specifier"
in the grammar?
ii) How did the designers come up with
something called a "specifier"?
iii) What is a "specifier" in a non-C/C++ context
by the way?
Therefore, I suspect that there is a Formal Study of Programming
Languages that occurs in Selected Schools.
Can readers of this forum help direct to relevant materials wrt
Formalism that I can study to learn about Formalisms that will help in
deciding about my Programming Language?
Return to the
Search the comp.compilers archives again.