2111 search results - page 104 / 423 » How to Program Pervasive Systems |
109
Voted
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
119
click to vote
PADL
2004
Springer
15 years 6 months ago
2004
Springer
The wide practice of objected oriented programming (OOP) in current software practice is evident. Despite extensive studies on typing programming objects, it is still undeniably a ...
129
Voted
CSFW
2007
IEEE
15 years 4 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
108
click to vote
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
188
click to vote
WFLP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on embedded systems and games. Two key points in the design of the language that led to...