Software Development

Path-Oriented Program Analysis by J. C. Huang

Posted On February 25, 2017 at 6:00 pm by / Comments Off on Path-Oriented Program Analysis by J. C. Huang

By J. C. Huang

This publication provides a distinct approach for decomposing a working laptop or computer software alongside its execution paths, for simplifying the subprograms so produced, and for recomposing a application from its subprograms. this technique allows us to divide and overcome the complexity serious about realizing the computation played by means of a application via decomposing it right into a set of subprograms after which simplifying them to the furthest quantity attainable. The ensuing simplified subprograms are normally extra comprehensible than the unique software as an entire. the strategy can also be used to simplify a bit of resource code by way of following the path-oriented approach to decomposition, simplication, and recomposition. The research should be conducted in one of these method that the derivation of the research end result constitutes a correctness evidence. the strategy will be utilized to any resource code (or component thereof) that prescribes the computation to be played when it comes to project statements, conditional statements, and loop constructs, whatever the language or paradigm used.

Show description

Read or Download Path-Oriented Program Analysis PDF

Similar software development books

The Technical and Social History of Software Engineering

Software program engineering is likely one of the world’s most fun and demanding fields. Now, pioneering practitioner Capers Jones has written the definitive heritage of this world-changing undefined. Drawing on numerous many years as a number one researcher and innovator, he illuminates the field’s extensive sweep of development and its many eras of invention.

Pattern-Oriented Software Architecture, On Patterns and Pattern Languages

Software program styles have revolutionized the best way builders take into consideration how software program is designed, outfitted, and documented, and this precise booklet deals an in-depth glance of what styles are, what they don't seem to be, and the way to exploit them successfully

The merely ebook to aim to improve a entire language that integrates styles from key literature, it additionally serves as a reference handbook for all pattern-oriented software program structure (POSA) patterns

Addresses the query of what a trend language is and compares numerous development paradigms

Developers and programmers working in an object-oriented setting will locate this e-book to be a useful source

Express in Action

Convey in motion is a gently designed educational that teaches you ways to construct internet functions utilizing Node and Express.

Express in motion teaches you the way to construct net functions utilizing Node and show. It starts off by way of introducing Node's robust characteristics and exhibits you ways they map to the positive aspects of show. You'll discover key improvement recommendations, meet the wealthy surroundings of spouse instruments and libraries, and get a glimpse into its internal workings. by means of the top of the ebook, you'll be capable of use exhibit to construct a Node app and know the way to check it, hook it as much as a database, and automate the dev approach.

The People CMM: A Framework for Human Capital Management (2nd Edition)

Companies are actually competing in markets, one for his or her services and products and one for the expertise required to provide or practice them. good fortune within the former depends on luck within the latter. the power to compete is without delay concerning the facility to draw, improve, inspire, arrange, and preserve the proficient humans had to accomplish strategic company ambitions.

Additional info for Path-Oriented Program Analysis

Sample text

To this end, a new programming construct called a program set is now introduced. The meaning of a program set, or a set of programs, is identical to the conventional notion of a set of other objects. As usual, a set of n programs is denoted by {P1 , P2 , . . , Pn }. When used as a programming construct, it describes the computation prescribed by its elements. 1. 1 wp({P1 , P2 , . . , Pn }, R) ≡ wp(P1 , R) ∨ wp(P2 , R) ∨ . . ∨ wp(Pn , R). The choice of this particular semantics is explained in detail at the end of this chapter.

Cn ;Pn } is not equivalent to if C1 → P1 C2 → P2 . . Cn → Pn fi in general. 12) is to make the meaning of a program set as intuitive as possible. In this book it is appropriate to view a program set as a collection of tools, each of which can be used to do something. As such, if one added a program to the set, one naturally expects the capability of the resulting set to increase, or at least to remain the same. , the program can do more computations for the same set of input data). 1 conforms to this view of a program set: the larger the set, the more versatile it becomes.

The reader will find some of the rules presented in this work trivial and thus unnecessary if the present analysis method is used manually by a programmer. Manual application of the method, however, may prove to be unacceptably error prone or time consuming in certain environments. In that case, a possible solution is to build a software tool to automate the method to the extent possible. These seemingly trivial rules will be useful for that purpose. Listed below are equivalence relations of the first category, the validity of which is immediately obvious.

Download PDF sample

Rated 4.15 of 5 – based on 35 votes