2604 search results - page 314 / 521 » General constant expressions for system programming language... |
142
click to vote
TAPSOFT
1991
Springer
15 years 9 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
262
click to vote
NAACL
2010
15 years 4 months ago
2010
This paper proposes a general learning framework for a class of problems that require learning over latent intermediate representations. Many natural language processing (NLP) dec...
132
click to vote
SP
1999
IEEE
15 years 10 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
154
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
303
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...