Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Bernard Sufrin"'
Autor:
Bernard Sufrin
Publikováno v:
Theories of Programming ISBN: 9781450387286
Theories of Programming
Theories of Programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d147fd3ba1c82e62eea33122cea2602e
https://doi.org/10.1145/3477355.3477366
https://doi.org/10.1145/3477355.3477366
Autor:
A. W. Roscoe, J. M. Spivey, Bernard Sufrin, He Jifeng, Ian J. Hayes, Carroll Morgan, C. A. R. Hoare, Ib Sørensen, J. W. Sanders
Publikováno v:
Programming and Mathematical Method ISBN: 9783642775741
A complete set of algebraic laws is given for Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of Scott's domain theory as fixed points of continuous functionals. A calculus analogous to weak
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23d5e99511b470255a05c0f2de7a2162
https://ora.ox.ac.uk/objects/uuid:2b34de54-5145-49ce-8ecd-c9858d63efdc
https://ora.ox.ac.uk/objects/uuid:2b34de54-5145-49ce-8ecd-c9858d63efdc
Autor:
Bernard Sufrin
Publikováno v:
Ada Lovelace Symposium
Bernard Sufrin, University of Oxford establishes a context of Ada's 'Translators Notes' using more recent descriptions of computing machinery and programming methods.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5f8864ee46f822ef7888d3e96a423c1
https://doi.org/10.1145/2867731.2867749
https://doi.org/10.1145/2867731.2867749
Publikováno v:
British Journal of Educational Technology. 34:625-638
This paper describes a research project into undergraduates’ use of a software tool to learn symbolic logic—a complex abstract domain that has been shown to be intimidating for students. The software allows the students to manipulate proofs in ce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b23f2c7827b8f4a135acdd9502dcb45
https://doi.org/10.1046/j.0007-1013.2003.00355.x
https://doi.org/10.1046/j.0007-1013.2003.00355.x
Autor:
Bernard Sufrin, Richard Bornat
Publikováno v:
Formal Aspects of Computing. 11:244-271
GUI design isn't simply a matter of putting a nice front-end on a capable program. It requires thought about the way in which people might be expected to use a system, and investigation of the ways that they actually use it. Jape's GUI has been desig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::32ffa13bf40e42db8d0d158994c6169e
https://doi.org/10.1007/s001650050050
https://doi.org/10.1007/s001650050050
Autor:
Bernard Sufrin, Richard Bornat
Publikováno v:
The Computer Journal. 42:177-192
Jape is a program which supports the step-by-step interactive development of proofs in formal logics, in the style of proofs-on-paper. It is uncommitted to any particular logic and is customized by a description of a collection of inference rules and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e83075698195814ba6b713c59f3fb129
https://doi.org/10.1093/comjnl/42.3.177
https://doi.org/10.1093/comjnl/42.3.177
Autor:
Bernard Sufrin, James J. Leifer
Publikováno v:
Journal of Functional Programming. 6:365-373
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e2f38b37989bd4e7819cbf14b0bd7b83
https://doi.org/10.1017/s0956796800001726
https://doi.org/10.1017/s0956796800001726
Autor:
Richard Bornat, Bernard Sufrin
Publikováno v:
Automated Deduction—CADE-14 ISBN: 9783540631040
CADE
CADE
If you suppose that it would be pointless to simulate proof-on-paper; if you imagine that all the problems of interactive theorem-proving are solved; if you are sure that making a user interface is a matter of bolting a bit of Tcl/Tk onto a theorem-p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0f5e0a8ee04c4d8f35cb95395029b64
https://doi.org/10.1007/3-540-63104-6_41
https://doi.org/10.1007/3-540-63104-6_41
Autor:
J. Michael Spivey, Bernard Sufrin
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540525134
VDM Europe
VDM Europe
Generic definitions provide an important part of the power of the Z notation, allowing the standard toolkit of mathematical notation to be built up from a very small set of primitives, and permitting application-oriented theories to be constructed wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe356b1855a0574d60474355a9823835
https://doi.org/10.1007/3-540-52513-0_22
https://doi.org/10.1007/3-540-52513-0_22