1166 search results - page 34 / 234 » Programming Language Support for Adaptable Wearable Computin... |
CIE
2007
Springer
14 years 3 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...
SIGADA
2007
Springer
14 years 3 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...
C5
2008
IEEE
14 years 3 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...
ISPDC
2006
IEEE
14 years 3 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,...
HOPL
2007
14 years 25 days 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+...