BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × USA
Collaborated with:
A.Schubert D.Walukiewicz-Chrzaszcz P.Czarnik A.Tarlecki
Talks about:
construct (1) protocol (1) guarante (1) function (1) compound (1) calculus (1) languag (1) definit (1) consist (1) complex (1)

Person: Jacek Chrzaszcz

DBLP DBLP: Chrzaszcz:Jacek

Contributed to:

CSL 20122012
ICST 20122012
IJCAR 20062006
PPDP 20172017

Wrote 4 papers:

CSL-2012-ChrzaszczS #complexity #ml
ML with PTIME complexity guarantees (JC, AS), pp. 198–212.
ICST-2012-ChrzaszczCST #evolution #protocol #testing
Testing of Evolving Protocols (JC, PC, AS, AT), pp. 901–906.
IJCAR-2006-Walukiewicz-ChrzaszczC #calculus #consistency
Consistency and Completeness of Rewriting in the Calculus of Constructions (DWC, JC), pp. 619–631.
PPDP-2017-ChrzaszczS #object-oriented
Function definitions for compound values in object-oriented languages (JC, AS), pp. 61–72.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.