2604 search results - page 84 / 521 » General constant expressions for system programming language... |
138
Voted
HOPL
2007
15 years 7 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+...
133
Voted
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
218
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
121
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
161
Voted
LCPC
1995
Springer
15 years 7 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...