SEVAL(ID:4155/sev001)

Data validation language 

High level validation language

Zweerink 1981
References:
  • Zweerink, G. H. "SEVAL, A High-Level Validation Language". pp154-172 view details
          in "Trends in Information Processing Systems, 3rd Conference of the European Cooperation in Informatics", Munich, Germany, October 20-22, 1981, A. J. W. Duijvestijn, Peter C. Lockemann (Eds.): Lecture Notes in Computer Science 123 Springer 1981 view details