Andrzej Salwicki

Available identifiers

zbMath Open salwicki.andrzejWikidataQ97370103 ScholiaQ97370103MaRDI QIDQ1013084

List of research outcomes

Publication	Date of Publication	Type
A new proof of Euclid's algorithm	2023-11-01	Paper
Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce	2013-04-18	Paper
Verifying a class: combining testing and proving	2010-02-05	Paper
On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions	2009-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q5506350	2009-01-28	Paper
A deterministic algorithm for identifying direct superclasses in Java	2009-01-28	Paper
Andrzej Grzegorczyk's contribution to computer science	2008-03-03	Paper
First-order specifications of programmable data types	2001-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4332420	1997-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q4035226	1993-05-18	Paper
LOGLAN '88. Report on the programming language	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3792662	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3030236	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3709855	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3670530	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939203	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3942376	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3925868	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3923576	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883461	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883471	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4168060	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167523	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130976	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4159033	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4188700	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125746	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134909	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4117361	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4086684	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596237	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596238	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596239	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5507986	1965-01-01	Paper

Research outcomes over time

This page was built for person: Andrzej Salwicki