3653 search results - page 262 / 731 » On Recognizable Timed Languages |
211
click to vote
ICCS
1998
Springer
15 years 11 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
198
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
178
click to vote
PLDI
1993
ACM
15 years 11 months ago
1993
ACM
This paper describes a new language feature that allows dynamically allocated objects to be saved from deallocation by an automatic storage management system so that clean-up or o...
178
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
189
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...