1675 search results - page 180 / 335 » Some thoughts on teaching programming and programming langua... |
149
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
148
Voted
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
140
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...
148
click to vote
LADS
2009
Springer
15 years 9 months ago
2009
Springer
—Time and uncertainty of the environment are very important aspects in the development of real world applications. Another important issue for the real world agents is, the balan...
121
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...