Create a programming language than can be interpreted in SML.
$30-250 USD
Paid on delivery
The project will be broken down into 4 phases, each with an associated milestone. The first phase concerns itself with defining the syntax of the language and can be accomplished by developing a context-free grammar for the language as well as a specification of the tokens that are used by that grammar.
In the second phase, you will be asked to provide a description of the semantics of your language. An organized way to do this is to first define a model of computation (an abstract computer) and to then describe in general terms
what it means to \execute" each construct in your language.
In the third phase, you will construct a HATS domain for your language and define a type-checker for your language. The domain you construct will allow you to parse programs in your language, check for the presence of ambiguously defined constructs, view the parse tree corresponding to programs, and output the parse tree to a file. How this can be accomplished will be discussed in class (it is not covered in the text). In this phase are also required to (1) construct a small program in your language, and (2) using concepts and notations discussed in the text as well as in class, describe how your program gets executed.
In the fourth phase, you will be asked to write a denotational-semantic based interpreter for your language. This interpreter must be written in ML.
Project ID: #6994876
About the project
13 freelancers are bidding on average $226 for this job
Hey Friend, Myself having has 10 + years experience of web site development. Expert in Custom programming in php / Mysql / Jquery / Wordpress/ Joomla / OSC / OpenCart. Ready to start the work immediately. I am co More
Hi, I (Myself a senior PHP, ASP.NET programmer using C# and VB) have a team having experience of more than 10 years in developing web and mobile applications. I have a team of expert programmers who write robust and bu More
Hello! I have experience in writing compilers using ML-family languages, making CFGs and other such stuff. I also have written a type inference engine in the past. I have some questions: 1) What SML implementation sh More
Dear Client, Greeting of the day ahead !!! Thanks for providing us opportunity to place bid over the project and communicate with you. I am a serious bidder here and i have already worked on a similar project befor More