This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Author: Zohar Manna
Publisher: SIAM
ISBN: 1611970385
Category: Computers
Page: 53
View: 458
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic.
Author: Zohar Manna
Publisher: SIAM
ISBN: 1611970385
Category: Computers
Page: 53
View: 458
Comon, H. & Cortier, V. (2000). Flatness is not a weakness. In P. Clote & H. Schwichtenberg (Eds.), Proceedings of 14th Annual Conference of the Computer Science Logic, EACSL (Vol. 1862, pp. 262–276). Lecture Notes in Computer Science.
Author: Joanna Golińska-Pilarek
Publisher: Springer
ISBN: 9783319978796
Category: Philosophy
Page: 502
View: 240
Meyer, A. R. [88 } Invited lecture at the 3rd IEEE Symposium on Logic in Computer Science, Edinburgh, July, 1988. Milner, R., [84] A proposal for standard ML, In : ACM Symposium on DISP and Functiona 1 Programming, 1984, pp.
Author: Steven Homer
Publisher: Springer
ISBN: 9783540471356
Category: Mathematics
Page: 170
View: 323
The logical abstract machine: A Curry-Howard isomorphism for machine code. In A. Middledorp and T. Sato, editors, Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, pages 300– 318. Springer-Verlag, 1999.
Author: Morten Heine Sørensen
Publisher: Elsevier
ISBN: 0080478921
Category: Mathematics
Page: 456
View: 784
Hybrid Systems III , Lecture Notes in Computer Science 1066 ( Springer - Verlag , Berlin , 1996 ) , 76-100 . [ KJN96 ] Wolf Kohn , John James and Anil Nerode , " The Declarative Approach to the Design of Robust Control Systems ” ...
Author: Sergei Adian
Publisher: Springer Science & Business Media
ISBN: 3540630457
Category: Computers
Page: 429
View: 585
SZAMALK Technical Report, Budapest Gergely, T., Üry, L. £ A uniform approach to programming logics. SZAMALK Technical Report, Budapest Goldblatt, R. [1982] Axiomatising the Logic of Computer Programming. Lecture Notes in Computer ...
Author: Tamas Gergely
Publisher: Springer Science & Business Media
ISBN: 9783642582059
Category: Computers
Page: 353
View: 312
McCarty, D. C. [1984], “Realizability and recursive mathematics”, Doctoral Dissertation, Computer Science ... Makkai, M. and G. Reyes [1977), “First order categorical logic”, Lecture Notes in Mathematics 611, Springer-Verlag, Berlin.
Author: Yiannis N. Moschovakis
Publisher: Springer Science & Business Media
ISBN: 9781461228226
Category: Mathematics
Page: 608
View: 913
Lecture Notes in Game Theory for Computer Scientists, pp. 185–212. Cambridge University Press (2011) Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 995–1072.
Author: Nick Bezhanishvili
Publisher: Springer
ISBN: 9783642314858
Category: Computers
Page: 265
View: 835
Manes , E. G. and Arbib , M. A .: Algebraic Approaches to Program Semantics , Springer - Verlag , New York , 1986 . 20. Manna , Z : Lectures on the Logic of Computer Programming , Society for Industrial and Applied Mathematics ...
Author: Robert Hermann
Publisher: Math Science Press
ISBN: 0915692414
Category: Computers
Page: 400
View: 959
Proceedings of the 17th Colloqium on Trees and Algebra in Programming ( CAAP'92 ) , Rennes , France , Lecture Notes in Computer Science 581 , Springer - Verlag , Berlin , pp . 300-322 .
Author: Manuel Hermenegildo
Publisher: Springer Science & Business Media
ISBN: 354060359X
Category: Computers
Page: 476
View: 683