Pedro Lopez-Garcia
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Big-step and small-step Horn clause derivations applied to operational semantics
The paper proves equivalence between big-step and small-step derivations for Horn clauses and transforms Horn clauses into equivalent sets of clauses based on the given derivation strategy.
Highlighted terms show continued research focus across papers