Skip to main content

SEVAL, a high-level validation language

  • Software Engineering: Tools And Languages
  • Conference paper
  • First Online:
Trends in Information Processing Systems (ECI 1981)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 123))

Included in the following conference series:

  • 108 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Starreveld, R. W.: Management information-technologie (in dutch). Alphen aan de Rijn-Brussel: Samson. 639p. (1971).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Arie Duijvestijn Peter Christian Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zweerink, G.H. (1981). SEVAL, a high-level validation language. In: Duijvestijn, A., Lockemann, P.C. (eds) Trends in Information Processing Systems. ECI 1981. Lecture Notes in Computer Science, vol 123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10885-8_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-10885-8_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10885-6

  • Online ISBN: 978-3-540-38794-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics