2000 search results - page 76 / 400 » Program Transformation and Proof Transformation |
AOSD
2006
ACM
15 years 5 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
113
click to vote
TII
2010
14 years 6 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
111
click to vote
JMLR
2012
13 years 2 months ago
2012
We transform the outputs of each hidden neuron in a multi-layer perceptron network to have zero output and zero slope on average, and use separate shortcut connections to model th...
ICFP
2003
ACM
15 years 5 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Procedure extraction is an important program transformation that can be used to make programs easier to understand and maintain, to facilitate code reuse, and to convert “monoli...