1411 search results - page 35 / 283 » Interactive Coding for Interactive Proofs |
ENTCS
2002
13 years 10 months ago
2002
An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
CHI
2006
ACM
14 years 11 months ago
2006
ACM
Many augmented reality (AR) applications which overlay computer graphics on a real image have been developed. One of the limitations of such applications is that a user has to con...
ATVA
2008
Springer
14 years 29 days ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
CHI
2010
ACM
14 years 5 months ago
2010
ACM
Developers spend significant time reading and navigating code fragments spread across multiple locations. The filebased nature of contemporary IDEs makes it prohibitively difficul...