Jacek Chrzaszcz

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