906 search results - page 138 / 182 » Language and program design for functional dependencies |
OOPSLA
2005
Springer
14 years 4 months ago
2005
Springer
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
PLDI
1995
ACM
14 years 2 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
IFIP
1989
Springer
14 years 2 months ago
1989
Springer
The designation “fault tolerant software” has been used for techniques ranging from roll-back and retry to N-version programming, from data mirroring to functional redundancy....
TLDI
2009
ACM
14 years 7 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
WFLP
2009
Springer
14 years 5 months ago
2009
Springer
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...