3342 search results - page 445 / 669 » Automating Abstract Interpretation |
102
click to vote
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
95
Voted
ITS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...
101
click to vote
RSCTC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Classic parsing methods are based on complete search techniques to find the different interpretations of a sentence. However, the size of the search space increases expon...
109
click to vote
EUROCOLT
1995
Springer
15 years 4 months ago
1995
Springer
k. The model we study can be interpreted as a broad, abstract extension of the well-studied on-line prediction model to a general decision-theoretic setting. We show that the multi...
PODC
1991
ACM
15 years 4 months ago
1991
ACM
Abstract. Self-stabilizing message driven protocols are deļ¬ned and discussed. The class weakexclusion that contains many natural tasks such as -exclusion and token-passing is deļ...