1411 search results - page 62 / 283 » Interactive Coding for Interactive Proofs |
CSCW
2011
ACM
13 years 6 months ago
2011
ACM
Computer users rely on software tools to work effectively and efficiently, but it is difficult for users to be aware of all the tools that might be useful to them. While there a...
POPL
2010
ACM
14 years 8 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
CHINZ
2006
ACM
14 years 5 months ago
2006
ACM
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends exis...
ESAW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
BMCBI
2010
13 years 11 months ago
2010
Background: Protein-protein interaction (PPI) plays essential roles in cellular functions. The cost, time and other limitations associated with the current experimental methods ha...