963 search results - page 71 / 193 » $M$-Solid Varieties of Languages |
168
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
165
click to vote
TACS
2001
Springer
15 years 10 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
160
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
156
click to vote
ICFP
1998
ACM
15 years 10 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
143
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
The recent enormous increase in the use of networked information access and on-line databases has led to more databases being available in languages other than English. The Center...