The following pages link to Germán Vidal (Q232929):
Displayed 26 items.
- (Q4421874) (← links)
- Uniform Lazy Narrowing (Q4461934) (← links)
- (Q4471989) (← links)
- (Q4537508) (← links)
- Concolic testing in logic programming (Q4593010) (← links)
- (Q4808813) (← links)
- Annotation of logic programs for independent AND-parallelism by partial evaluation (Q4911136) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- Selective Unification in (Constraint) Logic Programming* (Q4988929) (← links)
- Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
- Lazy call-by-value evaluation (Q5168933) (← links)
- Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)
- Towards Modelling Actor-Based Concurrency in Term Rewriting (Q5240184) (← links)
- Programming Languages and Systems (Q5316584) (← links)
- Reversible Term Rewriting (Q5369493) (← links)
- Program Inversion for Tail Recursive Functions (Q5389087) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Run-Time Profiling of Functional Logic Programs (Q5458802) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
- Concolic Execution in Functional Programming by Program Instrumentation (Q5743599) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
- Prefix-based tracing in message-passing concurrency (Q6102258) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)
- Reversible debugging in logic programming (Q6175114) (← links)
- Causal-consistent replay debugging for message passing programs (Q6190186) (← links)