SPL(ID:7446/spl023)

Simple Programming Language 

for Simple Programming Language

Paper language to demonstrate the working of VDM, (possibly  influential on Student Programming Language?)
References:
  • Neuhold, E. J. "The Formal Description of Programming Languages," pp86-112 view details Abstract: This paper presents a formal method for describing programming languages independently of machine architectures and compiler implementations. The method, which was developed to describe PL/1, is being applied to other programming languages and to compilers and operating systems. The definitional techniques are demonstrated using a simple programming language (SPL). The paper has been written so that little knowledge of mathematics or formal logic is required. External link: Online copy at IBM
          in IBM Systems Journal 10(2) (Non-topical issue) 1971 view details