6960 search results - page 228 / 1392 » Continuity Analysis of Programs |
149
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
To stay aware of relevant information and avoid productivity loss, a developer has to continuously read through new incoming information. Our approach supports the integration of ...
227
Voted
CPHYSICS
2011
14 years 7 months ago
2011
We present a new Monte Carlo tool that computes full tree-level matrix elements in high-energy physics. The program accepts user-defined models and has no restrictions on the pro...
117
Voted
JUCS
2010
14 years 10 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
119
Voted
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
110
Voted
DDEP
2000
Springer
15 years 8 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...