Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Marek Materzok"'
Autor:
Marek Materzok
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:52-79
The most widely used languages and methods used for designing digital hardware fall into two rough categories. One of them, register transfer level (RTL), requires specifying each and every component in the designed circuit. This gives the designer f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 127, Iss Proc. COS 2013, Pp 15-29 (2013)
We present new proofs of termination of evaluation in reduction semantics (i.e., a small-step operational semantics with explicit representation of evaluation contexts) for System F with control operators. We introduce a modified version of Girard's
Externí odkaz:
https://doaj.org/article/c3bcb5ae03d74a589b2fa3eb626b5cc3
Autor:
Marek Materzok
Publikováno v:
CSERC
This paper describes a visual circuit simulator tool designed for teaching students digital circuit design. The tool runs in the browser and is simple to use. It allows to visualize the synthesized circuit generated from Verilog/SystemVerilog code an
Autor:
Marek Materzok, Dariusz Biernacki
Publikováno v:
Programming Languages and Systems ISBN: 9783642351815
APLAS
APLAS
The CPS hierarchy of control operators shift i /reset i of Danvy and Filinski is a natural generalization of the shift and reset static control operators that allow for abstracting delimited control in a structured and CPS-guided manner. In this arti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e53445c55f0e026491b1308935e5045a
https://doi.org/10.1007/978-3-642-35182-2_21
https://doi.org/10.1007/978-3-642-35182-2_21
Publikováno v:
Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 3, p1-31, 31p
Autor:
BIERNACKI, DARIUSZ1 dabi@cs.uni.wroc.pl, DANVY, OLIVIER2 danvy@cs.au.dk, MILLIKIN, KEVIN3 kmillikin@google.com
Publikováno v:
ACM Transactions on Programming Languages & Systems. Oct2015, Vol. 38 Issue 1, p2:1-2:25. 25p.
Autor:
Materzok, Marek, Biernacki, Dariusz
Publikováno v:
ACM / SIGPLAN Notices; Sep2011, Vol. 46 Issue 9, p81-93, 1p
Autor:
Ranjit Jhala, Atsushi Igarashi
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks w