31686 search results - page 302 / 6338 » Resource typing in Guru |
88
Voted
IEEEIAS
2008
IEEE
15 years 7 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
ICMI
2007
Springer
15 years 7 months ago
2007
Springer
This paper reports on automatic prediction of dialog acts and address types in three-party conversations. Dialogue acts and address types are predicted simultaneously on our frame...
112
Voted
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...