351 search results - page 4 / 71 » Classical Logic with Partial Functions |
PLPV
2012
ACM
12 years 2 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
ENTCS
2006
13 years 7 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
ISMVL
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper focuses on the fixed polarity ReedMuller (FPRM) expression of multiple-valued logic (MVL) symmetric functions. In the FPRM expression, each variable occurs in exactly o...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...