BIRTHDAY
2003
Springer
14 years 9 months ago
2003
Springer
The pagination problem of complex documents is in placing text and floating objects on pages in such a way that each object appears close to, but not before, its text reference. ...
BIRTHDAY
2003
Springer
14 years 9 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
BIRTHDAY
2003
Springer
14 years 9 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...
BIRTHDAY
2003
Springer
14 years 9 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...