Parameter validation for software reliability

Authors:
Glen B. Alleman
Affiliations:
Fluor Corporation, Irvine, CA
Venue:
ACM SIGPLAN Notices
Year:
1978

Citing 12
Cited 0

Software Tools

Software Tools
Compiler Construction for Digital Computers

Compiler Construction for Digital Computers
Reflections on a language designed to write an operating system

Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Gypsy: A language for specification and implementation of verifiable programs

Proceedings of an ACM conference on Language design for reliable software
Notes on the design of Euclid

Proceedings of an ACM conference on Language design for reliable software
Static determination of dynamic properties of generalized type unions

Proceedings of an ACM conference on Language design for reliable software
An assessment of the programming language PASCAL

Proceedings of the international conference on Reliable software
On the problem of uniform references to data structures

Proceedings of the international conference on Reliable software
A module interface specification language

DAC '75 Proceedings of the 12th Design Automation Conference
Report on the programming language Euclid

ACM SIGPLAN Notices
Bridges: a tool for increasing the reliability of references to Fortran variables

ACM SIGPLAN Notices
An Introduction to the Construction and Verification of Alphard Programs

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a method for increasing software reliability through parameter validation. Existing systems are examined and a proposed technique is presented to aid in the static parameter validation of RATFOR programs.