An algebraic specification for the static semantics of Pascal.
Arie van Deursen · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1991
Over the last few years, several formal specications for the static semantics of Pascal have been given.Thus far, however, no algebraic specication has been published.In this document w e discuss an algebraic specication we h a ve made for the complete static semantics of Pascal as dened by t h e I n ternational Standardization Organization (ISO).We explain how the specication has been set up, and how several details have been dealt with in a convenient w ay.Finally, w e relate the specication to algebraic specications for other aspects of (other) programming languages, and we briey compare the algebraic approach with the other formal specications for Pascal.