2608 search results - page 240 / 522 » Subjects, Models, Languages, Transformations |
188
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Generative models such as statistical language modeling have been widely studied in the task of expert search to model the relationship between experts and their expertise indicat...
171
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
158
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
178
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
154
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...