5090 search results - page 234 / 1018 » Constructing Strategies for Programming |
144
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
155
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
116
click to vote
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper describes a technical education program for high school students that comprises an image information processing system, stereo vision technology and control ...
112
click to vote
MA
1999
Springer
15 years 8 months ago
1999
Springer
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support ef...
152
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...