The following pages link to Julio C. Peralta (Q238503):
Displaying 4 items.
- (Q2723919) (← links)
- Convex Hull Abstractions in Specialization of CLP Programs (Q3079923) (← links)
- SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing (Q4208852) (← links)
- Regular tree languages as an abstract domain in program specialisation (Q5959582) (← links)
