2233 search results - page 145 / 447 » Modular type classes |
130
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
151
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
113
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
112
click to vote
AOSD
2005
ACM
15 years 8 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
117
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...