Andrzej Salwicki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2013

Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. PierceHans Langmaack, Andrzej Salwicki. FUIN, 122(3):227-274, 2013. [doi]

2009

On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutionsHans Langmaack, Andrzej Salwicki, Marek Warpechowski. iandc, 207(3):389-410, 2009. [doi]

Verifying a Class: combining Testing and ProvingGrazyna Mirkowska, Andrzej Salwicki, Oskar Swida. FUIN, 95(2-3):305-324, 2009. [doi]

2008

A Deterministic Algorithm for Identifying Direct Superclasses in JavaHans Langmaack, Andrzej Salwicki, Marek Warpechowski. FUIN, 85(1-4):343-357, 2008. [doi]

Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited PaperGrazyna Mirkowska, Andrzej Salwicki, Oskar Swida. FUIN, 85(1-4):1-17, 2008. [doi]

2007

Andrzej Grzegorczyk s Contribution to Computer ScienceAndrzej Salwicki. FUIN, 81(1-3):315-323, 2007. [doi]

2000

First-Order Specifications of Programmable Data TypesGrazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki. SICOMP, 30(6):2084-2096, 2000. [doi]

1996

The Algebraic Specifications do not Have the Tennenbaum PropertyGrazyna Mirkowska, Andrzej Salwicki. FUIN, 28(1-2):141-152, 1996.

1991

On a Hierarchy of File Types and a Tower of Their TheoriesAndrzej Salwicki. mfcs 1991: 47-63

1990

LOGPLAN 88 - Report on the Programming LanguageAntoni Kreczmar, Andrzej Salwicki, Marek Warpechowski. Volume 414 of Lecture Notes in Computer Science, Springer, 1990.

1987

Axiomatic definability of programming language semanticsGrazyna Mirkowska, Andrzej Salwicki. ifip2 1987: 3-22

1986

On Applications of Algorithmic LogicGrazyna Mirkowska, Andrzej Salwicki. caap 1986: 288-306

On Axiomatic Definition of Max-Model of ConcurrencyGrazyna Mirkowska, Andrzej Salwicki. ac 1987: 199-230

1982

Algorithmic Theories of Data StructuresAndrzej Salwicki. icalp 1982: 458-472

1981

Critical Remarks on MAX Model of ConcurrencyAndrzej Salwicki. lop 1982: 397-405

1980

On the algorithmic theory of stacksAndrzej Salwicki. FUIN, 3(3):311-332, 1980.

Axioms of Algorithmic Logic Univocally Determine Semantics of ProgramsAndrzej Salwicki. mfcs 1980: 552-561

1979

On the Algorithmic Theory of DictionariesAndrzej Salwicki. lop 1981: 145-168

On the Algorithmic Properties of Concurrent ProgramsAndrzej Salwicki, Tomasz Müldner. lop 1981: 169-197

1978

On Algorithmic Theory of StacksAndrzej Salwicki. mfcs 1978: 452-461

1977

An Algorithmic Approach to Set TheoryAndrzej Salwicki. fct 1977: 499-510

Applied Algorithmic LogicAndrzej Salwicki. mfcs 1977: 122-134

1976

A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with ProceduresGrazyna Mirkowska, Andrzej Salwicki. mfcs 1976: 602-606

Computational Processes Generated by Programs with Recursive Procedures and Block StructuresAndrzej Salwicki, Tomasz Müldner. mfcs 1976: 503-509

1974

Procedures, Formal Computations and ModelsAndrzej Salwicki. mfcs 1975: 464-484

Sign in or sign up to see more results.

runs on WebDSL