A natural framework for real-time specification is monadic first-order logic over the structure (R, <,+1)—the ordered real line with unary +1 function. Our main result is that (R, <,+1) has the 3-variable property: every monadic first-order formula with at most 3 free variables is equivalent over this structure to one that uses 3 variables in total. As a corollary we obtain also the 3-variable ...

Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system “à la Hilbert”. We present in this paper a combinatory logic which corresponds to pro...

In functional languages, e ciency heavily relies on the choice of an evaluation strategy and an implementation model. We rst develop a λ-calculus with explicit substitutions which avoids the usual problems of substitution and α-conversion, where we can de ne the usual strategies, as well as some strategies with more sharing of computations. We then develop an e cient implementation model for th...

This work presents an experimental study of an idea related to the automatic generation of performance and stress testing by reusing functional testing. The idea was implemented in a tool named FERRARE GT. This tool is able to generate both test scripts as well as the data required for their execution. In this study we verified that the use of the method can generate benefits related to cost re...

Interviews with 32 community behavioral health providers elicited perceived benefits and barriers of using electronic health records. Themes identified were (a) quality of care, (b) privacy and security, and (c) delivery of services. Benefits to quality of care were mentioned by 100% of the providers, and barriers by 59% of providers. Barriers involving privacy and security concerns were mentio...

Interviews with 32 community behavioral health providers elicited perceived benefits and barriers of using electronic health records. Themes identified were (a) quality of care, (b) privacy and security, and (c) delivery of services. Benefits to quality of care were mentioned by 100% of the providers, and barriers by 59% of providers. Barriers involving privacy and security concerns were mentio...

In Database Theory, Multivalued Dependencies are the main tool to define the Fourth Normal Form and, as such, their inference problem has been deeply studied; two related notions appearing in that study are a syntactical analog in propositional logic and a restriction that maintains to this logic the same relationship as Functional Dependencies do to Horn logic. We present semantic, lattice-the...