Text of Jim Welsh and Atholl Hay: A Model Implementation of Standard Pascal?

[Hans Otten]

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

[John Reagan]

Post by Hans Otten
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.

[Ramasahayam Reddy]

Post by John Reagan

Post by Hans Otten
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