325 search results - page 26 / 65 » MIX Is Not a Tree-Adjoining Language |
152
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
195
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
141
click to vote
PADL
2007
Springer
16 years 1 days ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
265
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
157
click to vote
ACL
2010
15 years 4 months ago
2010
In a previous work of ours Chinnakotla et al. (2010) we introduced a novel framework for Pseudo-Relevance Feedback (PRF) called MultiPRF. Given a query in one language called Sour...