15777 search results - page 2867 / 3156 » Engineering in Software |
129
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Information foraging models have predicted the navigation paths of people browsing the web and (more recently) of programmers while debugging, but these models do not explicitly m...
149
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
128
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
139
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
130
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...