2803 search results - page 27 / 561 » A Type System for Prototyping Languages |
ATAL
2003
Springer
14 years 1 months ago
2003
Springer
Distributed Internet-based attacks on computer systems are becoming more prevalent. These attacks usually employ some form of automation and involve the compromise of many systems...
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
CC
2005
Springer
14 years 2 months ago
2005
Springer
LCR
2000
Springer
14 years 1 days ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...