Abstract
In this survey we contained a short presentation of algorithmic logic AL and two sections devoted to selected applications of algorithmic logic. First, we argue that the goal of formal definition of a programming language can be fully achieved with the tools offered by AL. Next, we show possible applications of AL in production of modular software. The interaction between theoretical tools (AL) and software ones (LOGLAN programming language) seems to provide a reasonable way toward creation of reliable software from prefabricated modules and their specifications. It seems that in this way one can speed up the task of production of software.
Preview
Unable to display preview. Download preview PDF.
References
Mirkowska,G.,Salwicki,A., Algorithmic logic, PWN Warszawa & D.Reidel Utrecht, to appear
LOGLAN' 82 report, PWN Warszawa 1983
Aho,A.,Hopcroft,J.,Ullman,J., The design and analysis of computer algorithms, Addison-Wesley 1974
Dańko,W., A criterion of undecidability of algorithmic theories in Proc MFCS'80, LNCS 88, Springer, 1980
Hoare,C.A.R., Proof of correctness of data representation Acta Informatica, 1972, 271–281
Krause,M.,Kreczmar,A.,Langmaack,H.,Salwicki,A., Specification and implementa tion problems of programming languages proper for hierarchical data types, rep.8410 Christian Albrechts University Kiel, 1984
Kreczmar, A., Effectivity problems of algorithmic logic Fundamenta Informaticae 1 (1977) 19–32 also ICALP'74 LNCS14 Springer abbr.
Kreczmar, A.,Salwicki, A., Concatenable type declarations ... in Proc IFIP TC Conf. Dresden 1983, North Holland, Amsterdam 1983, 29–37
Mirkowska, G., On formalized systems of algorithmic logic Bull.Acad.Pol.Scie. Ser.Math.Astr. 19 (1971), 421–428
Mirkowska, G., Algorithmic logic and its applications in the theory of programs, Fundamenta Informaticae 1 (1977) 1–17, 147–167
Mirkowska,G., Axiomatic definability of programming language semantics manuscript 1986
Oktaba,H., Algorithmic theories of memory management systems, in polish, Ph.D. thesis, Uni Warsaw 1981
Rasiowa,H.Sikorski,R., Mathematics of metamathematics, PWN Warszawa 1963
Salwicki,A., On algorithmic theory of stacks, Fundamenta Informaticae3 (1980), 311–332 also abbr. in Proc MFCS'78 LNCS64 Springer
Salwicki,A., Algorithmic theories of data structures in Proc. ICALP'82, LNCS143 Springer
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag
About this paper
Cite this paper
Mirkowska, G., Salwicki, A. (1986). On applications of algorithmic logic. In: Franchi-Zannettacci, P. (eds) CAAP '86. CAAP 1986. Lecture Notes in Computer Science, vol 214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022675
Download citation
DOI: https://doi.org/10.1007/BFb0022675
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16443-2
Online ISBN: 978-3-540-39783-0
eBook Packages: Springer Book Archive