668 search results - page 8 / 134 » Operational semantics for multi-language programs |
APLAS
2010
ACM
15 years 17 days ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
104
click to vote
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
ICFP
1998
ACM
15 years 4 months ago
1998
ACM
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion...
CP
2003
Springer
15 years 5 months ago
2003
Springer
82
Voted
IWINAC
2007
Springer
15 years 6 months ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...