Titlebook: Mathematics of Program Construction; Second International R. S. Bird,C. C. Morgan,J. C. P. Woodcock Conference proceedings 1993 Springer-Ve

OMIT

0302-9743 re is moreand more interestfrom industry in formal methods based on mathematics. Thisinterest has come from the success of a number ofexperiments on real industrial applications. Thus, there isnot only a belief, but alsoevidence, that the study ofcomputer programs as mathematical objects leads to mo

Sinus-Node

Pretty-printing: An exercise in functional programming,se combinators have proved sufficiently efficient and expressive for quite extensive practical use. The combinators are simple to specify and enjoy many algebraic properties. The algebra is useful for reasoning about pretty-printers that use the library, and played an important role in deriving its implementations.

CANDY

親密

978-3-540-56625-0Springer-Verlag Berlin Heidelberg 1993

套索

Mathematics of Program Construction978-3-540-47613-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

installment

ADORN

Orthodontics

Programming for behaviour,Traditional programming is for computations. Many contemporary applications suffer when squeezed into programming paradigm. This presentation investigates desirable properties of another paradigm: programming for behaviours and explores some technical consequences of a possible formalism to describe such programs.

1FAWN

Conscientious

Shorter paths to graph algorithms,We illustrate the use of formal languages and relations in compact formal derivations of some graph algorithms.