Follow
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
862007
An operational foundation for delimited continuations in the CPS hierarchy
O Danvy, D Biernacki, M Biernacka
Logical Methods in Computer Science 1, 2005
762005
A syntactic correspondence between context-sensitive calculi and abstract machines
M Biernacka, O Danvy
Theoretical Computer Science 375 (1-3), 76-108, 2007
622007
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
212010
A derivational approach to the operational semantics of functional languages
M lgorzata Biernacka
PhD thesis, BRICS PhD School, Department of Computer Science, Aarhus …, 2006
212006
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
202009
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
192009
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
142006
An operational foundation for delimited continuations
M Biernacka, D Biernacki, O Danvy
BRICS Report Series, 2003
142003
Generalized refocusing: from hybrid strategies to abstract machines
M Biernacka, W Charatonik, K Zielinska
2nd International Conference on Formal Structures for Computation and …, 2017
102017
A context-based approach to proving termination of evaluation
M Biernacka, D Biernacki
Electronic Notes in Theoretical Computer Science 249, 169-192, 2009
102009
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
Deriving an abstract machine for strong call by need
M Biernacka, W Charatonik
4th International Conference on Formal Structures for Computation and …, 2019
82019
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
82013
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
72020
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
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
42013
A Derived Reasonable Abstract Machine for Strong Call by Value
M Biernacka, W Charatonik, T Drab
23rd International Symposium on Principles and Practice of Declarative …, 2021
32021
A concrete framework for environment machines
M lgorzata Biernacka, O Danvy
ACM Transactions on Computational Logic, 2006
32006
The system can't perform the operation now. Try again later.
Articles 1–20