481 search results - page 18 / 97 » Executing Higher Order Logic |
135
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
126
click to vote
CADE
2003
Springer
16 years 1 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
120
click to vote
ICTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
162
click to vote
LICS
1994
IEEE
15 years 5 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
FSTTCS
1993
Springer
15 years 5 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...