Andrzej Salwicki

发表

On a Hierarchy of File Types and a Tower of Their Theories

Andrzej Salwicki, 1991, MFCS.

Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce

Hans Langmaack, Andrzej Salwicki, H. Langmaack, 2013, Fundam. Informaticae.

Verifying a Class: combining Testing and Proving

Andrzej Salwicki, Grażyna Mirkowska, Oskar Świda, 2009, Fundam. Informaticae.

On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions

Hans Langmaack, Andrzej Salwicki, Marek Warpechowski, 2009, Inf. Comput..

Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper

Grazyna Mirkowska, Andrzej Salwicki, Oskar Swida, 2008, Fundam. Informaticae.

On the Algorithmic Properties of Concurrent Programs

Tomasz Müldner, Andrzej Salwicki, 1979, Logic of Programs.

Computational Processes Generated by Programs with Recursive Procedures and Block Structures

Tomasz Müldner, Andrzej Salwicki, 1976, MFCS.

A Deterministic Algorithm for Identifying Direct Superclasses in Java

Hans Langmaack, Andrzej Salwicki, Marek Warpechowski, 2008, Fundam. Informaticae.

Procedures, Formal Computations and Models

Andrzej Salwicki, 1974, MFCS.

Axiomatic definability of programming language semantics

Grazyna Mirkowska, Andrzej Salwicki, 1987, Formal Description of Programming Concepts.

Andrzej Grzegorczyk's Contribution to Computer Science

Andrzej Salwicki, A. Salwicki, 2008, Fundam. Informaticae.

Algorithm Theories and Design Tactics

Andrzej Salwicki, M. Lowry, Douglas R. Smith, 1989, Sci. Comput. Program..

Axioms of Algorithmic Logic Univocally Determine Semantics of Programs

Andrzej Salwicki, A. Salwicki, 1980, MFCS.

First-Order Specifications of Programmable Data Types

Marian Srebrny, Grazyna Mirkowska, Andrzej Tarlecki, 2000, SIAM J. Comput..

On Axiomatic Definition of Max-Model of Concurrency

Grazyna Mirkowska, Andrzej Salwicki, A. Salwicki, 1986, Mathematical Models for the Semantics of Parallelism.

Logic of Programs and Their Applications, Proceedings

Andrzej Salwicki, 1980 .

LOGLAN '88 — Report on the Programming Language

Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski, 1990, Lecture Notes in Computer Science.

The Algebraic Specifications do not Have the Tennenbaum Property

Grazyna Mirkowska, Andrzej Salwicki, 1996, Fundam. Informaticae.

Critical Remarks on MAX Model of Concurrency

Andrzej Salwicki, A. Salwicki, 1981, Logic of Programs.

A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures

Grazyna Mirkowska, Andrzej Salwicki, 1976, MFCS.

On the algorithmic theory of stacks

Andrzej Salwicki, 1980, Fundam. Informaticae.

Applied Algorithmic Logic

Andrzej Salwicki, 1977, MFCS.

Algorithmic Logic

Andrzej Salwicki, C. Mirkowska, 1987 .

An Algorithmic Approach to Set Theory

Andrzej Salwicki, 1977, FCT.

On Applications of Algorithmic Logic

Grazyna Mirkowska, Andrzej Salwicki, 1986, CAAP.

On the Algorithmic Theory of Dictionaries

Andrzej Salwicki, 1979, Logic of Programs.

An introduction to algorithmic logic; metamathematical investigations in the theory of programs

Antoni Kreczmar, Lech Banachowski, Andrzej Salwicki, 1977 .