Information Technology Reference
In-Depth Information
[LiS73]
Lippe, W.M., Simon, F.: A Formal Notion for Equivalence of ALGOL-
like Programs. In: Robinet, B. (ed.) Transformationes de Programmes,
3e coll. int. sur la programmation, Paris 1978, pp. 141-156, Dunod,
Paris (1978)
[LoS84]
Loeckx, J., Sieber, K.: The Foundations of Program Verification. Wiley,
Chichester (1984)
[McC65]
McCarthy, J., et al.: Lisp 1.5 Programmer's Manual. The M.I.T. Press,
Cambridge Mas (1965)
[McG72]
McGowan, C.L.: The “most recent”-error: its causes and correction.
Proc. ACM Conf. on Proving assertions about programs. SIGPLAN
Notices 7(1), 191-202 (1972)
[MiSa87]
Mirkowska, G., Salwicki, A.: Algorithmic Logic. D.Reidel Publ. Comp.
Dordrecht, PWN-Polish Scient. Publ. Warsaw (1987)
[MiSt76]
Milne, R., Strachey, C.: A Theory of Programming Language Seman-
tics, parts a, b. Chapman and Hall, Sydney, Australia (1976)
[MTH90]
Milner, R., Tofte, M., Harper, R.: The Definition of ML. MIT Press,
Cambridge (1990)
[Nau60]
Naur, P., et al.(ed.) Report on the Algorithmic Language ALGOL60.
Num. Math. 2, 106-136 (1960)
[Nau63]
Naur, P., et al.(ed.) Revised Report on the Algorithmic Language AL-
GOL60. Num. Math. 4, 420-453 (1963)
[Old79]
Olderog, E.R.: Korrektheits- und Vollstandigkeitsaussagen uber
Hoarsche Ableitungskalkule. Diplomarbeit, Christian-Albrechts-Univ.
Kiel (1979)
[Old81a]
Olderog, E.R.: Sound and Complete Hoare-like Calculi Based on Copy
Rules. Acta Informatica 16, 161-197 (1981)
[Old81b]
Olderog, E.R.: Characterisierung Hoarescher Systeme fur ALGOL-
ahnliche Programmiersprachen. Dissertation, Inst. f. Informatik u.
Prakt. Math., Univ. Kiel, Bericht 5/81 (1981)
[Old84]
Olderog, E.R.: Correctness of Programs with Pascal-like Procedures
without Global Variables. Theoretical Computer Science 30, 49-90
(1984)
[PeS59]
Perlis, A.J., Samelson, K.: ACM Comunittee on Programming Lan-
guages and GAMM Comittee on Programming. Report on the Algo-
rithmic Language ALGOL. Num.Math. 1, 41-60 (1959)
[PHM99]
Poetzsch-Heffter, A., Muller, P.: A Programming Logic for Sequential
Java. In: Swierstra, S.D. (ed.) ESOP 1999 and ETAPS 1999. LNCS,
vol. 1576, pp. 162-176. Springer, Heidelberg (1999)
[Plo81]
Plotkin, G.D.: A structural approach to operational semantics. Tech-
nical Report DAIMI FN-19, Comp. Sc. Dept., Aarhus, Denmark (Sep-
tember 1981)
[SaB59]
Samelson, K., Bauer, F.L.: Sequentielle Formelubersetzung. Elektr.
Rechenanl 1(4), 176-182 (1959)
[Sco70]
Scott, D.S.: Outline of a Mathematical Theory of Computation. In:
Proc. 4th Annual Princeton Conference on Information Sciences and
Systems, pp. 169-176. Princeton, Princeton (1970)
[Sal70]
Salwicki, A.: Formalized Algorithmic Logic. Bull.PAS 18, 227-332
(1970)
[Sam57]
Samelson, K.: Probleme der Programmierungstechnik. In: Int. Koll.
u. Probleme d. Rechentechnik, Dresden 1955, pp. 61-68. Berlin: VEB
Deutscher Verlag der Wissenschaften (1957)
Search WWH ::




Custom Search