4 citations · 6 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 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.LO2013★ 1 cited
Calculating risk in functional programming
Daniel Murta, Jose Nuno Oliveira
In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, "functionally correct" code becomes risky and one…
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…