Saturday, February 9, 2019

Release 8.0 of ParaSail Interpreter, Compiler, and Debugger

Finally, at long last a new release of ParaSail.  This new release incorporates an interactive debugger that is automatically invoked when the interpreter encounters an assertion, precondition, or postcondition that fails at run-time.  This is also the first release where pre- and postconditions are fully analyzed, and checked at run-time.  Finally, this has one modest enhancement to the ParaSail syntax -- "interpolation" of the value of an expression directly into a string literal.  For example:

   Println("The value of X + Y is `(X + Y).");

The back-quote character followed by a parenthesized expression may now appear within a string literal, and the value of the expression is "interpolated" into the middle of the string, in place of the back-quoted expression.  Hence, presume X is 31 and Y is 11, the above will print:

   The value of X + Y is 42.

In any case, here is the new release:


It is a "zip" archive of sources and binaries for Mac, Linux, and Windows.  Mac and Linux include executable binaries for a bootstrapped LLVM-generating ParaSail compiler.  Windows only contains the executable binaries for the ParaSail interpreter.

The web page for ParaSail has also been updated:


From a documentation point of view, the most exciting news is that we have just published a full description of the ParaSail language in the new academic "Programming Journal":


Please take a look at this article to see a comprehensive description of ParaSail, and how it fits into the world of programming language design.

Here is the latest reference manual (which is also linked from the ParaSail web page, and included in the "zip" archive for release 8.0):


We will be posting some follow-up blog entries about some of the new features in this release, in particular the debugger, and the implementation of postconditions that require automatically saving some values only available on entry to an operation.

 Enjoy!

7 comments:

  1. As you order for nursing papers made easy you must find out if your essay writing company offers extra facilities like making corrections and amendments if there are mistakes made by writers. You can also purchase custom research paper.

    ReplyDelete
  2. You need not to worry any more, we are here to offer you the best academic writing
    Solutions; order quality research paper writing company from us and learn how to write a nursing research paper today!

    ReplyDelete
  3. If you are new user to sage 50 accounting software and looking for the sage 50 technical support.If yes than you have come to right place as we provide efficient technical support service to customers who show complete faith in us. With our efficient and highly qualified team ,we never disappoint our customers.You can reach us at 1800-961-4623 at any hour of the day. You can also visit our website at https://www.helplinenumber.support/ for the complete knowledge of the sage products and services.

    The Services we offered are following-

    Sage 50 payroll support number

    Sage timeslips 2020

    Sage 50cloud hosting Support

    Sage 50 Technical Support Number United Kingdom

    Sage 50 Technical Support Ireland

    Sage 50 Technical Support South Africa

    Sage 50 Technical Support Phone Number Canada

    ReplyDelete
  4. If you are new user to sage 50 accounting software and looking for the sage 50 technical support.If yes than you have come to right place as we provide efficient technical support service to customers who show complete faith in us. With our efficient and highly qualified team ,we never disappoint our customers.You can reach us at 1800-961-4623 at any hour of the day. You can also visit our website at https://www.helplinenumber.support/ for the complete knowledge of the sage products and services.

    The Services we offered are following-

    Sage 50 2019 has stopped working

    Sage 50 customer service number

    Sage 50 Technical support number

    Sage 100 Technical support phone number

    Sage 200c Tech support phone number

    Sage fixed assets support number

    Sage 50 customer service number

    Sage 50 support

    Sage 300 Tech Support Number

    ReplyDelete
  5. If you are new user to sage 50 accounting software and looking for the sage 50 technical support.If yes than you have come to right place as we provide efficient technical support service to customers who show complete faith in us. With our efficient and highly qualified team ,we never disappoint our customers.You can reach us at 1844-871-6289 at any hour of the day. You can also visit our website at https://www.accountingadvice.co/ for the complete knowledge of the sage products and services.


    The Services we offered are following-

    Sage Support Phone Number

    Sage 50 Technical Support

    Sage Technical Support Phone Number

    Sage 100 support phone number

    Sage 100 contractor support

    Sage 50 live chat

    Sage Support Number

    Sage Customer Service Number

    Sage Support Phone Number

    ReplyDelete
  6. We are the best writing company providing Pre Written Research Papers to students across the globe.We are a UK based company and have been operational since 2005 where we have assisted thousands of students in attaining high marks in Buy Pre Written Research Papers services.

    ReplyDelete