10585 search results - page 530 / 2117 » The Orc Programming Language |
291
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
168
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
138
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
187
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
In this article we present GenI, a chart based surface realisation tool implemented in Haskell. GenI takes as input a set of first order terms (the input semantics) and a grammar...
187
click to vote
ESORICS
2005
Springer
16 years 17 days ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...