CEFP
2005
Springer
14 years 5 months ago
2005
Springer
CEFP
2005
Springer
14 years 5 months ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
CEFP
2005
Springer
14 years 5 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...