7529 search results - page 181 / 1506 » The Modula-3 Type System |
164
Voted
COMPSYSTECH
2009
15 years 2 months ago
2009
: The paper investigates first the role of artifacts in a cooperative work environment. It shows the different types of artifacts used in work groups. Then, it stresses the charact...
161
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
149
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
176
Voted
SOCO
2002
Springer
15 years 4 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
124
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...