60 search results - page 6 / 12 » UCG-E: An Equational Logic Programming System |
74
Voted
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
107
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
106
Voted
LOPSTR
2005
Springer
15 years 3 months ago
2005
Springer
We propose an extension of functional logic languages that allows the deļ¬nition of operations with patterns containing other deļ¬ned operation symbols. Such āfunction patterns...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
RTSS
1998
IEEE
15 years 2 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....