7529 search results - page 270 / 1506 » The Modula-3 Type System |
158
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...
372
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
174
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
194
click to vote
FGCS
2000
15 years 6 months ago
2000
With reference to an object type defining the two basic operations, read and write, we present solutions to the object sharing problem, classified according to the migration and/o...
185
click to vote
SEUS
2010
IEEE
15 years 5 months ago
2010
IEEE
Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the communit...