1650 search results - page 257 / 330 » The HOM problem is decidable |
171
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
149
click to vote
ACSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
1 Assurance has been defined as "the degree of confidence that security needs are satisfied"[2]. The problem with this definition is that, unless one has a way to specify...
152
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
177
click to vote
ICCL
1998
IEEE
15 years 10 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
189
click to vote
WEBDB
1999
Springer
15 years 10 months ago
1999
Springer
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...