The following pages link to Ricardo Peña (Q1984796):
Displayed 25 items.
- (Q1426881) (redirect page) (← links)
- Comparing parallel functional languages: Programming and performance (Q1426884) (← links)
- An assertional proof of red-black trees using Dafny (Q1984797) (← links)
- White-box path generation in recursive programs (Q2037428) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- (Q2763373) (← links)
- A new look at pattern matching in abstract data types (Q2817690) (← links)
- Interpolation-Based Height Analysis for Improving a Recurrence Solver (Q3167525) (← links)
- Formal Certification of a Resource-Aware Language Implementation (Q3183530) (← links)
- An Inference Algorithm for Guaranteeing Safe Destruction (Q3617435) (← links)
- (Q4433998) (← links)
- (Q4460216) (← links)
- Non-determinism analyses in a parallel-functional language (Q4664063) (← links)
- (Q4736971) (← links)
- (Q4736978) (← links)
- (Q4736980) (← links)
- (Q4817289) (← links)
- A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation (Q4982630) (← links)
- Liquid Types for Array Invariant Synthesis (Q5096090) (← links)
- Extending Liquid Types to Arrays (Q5121265) (← links)
- From natural semantics to C: A formal derivation of two STG machines (Q5302645) (← links)
- Implementation of Functional Languages (Q5466589) (← links)
- Implementation of Functional Languages (Q5466593) (← links)
- A Generic Intermediate Representation for Verification Condition Generation (Q5743596) (← links)
- A Space Consumption Analysis by Abstract Interpretation (Q5747629) (← links)