Malgorzata Biernacka
Malgorzata Biernacka
Assistant Professor, Institute of Computer Science, University of Wroclaw
Verified email at cs.uni.wroc.pl
Title
Cited by
Cited by
Year
A concrete framework for environment machines
M Biernacka, O Danvy
ACM Transactions on Computational Logic (TOCL) 9 (1), 6-es, 2007
812007
An operational foundation for delimited continuations in the CPS hierarchy
M Biernacka, D Biernacki, O Danvy
arXiv preprint cs/0508048, 2005
692005
A syntactic correspondence between context-sensitive calculi and abstract machines
M Biernacka, O Danvy
Theoretical Computer Science 375 (1-3), 76-108, 2007
602007
A derivational approach to the operational semantics of functional languages
M lgorzata Biernacka
PhD thesis, BRICS PhD School, Department of Computer Science, Aarhus …, 2006
202006
Automating derivations of abstract machines from reduction semantics
F Sieczkowski, M Biernacka, D Biernacki
Symposium on Implementation and Application of Functional Languages, 72-88, 2010
182010
Towards compatible and interderivable semantic specifications for the Scheme programming language, Part II: Reduction semantics and abstract machines
M Biernacka, O Danvy
Semantics and algebraic specification, 186-206, 2009
182009
Context-based proofs of termination for typed delimited-control operators
M Biernacka, D Biernacki
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
172009
Program extraction from proofs of weak head normalization
M Biernacka, O Danvy, K Støvring
Electronic Notes in Theoretical Computer Science 155, 169-189, 2006
132006
An operational foundation for delimited continuations
M Biernacka, D Biernacki, O Danvy
BRICS Report Series, 2003
132003
A context-based approach to proving termination of evaluation
M Biernacka, D Biernacki
Electronic Notes in Theoretical Computer Science 249, 169-192, 2009
112009
Formalizing constructions of abstract machines for functional languages in Coq
M lgorzata Biernacka, D Biernacki
WRS’07, 84, 2007
102007
Typing control operators in the CPS hierarchy
M Biernacka, D Biernacki, S Lenglet
Proceedings of the 13th international ACM SIGPLAN symposium on Principles …, 2011
92011
An operational foundation for the tactic language of Coq
W Jedynak, M Biernacka, D Biernacki
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
62013
Generalized refocusing: From hybrid strategies to abstract machines
M Biernacka, W Charatonik, K Zielinska
2nd International Conference on Formal Structures for Computation and …, 2017
42017
Proving termination of evaluation for System F with control operators
M Biernacka, D Biernacki, S Lenglet, M Materzok
arXiv preprint arXiv:1309.1261, 2013
32013
Deriving an Abstract Machine for Strong Call by Need
M Biernacka, W Charatonik
4th International Conference on Formal Structures for Computation and …, 2019
22019
A concrete framework for environment machines
M lgorzata Biernacka, O Danvy
ACM Transactions on Computational Logic, 2006
22006
Extracting evaluators from proofs of weak head normalization
M Biernacka, O Danvy, KS Sørensen
21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005
22005
Fully abstract encodings of λ-calculus in HOcore through abstract machines
M Biernacka, D Biernacki, S Lenglet, P Polesiuk, D Pous, A Schmitt
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
12017
An Abstract Machine for Strong Call by Value
M Biernacka, D Biernacki, W Charatonik, T Drab
Asian Symposium on Programming Languages and Systems, 147-166, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20