581 search results - page 8 / 117 » Translating dependency into parametricity |
ACL
2011
13 years 1 months ago
2011
EMNLP
2011
12 years 9 months ago
2011
INFORMATICALT
2006
13 years 9 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...
HASKELL
2006
ACM
14 years 3 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...
RTSS
2005
IEEE
14 years 3 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...