1356 search results - page 198 / 272 » A variable-free dynamic semantics |
141
click to vote
CCS
1998
ACM
15 years 8 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
121
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
159
click to vote
ER
1998
Springer
15 years 8 months ago
1998
Springer
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
129
click to vote
TARK
1998
Springer
15 years 8 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
118
click to vote
IUI
1997
ACM
15 years 8 months ago
1997
ACM
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...