Because software systems are large and complex, developers often use software tools to understand unfamiliar code. In turn, software tools often utilize information about the program in the form ofâ€¦ (More)

This paper describes how "correct" microcode can be produced through the use of mathematical logic and formal design methods. The use of these techniques to derive correct microcode for the IMS T800â€¦ (More)

The originally assigned stereostructures of laurefurenynes A and B have been reassigned on the basis of DFT calculations of NMR chemical shifts, synthesis of model compounds and total synthesis ofâ€¦ (More)

This paper describes how â€™correctâ€™ microcode can be produced through the use of mathematical logic and formal design methods. The use of these techniques to derive correct microcode for the IMS T800â€¦ (More)