16844 search results - page 181 / 3369 » How to Design Programs |
148
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
We describe how to express homomorphic translations with an object-oriented design. This includes a uniform approach to the addition of external functionality to data structures. ...
191
click to vote
ICIAP
1995
ACM
15 years 10 months ago
1995
ACM
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...
176
click to vote
DSL
2009
15 years 4 months ago
2009
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
192
click to vote
ICALP
2011
Springer
14 years 10 months ago
2011
Springer
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
163
click to vote
PPPJ
2004
ACM
15 years 12 months ago
2004
ACM
All programmers should understand the concept of program families and know the techniques for constructing them. This paper describes a case study that can be used to introduce st...