Jacek Chrzaszcz

According to our database, Jacek Chrzaszcz authored at least 22 papers between 1998 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Formalisation of a frame stack semantics for a Java-like language.

Aleksy Schubert, Jacek Chrzaszcz

CoRR, 2018

A Java Bytecode Formalisation.

Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

Function definitions for compound values in object-oriented languages.

Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2016

The role of polymorphism in the characterisation of complexity by soft types.

Jacek Chrzaszcz, Aleksy Schubert

Inf. Comput., 2016

Coq Support in HAHA.

Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2015

Java Loops Are Mainly Polynomial.

Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the SOFSEM 2015: Theory and Practice of Computer Science, 2015

2014

On multiply-exponential write-once Turing machines.

Maciej Zielenkiewicz, Aleksy Schubert, Jacek Chrzaszcz

CoRR, 2014

2012

Testing of Evolving Protocols.

Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

ML with PTIME complexity guarantees.

Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the Computer Science Logic (CSL'12), 2012

2011

A distributed service oriented system for GUI map generation.

Pawel Brach, Jacek Chrzaszcz, Janusz Jablonowski, Jakub Swiatly

Proceedings of the 12th International Conference on Computer Systems and Technologies, 2011

2010

A Dozen Instructions Make Java Bytecode.

Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert

Proceedings of the Fifth Workshop on Bytecode Semantics, 2010

Inductive Consequences in the Calculus of Constructions.

Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2008

Consistency and Completeness of Rewriting in the Calculus of Constructions.

Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz

Log. Methods Comput. Sci., 2008

BML and Related Tools.

Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Towards Rewriting in Coq.

Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz

Proceedings of the Rewriting, 2007

2006

ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications.

Aleksy Schubert, Jacek Chrzaszcz

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Minik: A Tool for Maintaining Proper Java Code Structure.

Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

From OBJ to ML to Coq.

Jacek Chrzaszcz, Jean-Pierre Jouannaud

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

KOTEK: Clustering Of The Enterprise Code.

Andrzej Gasienica-Samek, Tomasz Stachowicz, Jacek Chrzaszcz, Aleksy Schubert

Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005

2003

Modules in Coq Are and Will Be Correct.

Jacek Chrzaszcz

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Implementing Modules in the Coq System.

Jacek Chrzaszcz

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

1998

Polymorphic Subtyping Without Distributivity.

Jacek Chrzaszcz

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998