2736 search results - page 313 / 548 » Understanding programmer language |
189
click to vote
IFL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
194
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
145
click to vote
DIAGRAMS
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in developing a better understanding of what it is that students find difficult in learning logic. We use both natural language and diagram-based methods for teac...
320
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
303
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...