Dariusz Biernacki

A functional correspondence between evaluators and abstract machines

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · 2003 · 141 citations

Artificial Intelligence, Closure Conversion, Engineering +17

A Functional Correspondence between Evaluators and Abstract Machines

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · BRICS Report Series · 2003 · 130 citations · Full text

Artificial Intelligence, Abstract Machine, Engineering +14

Clock-directed modular code generation for synchronous data-flow languages

Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon et al. · 2008 · 70 citations

Engineering, Compiler Technology, Computer Architecture +19

From Interpreter to Compiler and Virtual Machine: A Functional Derivation

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · BRICS Report Series · 2003 · 63 citations · Full text

Engineering, Compiler Technology, Verification +21

High resolution laser spectroscopy of NO: The <i>A</i>, <i>v</i>=1 state and a series of <i>n</i> <i>f</i>, <i>v</i>=1 Rydberg states

Dariusz Biernacki, Steven D. Colson, E. E. Eyler · The Journal of Chemical Physics · 1988 · 53 citations

High Resolution, Engineering, Laser Science +24