Andrzej Salwicki
According to our database1,
Andrzej Salwicki
authored at least 26 papers
between 1974 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2013
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce.
Fundam. Informaticae, 2013
2009
On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions.
Inf. Comput., 2009
2008
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
Fundam. Informaticae, 2008
Fundam. Informaticae, 2008
2007
2000
1996
Fundam. Informaticae, 1996
1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
1990
Lecture Notes in Computer Science 414, Springer, ISBN: 3-540-52325-1, 1990
1987
Axiomatic definability of programming language semantics.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987
1986
Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986
1982
1981
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981
1980
On the algorithmic theory of stacks.
Fundam. Informaticae, 1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
1979
Proceedings of the Logics of Programs, Workshop, ETH Zürich, May-July 1979, 1979
Proceedings of the Logics of Programs, Workshop, ETH Zürich, May-July 1979, 1979
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977
Proceedings of the Fundamentals of Computation Theory, 1977
1976
Computational Processes Generated by Programs with Recursive Procedures and Block Structures.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976
1974
Proceedings of the Mathematical Foundations of Computer Science, 1974