5090 search results - page 14 / 1018 » Constructing Strategies for Programming |
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
IFIP
2009
Springer
14 years 7 days ago
2009
Springer
IFIP
1998
Springer
13 years 12 months ago
1998
Springer
FM
2003
Springer
14 years 26 days ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
IWPC
2003
IEEE
14 years 27 days ago
2003
IEEE
This study examines the effect of individual differences on the program comprehension strategies of users working with an unfamiliar programming system. Participants of varying pr...