5 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Ernesto Pimentel, Valentín Valero
This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting…
cs.LO2002
Composing Programs in a Rewriting Logic for Declarative Programming
Juan M. Molina, Ernesto Pimentel
Constructor-Based Conditional Rewriting Logic is a general framework for integrating first-order functional and logic programming which gives an algebraic semantics for non-determi…