4386 search results - page 488 / 878 » A Tamper-Resistant Programming Language System |
112
click to vote
IFIP
1998
Springer
15 years 9 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
147
click to vote
POPL
1993
ACM
15 years 8 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
145
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
148
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Gordon and Jeffrey developed a type system for checking correspondence assertions. The correspondence assertions, proposed by Woo and Lam, state that when a certain event (called a...
121
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...