OMIT
发表于 2025-3-23 12:58:06
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
发表于 2025-3-23 16:52:25
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
发表于 2025-3-23 18:13:45
http://reply.papertrans.cn/63/6270/626967/626967_13.png
亲密
发表于 2025-3-23 23:08:59
978-3-540-56625-0Springer-Verlag Berlin Heidelberg 1993
套索
发表于 2025-3-24 02:31:35
Mathematics of Program Construction978-3-540-47613-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
installment
发表于 2025-3-24 07:16:54
http://reply.papertrans.cn/63/6270/626967/626967_16.png
ADORN
发表于 2025-3-24 13:42:48
http://reply.papertrans.cn/63/6270/626967/626967_17.png
Orthodontics
发表于 2025-3-24 17:56:28
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
发表于 2025-3-24 19:53:22
http://reply.papertrans.cn/63/6270/626967/626967_19.png
Conscientious
发表于 2025-3-25 02:48:37
Shorter paths to graph algorithms,We illustrate the use of formal languages and relations in compact formal derivations of some graph algorithms.