๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Decompilation of binary programs

โœ Scribed by Cristina Cifuentes; K. John Gough

Book ID
112210750
Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
950 KB
Volume
25
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Research on decompiling technology
Research on decompiling technology
โœ Zongtian Liu; Fuan Chen ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Springer ๐ŸŒ English โš– 577 KB
Analysis of programs and binary relation
Analysis of programs and binary relations
โœ S.A. Abramov ๐Ÿ“‚ Article ๐Ÿ“… 1983 ๐Ÿ› Elsevier Science โš– 590 KB

The generalization of the Hoarean property of the P program, in the form {]}P{g} , is discussed. -Instead of the Boolean functions in the set of states V , binary relations which are subsets of Vโ€ข where M can be an arbitrary set, are used for I and g, i. It was pointed out in /i/ that for program an