1166 search results - page 34 / 234 » Programming Language Support for Adaptable Wearable Computin... |
103
Voted
CIE
2007
Springer
15 years 8 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
132
Voted
SIGADA
2007
Springer
15 years 8 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
104
Voted
C5
2008
IEEE
15 years 8 months ago
2008
IEEE
The Language Grid is an infrastructure for enabling users to share language resources developed by language specialists and end-user communities. The users employ the resources to...
111
Voted
ISPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
122
Voted
HOPL
2007
15 years 6 months ago
2007
This paper outlines the history of the C++ programming language from the early days of its ISO standardization (1991), through the 1998 ISO standard, to the later stages of the C+...