The following pages link to (Q4379577):
Displayed 5 items.
- Lambda-dropping: Transforming recursive equations into programs with block structure (Q1583366) (← links)
- \texttt{Tenscalc}: a toolbox to generate fast code to solve nonlinear constrained minimizations and compute Nash equilibria (Q2088964) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Mechanized Verification of Computing Dominators for Formalizing Compilers (Q4916051) (← links)
- Pattern matching compilation of functions defined in context-free languages (Q5945841) (← links)