730 search results - page 34 / 146 » Security-typed programming within dependently typed programm... |
POPL
1997
ACM
14 years 19 days ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
ECOOP
2008
Springer
13 years 10 months ago
2008
Springer
Implicit invocation (II) and aspect-oriented (AO) languages provide related but distinct mechanisms for separation of concerns. II languages have explicitly announced events that r...
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...