Information Technology Reference
In-Depth Information
[Cla79]
Clarke, E.M.: Programming language constructs for which it is impos-
sible to obtain good Hoare-like axioms. J. Assoc. Comp. Mach. 26,
129-147 (1979)
[CGH83]
Clarke, E.M., German, S.M., Halpern, J.Y.: Effective Axiomatizations
of Hoare Logics. JACM 30, 612-636 (1983)
[CoC77]
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model
of static analysis of programs by construction or approximation of
fixpoints. In: Proc. ACM Symp. POPL, pp. 238-252 (1977)
[CuF68]
Curry, H.B., Feys, R.: Combinatory Logic, vol. I. North-Holland, Am-
sterdam (1968)
[Dah01]
Dahl, O.-J.: The Roots of Object Orientation: The Simula Language.
In: Broy, M., Denert, E. (eds.) Software Pioneers, Contributions to
Software Engineering. sd & m Conf. on Software Pioneers, Bonn 2001,
pp. 79-90. Springer, Heidelberg (2002)
[DaN67]
Dahl, O.-J., Nygaard, K.: Class and Subclass Declarations. In: Bux-
ton, J.N. (ed.) Simulation Programming Languages. Proc. IFIP Work.
Conf., pp. 158-174. North Holland, Amsterdam (1968)
[Dij60]
Dijkstra, E.W.: Recursive Programming. Num. Math. 2, 312-318
(1960)
[FrS03]
Fruja, N.G., Stark, R.F.: The Hidden Computation Steps of Turbo
Abstract State Machines. In: Borger, E., Gargantini, A., Riccobene, E.
(eds.) ASM 2003. LNCS, vol. 2589, pp. 244-262. Springer, Heidelberg
(2003)
[GJS96]
Gosling, J., Joy, B., Steele, G.: The Java Language Specification, 1st
edn. Addison-Wesley, Reading (1996)
[GJSB00]
Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Speci-
fication, 2nd edn. Addison-Wesley, Reading (2000)
[GHL67]
Grau, A.A., Hill, U., Langmaack, H.: Translation of ALGOL60.
In: Samelson, K. (ed.) Handbook for Automatic Computation Ib,
Springer, NewYork (1967)
Goerigk, W.: Korrektheit der Ubersetzung objektorientierter Wis-
sensreprasentationssprachen mit statischer Vererbung. Diss. Math.-
Nat. Fak., Bericht 9304, Inst. Inf. Prakt. Math. CAU Kiel, 1-105 (1993)
[Goe93]
[Goe05]
Goerigk, W.: On Simulating Nested Procedures by Nested Classes. In:
Czaja, L. (ed.) Proc. Worksh. Concurrency, Specification & Program-
ming, Rucine 2005, p. 10. Warsaw (2005)
[Gur88]
Gurevich, Y.: Logic and the challenge of computer science. In: Borger,
E. (ed.) Current Trends in Theoretical Computer Science, pp. 1-57.
Computer Science Press (1988)
[Gur91]
Gurevich, Y.: Evolving algebras.
A tutorial introduction. Bull.
EATCS 43, 264-284 (1991)
[Hoa69]
Hoare, C.A.R.: An axiomatic basis for computer programming. Comm.
ACM 12, 576-580 (1969)
[Hoa71]
Hoare, C.A.R.: Procedures and parameters: An axiomatic approach.
In: Engeler, E. (ed.) Symposium on semantics of algorithmic languages.
Lecture Notes in Mathematics, vol. 188, pp. 102-116. Springer, Hei-
delberg (1971)
[Hoa90]
Hoare, C.A.R.: Personal communications. EU-ESPRIT-BRA-Projekt
Provably Correct Systems - ProCoS, Oxford (1990) Cambridge (2001)
[Har79]
Harel, D.: First Order Dynamic Logic. In: Harel, D. (ed.) LNCS,
vol. 68, Springer, Heidelberg (1979)
Search WWH ::
Custom Search