Aleksy Schubert's papers
Recent publications
2007
- Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert,
Immutable Objects for a Java-like Language, to be published in
Proceedings of ESOP'2007, Springer LNCS
- Erik Poll, Aleksy Schubert, Verifying an implementation of
SSH, PDF with a preliminary version,
to be published in Proceedings on WITS'2007
2006
- Maciej Cielecki, Jędrzej Fulara, Krzysztof Jakubczyk, Łukasz
Jancewicz, Jacek Chrz±szcz, Łukasz Kamiński, Aleksy Schubert,
Propagation of JML non-null annotations in Java programs. In:
Proceedings of the 4th International Symposium on Principles and Practice
of Programming in Java (Mannheim, Germany, August 30 - September 01, 2006).
PPPJ'06, vol. 178. ACM Press, New York
- Aleksy Schubert, Jacek Chrzaszcz, ESC/Java2 as a Tool to
Ensure Security in the Source Code of Java Applications,
to be published in Proceedings of Conference on Software Engineering
Techniques - SET'2006, Springer,
a PDF with preliminary version,
- Aleksy Schubert, Było smaszno (an essay on a translation of
Lewis Carroll's Jabberwocky into Polish), no 16 (1/2006),
Jagiellonian University, Kraków, Poland
- Jacek Chrz±szcz, Tomasz Stachowicz, Andrzej G±sienica-Samek,
Aleksy Schubert, Minik: A Tool for Maintaining Proper Java Code
Structure, to be published in Proceedings of Conference on Software
Engineering Techniques - SET'2006, Springer
- Christian Haack, Erik Poll, Aleksy Schubert, Immutable objects
in Java, technical report, Radboud University Nijmegen,
Department of Computer Science
2005
- Aleksy Schubert, A self-dependency constraint in the simply typed
lambda calculus, Fundamentals of Computation Theory, 15th
Internationas Symposium, FCT 2005, Lubeck, Germany, August 17-20, 2005
Proceedings (M. Liskiewicz, R. Reischuk ed.), LNCS 3623,
Springer
- Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy
Schubert, KOTEK: Clustering of The Enterprise Code, w Software
Engineering: Evolution and Emerging Technologies, Krajowa
Konferencja Inzynierii Oprogramowania, pp 412--417, ed.
Krzysztof Zielinski, Tomasz Szmuc, Vol 130, IOS Press, Amsterdam
2004
- Aleksy Schubert, On the Building of Affine Retractions,
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual
Conference of the EACSL, Karpacz, Poland, September 20-24, 2004,
Proceedings (J. Marcinkowski, A. Tarlecki eds.), LNCS 3210,
Springer
2001
- Aleksy Schubert, The complexity of beta-reduction in low
orders, Proceedings of Typed Lambda Calculi and Applications
(Samson Abramsky, ed.), LNCS 2044, pp. 400--414, Springer Verlag, 2001.
2000
- Aleksy Schubert, Type inference for
first order logic Foundations of Software Science and
Computation Structures, Berlin, Germany, 2000,
Proceedings. LNCS 1784, pp 297--313, Springer Verlag.
- Ken-etsu Fujita, Aleksy Schubert, Partially typed terms between
Church-style and Curry-style Theoretical Computer Science,
Exploring New Frontiers of Theoretical Informatics, International
Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000,
Proceedings. (Jan van Leeuwen, Osamu Watanabe, Masami Hagiya,
Peter D. Mosses and Takayasu Ito, eds), LNCS 1872, Springer Verlag,
pp. 505--520.
1998
- Aleksy Schubert, Second-Order Unification and Type Inference
for Church-Style Polymorphism, Proceedings of the 25th ACM
SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
January 19-21, 1998, San Diego, CA, USA. ACM Press, 1998
a preliminary version,
a simplified version - intuitions,
no proofs
1996
- Aleksy Schubert, Linear interpolation for the higher order
matching problem, TAPSOFT'97: Theory and Practice of Software
Development, 7th International Joint Conference CAAP/FASE, Lille, France,
April 14-18, 1997, Proceedings, LNCS 1214, Springer
a preliminary version
- Marcin Jurdzinski, Mikolaj Konarski, Aleksy Schubert,
The EML-Kit, Version 1, Technical Report of Institute of
Informatics, Warsaw University, TR 96-04 (225);
a postscript.
Recently written papers
Minor notes
- Aleksy Schubert, Java Virtual Machine restrictions for the mobile
platform, PDF
Last modification: 7.12.2007