718 search results - page 83 / 144 » Extraction of Structured Programs from Specification Proofs |
59
Voted
ICHIM
2001
15 years 3 months ago
2001
In this paper it is studied how the analysis of the structure of the paper of Rembrandt's etchings can help determining the authenticity of the etchings and the dates of the ...
122
click to vote
ATVA
2009
Springer
15 years 3 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
119
click to vote
AICCSA
2001
IEEE
15 years 6 months ago
2001
IEEE
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
159
Voted
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
115
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...