1781 search results - page 307 / 357 » Visualizing program execution using user abstractions |
123
click to vote
CMSB
2006
Springer
15 years 5 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
113
click to vote
INTERNET
2002
15 years 1 months ago
2002
stract level, remote procedure calls enable programmers to invoke (possibly remote) services as if they were intra-application procedure calls. Much like function or procedure call...
126
click to vote
EDO
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
116
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
126
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...