Andrzej Salwicki

28 papers A* 1B 8Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
A new proof of Euclid's algorithm.
CoRR
Andrzej Salwicki
2023 J jnl
Collatz conjecture becomes theorem.
CoRR
Grazyna Mirkowska, Andrzej Salwicki
2013 J jnl
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce.
Fundam. Informaticae
Hans Langmaack, Andrzej Salwicki
2009 J jnl
On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions.
Inf. Comput.
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
2009 J jnl
Verifying a Class: combining Testing and Proving.
Fundam. Informaticae
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
2008 J jnl
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
Fundam. Informaticae
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
2008 J jnl
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper.
Fundam. Informaticae
Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida
2007 J jnl
Andrzej Grzegorczyk's Contribution to Computer Science.
Fundam. Informaticae
Andrzej Salwicki
2000 J jnl
First-Order Specifications of Programmable Data Types.
SIAM J. Comput.
Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
1996 J jnl
The Algebraic Specifications do not Have the Tennenbaum Property.
Fundam. Informaticae
Grazyna Mirkowska, Andrzej Salwicki
1991 B conf
On a Hierarchy of File Types and a Tower of Their Theories.
MFCS
Andrzej Salwicki
1990 — book
LOGPLAN '88 - Report on the Programming Language
Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski
1987 — conf
Axiomatic definability of programming language semantics.
Formal Description of Programming Concepts
Grazyna Mirkowska, Andrzej Salwicki
1986 — conf
On Applications of Algorithmic Logic.
CAAP
Grazyna Mirkowska, Andrzej Salwicki
1986 — conf
On Axiomatic Definition of Max-Model of Concurrency.
Mathematical Models for the Semantics of Parallelism
Grazyna Mirkowska, Andrzej Salwicki
1983 — ed.
Logics of Programs and Their Applications, Proceedings, Poznan, Poland, August 23-29, 1980
Logics of Programs
Andrzej Salwicki
1982 A* conf
Algorithmic Theories of Data Structures.
ICALP
Andrzej Salwicki
1981 — conf
Critical Remarks on MAX Model of Concurrency.
Logic of Programs
Andrzej Salwicki
1980 B conf
Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.
MFCS
Andrzej Salwicki
1980 J jnl
On the algorithmic theory of stacks.
Fundam. Informaticae
Andrzej Salwicki
1979 — conf
On the Algorithmic Properties of Concurrent Programs.
Logic of Programs
Andrzej Salwicki, Tomasz Müldner
1979 — conf
On the Algorithmic Theory of Dictionaries.
Logic of Programs
Andrzej Salwicki
1978 B conf
On Algorithmic Theory of Stacks.
MFCS
Andrzej Salwicki
1977 B conf
An Algorithmic Approach to Set Theory.
FCT
Andrzej Salwicki
1977 B conf
Applied Algorithmic Logic.
MFCS
Andrzej Salwicki
1976 B conf
A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures.
MFCS
Grazyna Mirkowska, Andrzej Salwicki
1976 B conf
Computational Processes Generated by Programs with Recursive Procedures and Block Structures.
MFCS
Andrzej Salwicki, Tomasz Müldner
1974 B conf
Procedures, Formal Computations and Models.
MFCS
Andrzej Salwicki