27119 search results - page 196 / 5424 » Languages |
104
Voted
EACL
2009
ACL Anthology
16 years 4 months ago
2009
ACL Anthology
216
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
115
Voted
C5
2008
IEEE
15 years 10 months ago
2008
IEEE
The Language Grid is an infrastructure for enabling users to share language resources developed by language specialists and end-user communities. The users employ the resources to...
146
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
121
Voted
SAINT
2006
IEEE
15 years 9 months ago
2006
IEEE
To increase the accessibility and usability of online language services, this paper proposes the language grid to create composite language services for various communities. The l...