427 search results - page 23 / 86 » Inductive reasoning about effectful data types |
146
Voted
ACSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
131
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
131
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper presents a model of collaborative decision-making for groups that involve people and computer agents. The model distinguishes between actions relating to participants...
121
click to vote
CHI
1998
ACM
15 years 7 months ago
1998
ACM
Collaboration in current real-time groupware systems is often an awkward and clumsy process. We hypothesize that better support for workspace awareness can improve the usability o...
144
Voted
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...