• Publications
  • Influence
Bigloo.NET: compiling Scheme to .NET CLR
TLDR
This paper presents the compilation of the Scheme programming language to .NET. Expand
Compiling Scheme programs to . NET Common Intermediate Language
This paper presents the compilation of the Scheme programming language to .NET platform. .NET provides a virtual machine, the Common Language Runtime (CLR), that executes bytecode: the CommonExpand
State Abstraction Techniques for the Verification of Reactive Circuits
Several techniques for formal verification of synchronous circuits depend on the computation of the reachable state space (RSS) of the circuit. Computing the exact RSS may be prohibitively expensive.Expand