State Constraints and Pathwise Decomposition of Programs

  • Huang J
  • 5


    Mendeley users who have this article in their library.
  • 8


    Citations of this article.


A state constraint is a new programming construct designed to restrict the domain of definition of a program. It can be used to decompose a program pathwise, i.e., to divide the program into subprograms along the control How, as opposed to divide the program across the control flow when the program is decomposed into functions and procedures. As a result one can now construct and manipulate a program consisting of one or more execution paths of another program. This paper describes the idea involved, examines the properties of state constraints, establishes a formal basis for pathwise decomposition, and discusses their utilities in program simplification, testing, and verification. [ABSTRACT FROM AUTHOR]

Author-supplied keywords

  • Pathwise decomposition
  • program analysis
  • program decomposition
  • program simplification
  • program testing
  • program understanding
  • state constraints

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • J. C. Huang

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free