6149 search results - page 330 / 1230 » Revealing the programming process |
218
Voted
CEFP
2005
Springer
16 years 1 months 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...
219
click to vote
GPCE
2004
Springer
16 years 26 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...
196
Voted
TPHOL
2003
IEEE
16 years 22 days 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...
172
Voted
SIGUCCS
2003
ACM
16 years 21 days 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...
213
Voted
COOPIS
2004
IEEE
15 years 11 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...