581 search results - page 8 / 117 » Translating dependency into parametricity |
ACL
2011
14 years 3 months ago
2011
EMNLP
2011
13 years 11 months ago
2011
INFORMATICALT
2006
14 years 11 months ago
2006
Abstract. Localization is a complex process based on translation and adaptation of software features. Usually localization progress is identified with the number of translated reso...
89
Voted
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
101
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...