7124 search results - page 402 / 1425 » Programming Languages and Operating Systems |
182
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not su ciently addresse...
286
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...
154
click to vote
HOTOS
2003
IEEE
16 years 4 days ago
2003
IEEE
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...
183
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
169
click to vote
IFIP
1992
Springer
15 years 11 months ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...