The following pages link to Jaime Sánchez-Hernández (Q2037427):
Displaying 16 items.
- White-box path generation in recursive programs (Q2037428) (← links)
- HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems (Q2304532) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- (Q2767053) (← links)
- Failure and equality in functional logic programming (Q2844060) (← links)
- Equivalence of two formal semantics for functional logic programs (Q2867964) (← links)
- Functions and lazy evaluation in Prolog (Q2871855) (← links)
- Functional Logic Programming with Failure: A Set-Oriented View (Q2996183) (← links)
- A Fully Abstract Semantics for Constructor Systems (Q3636832) (← links)
- (Q4409162) (← links)
- (Q4736523) (← links)
- A proof theoretic approach to failure in functional logic programming (Q4819004) (← links)
- Rewriting and narrowing for constructor systems with call-time choice semantics (Q5410729) (← links)
- Rewriting and Call-Time Choice: The HO Case (Q5458434) (← links)
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)
- A Generic Intermediate Representation for Verification Condition Generation (Q5743596) (← links)