2604 search results - page 85 / 521 » General constant expressions for system programming language... |
243
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. The expression families problem can be defined as the problem of achieving reusability and composability across the components involved in a family of related datatypes a...
119
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
236
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
116
Voted
CCS
2004
ACM
15 years 9 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
127
Voted
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
Existing array region representation techniques are sensitive to the complexity of array subscripts. In general, these techniques are very accurate and efficient for simple subscr...