The Z notation: a reference manual
The Z notation: a reference manual
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
Z--, an Executable Subset of Z
Proceedings of the Z User Workshop
Putting Numbers into the Mathematical Toolkit
Proceedings of the Z User Workshop
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
Journal of Systems and Software
A formalisation of the relationship between forms of program slicing
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Theoretical Computer Science
Slicing for architectural analysis
Science of Computer Programming
Hi-index | 0.00 |
The RECOUP Project is investigating ways of making old Fortran code more intelligible. In particular, such code is likely to be very unstructured and to have inadequate documentation. We are attempting to solve both these problems.The two groups working on this project are approaching the problem from different angles with a view to meeting in the middle. On the one hand, current Fortran restructuring tools are being investigated and extended with a view to extracting abstract data types buried in the code. On the other hand, an executable subset of Z has been identified which will form the basis of the documentation notation. The intention is that old Fortran code should be restructured and documented in Z [Spivey, 1992], so that proposed updates to the code and to its documentation can be kept in step.