2604 search results - page 314 / 521 » General constant expressions for system programming language... |
121
Voted
TAPSOFT
1991
Springer
15 years 8 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 ...
238
click to vote
NAACL
2010
15 years 2 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...
116
click to vote
SP
1999
IEEE
15 years 8 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...
130
Voted
PLDI
2009
ACM
15 years 11 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 ...
275
Voted
ECOOP
2009
Springer
16 years 5 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...