1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 1 cited
Programming from Metaphorisms
J. N. Oliveira
This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relatio…
cs.LO2012
Functions as types or the "Hoare logic" of functional dependencies
Jose N. Oliveira
Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional ty…