1194 search results - page 85 / 239 » A Calculus for Predicative Programming |
132
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
111
Voted
ICTCS
2003
Springer
15 years 7 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
117
click to vote
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
128
click to vote
DEXAW
1998
IEEE
15 years 6 months ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
117
Voted
LOGCOM
2007
15 years 2 months ago
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...