CEFP
2005
Springer
13 years 10 months ago
2005
Springer
CEFP
2005
Springer
13 years 10 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
13 years 10 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...