2477 search results - page 344 / 496 » First-Order Interactive Programming |
100
click to vote
RECOMB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
101
click to vote
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...