2019 search results - page 346 / 404 » Programming with Shared Data Abstractions |
166
click to vote
FOSSACS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
165
click to vote
CEC
2008
IEEE
16 years 14 days ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
156
click to vote
ICALP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...
158
click to vote
COMPSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
187
click to vote
IFL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...