Titlebook: Algebraic Methodology and Software Technology; 6th International Co Michael Johnson Conference proceedings 1997 Springer-Verlag Berlin Heid

澄清

Systemic

Floating point verification in HOL light: The exponential function,inary floating point arithmetic. We confirm (indeed strengthen) the main result of a previously published error analysis, though we uncover a minor error in the hand proof and are forced to confront several subtle issues that might easily be overlooked informally.

聯(lián)想記憶

進入

分貝

Keisuke Doman,Takaaki Konishi,Yoshito MekadaDR. The task is split into manageable subtasks by applying an abstraction technique for restricting the specifications to the essential communication behaviour, modularization according to the process structure, and a set of generic theories developed for the application.

自作多情

interrupt

灰心喪氣

0302-9743 97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns

Rejuvenate

咽下

Lecture Notes in Computer Sciencee representations. Furthermore, there are no restrictions like monotonicity, regularity or local filtration on signatures at all. Instead, the use of overloaded functions and predicates in formulae is required to be sufficiently disambiguated, such that all parses have the same semantics. An overload resolution algorithm is sketched.