SEVAL, a high-level validation language

  • G. H. Zweerink
Software Engineering: Tools And Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 123)


SEVAL is a high-level special purpose programming language for the validation of input data in an administrative system. This paper describes the essential features of SEVAL. It is claimed that the language considerably simplifies the writing of validation programs. Also an outline of the compiler, which transforms a SEVAL-program into a COBOL-program, is described briefly.


Structure Description Sequential File Graphic Notation Head Record Validation Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Dahl, O.-J.; Dijkstra, E. W.; Hoare, C. A. R.: Structured programming. A.P.I.C. Studies in Data Processing. No. 8. London-New York: Academic Press. VIII, 220p. (1972).Google Scholar
  2. [2]
    Jackson, M. A.: Principles of program design. A.P.I.C. Studies in Data Processing. No. 12. London-New York: Academic Press. XII, 299p. (1975).Google Scholar
  3. [3]
    Starreveld, R. W.: Management information-technologie (in dutch). Alphen aan de Rijn-Brussel: Samson. 639p. (1971).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • G. H. Zweerink
    • 1
  1. 1.Department of computer scienceTwente University of TechnologieEnschedethe Netherlands

Personalised recommendations