3713 search results - page 230 / 743 » Constructing a Calculus of Programs |
198
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
172
click to vote
WSC
2008
15 years 9 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
188
click to vote
FROCOS
2005
Springer
16 years 2 days ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
150
click to vote
AUSAI
2005
Springer
16 years 19 hour ago
2005
Springer
This paper proposes an idea for constructing a personalized recommendation system for the Electronic Program Guide (EPG). This system would use a basic statistics method with feedb...
132
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
earch abstract outlines the work I plan to do as part of my PhD. In particular, I propose to devise a practical way of integrating ownership control into existing programming lang...