Information Technology Reference
In-Depth Information
Hungar, H.: Uber Komplexitatsfragen Hoarescher Beweissysteme:
Eziente Beweiserstellung und komplexitatsbedingte Grenzen bes-
timmter Systeme. Bericht 9007, Inst. Inf. Prakt. Math., CAU Kiel,
p. 140 (1990)
[Hun90]
[Ich80]
Ichbiah, J.D.: Ada Reference Manual. In: The Programming Language
Ada. LNCS, vol. 106, Springer, Heidelberg (1981)
[IgP02]
Igarashi, A., Pierce, B.C.: On Inner Classes. Information and Compu-
tation 177, 56-89 (2000)
[JeW75]
Jensen, K., Wirth, N.: PASCAL User Manual and Report. Springer,
Heidelberg (1975)
[Jon89]
Jones, C.B.: Systematic Software Development using VDM, 2nd edn.
Prentice Hall, Englewood Cliffs (1989)
[KaL74]
Kandzia, P., Langmaack, H.: On a theorem of McGowan concerning
the “most recent”-property of programs. Bericht A 74/07, Fachb. Ang.
Math. Inf., Univ. Saarland, p.19 (1974)
[Kan74]
Kandzia, P.: On the “most recent”-property of ALGOL-like programs.
In: Loeckx, J. (ed.) Automata, Languages and Programming. LNCS,
vol. 14, pp. 97-111. Springer, Heidelberg (1974)
[KeR78]
Kernighan, B.W., Ritchie, D.M.: The C Programming Language. Pren-
tice Hall, Englewood Cliffs (1978)
[KrA06]
Kruseman
Aretz,
F.E.J.:
Personal
communication.
Organizer:
G.Alberts,
Pioneering Software in the 1960s in Germany, The Netherlands, and
Belgium. Conf. CWI Amsterdam (November 2-4, 2006)
[Lan73a]
Langmaack, H.: On Correct Procedure Parameter Transmission in
Higher Programming Languages. Acta Informatica 2(2), 110-142
(1973)
[Lan73b]
Langmaack, H.: On procedures as open subroutines I, II. Acta Infor-
matica 2, 311-333 (1973) and Acta Informatica 3, 227-241 (1974)
[Lan74]
Langmaack, H.: Zum Begriff der Modularitat von Programmier-
sprachen. In: Schlender, B., Frielinghaus, W. (eds.) GI - 3. Fachta-
gung uber Programmiersprachen. LNCS, vol. 7, pp. 1-12. Springer,
Heidelberg (1974)
[Lan85]
Langmaack, H.: A new transformational approach to partial correct-
ness proof calculi for ALGOL68-like programs with finite modes and
simple side-effects. Annals of Discrete Mathematics 24, 73-102 (1985)
[Lan02]
Langmaack, H.: Klaus Samelsons fruhe Beitrage zur Informatiken-
twicklung. Informatik Spektrum 18, 132-137 (2002)
[Lan04]
Langmaack, H.: An Algol-View on Turbo ASM. In: Zimmermann, W.,
Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, p. 20. Springer, Hei-
delberg (2004)
[LaO80]
Langmaack, H., Olderog, E.R.: Present-day Hoare-like systems for
programming languages with procedures: power, limits and most likely
extensions. In: de Bakker, J.W., van Leeuwen, J. (eds.) Automata,
Languages and Programming. LNCS, vol. 85, pp. 363-373. Springer,
Heidelberg (1980)
[LKK76]
Langmaack, H., Kroger, H., Kolsch, R.-T.: Scriptum zum
Compilerbau-Praktikum SS 1975 u. WS 1975/76. Inst. f. Infor-
matik U. Prakt. Math., CAU zu Kiel, p. 68 (1976)
Search WWH ::
Custom Search