3713 search results - page 414 / 743 » Constructing a Calculus of Programs |
144
click to vote
CGO
2008
IEEE
15 years 6 months ago
2008
IEEE
Dynamic instrumentation systems are gaining popularity as means of constructing customized program profiling and analysis tools. However, dynamic instrumentation based analysis to...
112
Voted
LANMR
2007
15 years 6 months ago
2007
Given a propositional formula X, we present a mapping that constructs a general program P, such that the maximal models of X correspond to the stable models of P, after intersectin...
126
Voted
WSC
2000
15 years 5 months ago
2000
Over the last two decades, simulation of construction operations has gained momentum in its ability to provide solutions and understand complex problems. However, there still rema...
137
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
120
click to vote
CPHYSICS
2006
15 years 4 months ago
2006
The theory of the point and double groups has been widely used in quantum physics to understand the structure and dynamical properties of molecules and solids. In order to constru...