6149 search results - page 330 / 1230 » Revealing the programming process |
188
click to vote
CEFP
2005
Springer
16 years 8 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
189
click to vote
GPCE
2004
Springer
16 years 3 days ago
2004
Springer
Aspect-Oriented Programming (AOP) addresses limitations in the Object-Oriented (OO) paradigm relating to modularisation of crosscutting behaviour. In AOP, crosscutting behaviour is...
176
click to vote
TPHOL
2003
IEEE
16 years 4 hour ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
149
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
Indiana State University is providing handheld computers to every faculty member in its School of Education. What started as a small pilot program a year ago has grown into a proj...
191
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application...