• Re: Text of Jim Welsh and Atholl Hay: A Model Implementation of Standar

    From Ramasahayam Reddy@21:1/5 to John Reagan on Mon Jan 16 11:28:11 2023
    On Wednesday, July 14, 2004 at 10:57:23 AM UTC-7, John Reagan wrote:
    Hans Otten wrote:
    I have found this book recently (wanting it for years, bookfinder helped me find
    it in Germany, which is fine since I live in the Netherlands :)

    Jim Welsh and Atholl Hay: A Model Implementation of Standard Pascal, Prentice_Hall, 1986

    Very interesting, a full Pascal compiler!

    Since the book in fact is the text of two programs: the ModelCompiler and the
    Pmachine, it would be nice to have this also a s a file.
    Did anyone ever got this as a text file?

    (crossposted to

    Hans, http://www.hansotten.com
    The SPMI package has 5 .PAS files
    SPMI_COMPILER.PAS ! 23640 lines long
    SPMI_DISASSEMBLER.PAS
    SPMI_POSTMORTEM.PAS
    SPMI_P_MACHINE.PAS ! 6105 lines long
    SPMI_TEST_PROGRAM.PAS
    as well as as couple of help files and a file of error messages for the compiler.
    It is a normal part of my test system. I compile the SPMI
    compiler/p-machine with my compiler and then run all the Pascal
    Validation Suite conformance tests through the SPMI compiler/p-machine.
    At one time, you had to buy the SPMI files (that is how we got it).
    Given the copyright, I don't feel comfortable distributing the files.
    I also have a copy of the book (but I must have misplaced it, I couldn't
    find it given a quick look in my cubicle).
    You can try tracking down Atholl. I don't have an email myself, but
    I'll send some email to a few folks who might know.
    --
    John Reagan
    HP Pascal/{A|I}MACRO for OpenVMS Project Leader
    Hewlett-Packard Company

    ==================================================================================================================

    I was able to download it from the following URL: http://pascal.hansotten.com/uploads/welsh/spmi.zip

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)