Formally Defining a Programming Language

Seima Rao <seimarao@gmail.com>
Sat, 19 Nov 2011 19:15:53 +0530

          From comp.compilers

Related articles
Formally Defining a Programming Language seimarao@gmail.com (Seima Rao) (2011-11-19)
Re: Formally Defining a Programming Language kaz@kylheku.com (Kaz Kylheku) (2011-11-21)
Re: Formally Defining a Programming Language christophe@taodyne.com (Christophe de Dinechin) (2011-11-22)
Re: Formally Defining a Programming Language s_dubrovich@yahoo.com (s_dubrovich@yahoo.com) (2011-11-27)
Re: Formally Defining a Programming Language federation2005@netzero.com (2012-02-29)
Re: Formally Defining a Programming Language gah@ugcs.caltech.edu (glen herrmannsfeldt) (2012-03-02)
| List of all articles for this month |

From: Seima Rao <seimarao@gmail.com>
Newsgroups: comp.compilers
Date: Sat, 19 Nov 2011 19:15:53 +0530
Organization: Compilers Central
Keywords: theory, question
Posted-Date: 21 Nov 2011 11:06:58 EST

Hi,


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
incredibly well!


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
would suggest:


                  Illustration of Correct C++
                  -----------------------------------


                          function_declaration:


                                  function_specifier return_type
                                          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?


Sincerely,
Seima Rao.



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.