6149 search results - page 125 / 1230 » Revealing the programming process |
99
Voted
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
123
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
106
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
108
Voted
WETICE
1998
IEEE
15 years 5 months ago
1998
IEEE
Mobile agents are processes which can migrate and execute on new hosts. Mobility is a key concept for network programming; it has stimulated much research about new programming la...
112
click to vote
VISSYM
2007
15 years 3 months ago
2007
Lattice graphs are used as underlying data structures in many statistical processing systems, including natural language processing. Lattices compactly represent multiple possible...