27119 search results - page 196 / 5424 » Languages |
240
click to vote
POPL
2007
ACM
16 years 5 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 ...
142
Voted
C5
2008
IEEE
16 years 1 days 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...
170
click to vote
OOPSLA
2007
Springer
15 years 11 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...
151
click to vote
SAINT
2006
IEEE
15 years 11 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...