Jacek Chrzaszcz

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 6

Top Topics

Garbage Collection

Object Oriented Languages

Top Venues

Publications

Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert
A Java Bytecode Formalisation. VSTTE (2018)
Aleksy Schubert, Jacek Chrzaszcz
Formalisation of a frame stack semantics for a Java-like language. CoRR (2018)
Jacek Chrzaszcz, Aleksy Schubert
Function definitions for compound values in object-oriented languages. PPDP (2017)
Jacek Chrzaszcz, Aleksy Schubert
The role of polymorphism in the characterisation of complexity by soft types. Inf. Comput. 248 (2016)
Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski
Coq Support in HAHA. TYPES (2016)
Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert
Java Loops Are Mainly Polynomial. SOFSEM (2015)
Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz
On multiply-exponential write-once Turing machines. CoRR (2014)
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
Testing of Evolving Protocols. ICST (2012)
Jacek Chrzaszcz, Aleksy Schubert
ML with PTIME complexity guarantees. CSL (2012)
Jacek Chrzaszcz, Aleksy Schubert
The Role of Polymorphism in the Characterisation of Complexity by Soft Types. MFCS (2011)
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert
A Dozen Instructions Make Java Bytecode. Electron. Notes Theor. Comput. Sci. 264 (4) (2011)
Pawel Brach, Jacek Chrzaszcz, Janusz Jablonowski, Jakub Swiatly
A distributed service oriented system for GUI map generation. CompSysTech (2011)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Inductive Consequences in the Calculus of Constructions. ITP (2010)
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
BML and Related Tools. FMCO (2008)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Consistency and Completeness of Rewriting in the Calculus of Constructions CoRR (2008)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Consistency and Completeness of Rewriting in the Calculus of Constructions. Log. Methods Comput. Sci. 4 (3) (2008)
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
Towards Rewriting in Coq. Rewriting, Computation and Proof (2007)
Aleksy Schubert, Jacek Chrzaszcz
ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. SET (2006)
Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz
Consistency and Completeness of Rewriting in the Calculus of Constructions. IJCAR (2006)
Jacek Chrzaszcz, Jean-Pierre Jouannaud
From OBJ to ML to Coq. Essays Dedicated to Joseph A. Goguen (2006)
Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert
Minik: A Tool for Maintaining Proper Java Code Structure. SET (2006)
Jacek Chrzaszcz
Implementing Modules in the Coq System. TPHOLs (2003)
Jacek Chrzaszcz
Modules in Coq Are and Will Be Correct. TYPES (2003)
Jacek Chrzaszcz
Polymorphic Subtyping Without Distributivity. MFCS (1998)