
Registered user since Wed 16 May 2018
Name:German Vidal
Country:Spain
Affiliation:Universitat Politecnica de Valencia
Personal website:http://www.dsic.upv.es/~gvidal
Research interests:programming languages, functional programming, logic programming, term rewriting, program analysis, debugging, program transformation, reversible computation
Contributions
PADL 2021 | Causal-Consistent Reversible Debugging: Improving CauDEr | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile