632 search results - page 97 / 127 » Proving Invariants of Functional Programs |
194
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
134
click to vote
AOSD
2003
ACM
15 years 5 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
100
Voted
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
76
Voted
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Inner classes in object-oriented languages play a role similar to nested function definitions in functional languages, allowing an object to export other objects with direct acces...
73
Voted
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
We consider several questions inspired by the direct-sum problem in (two-party) communication complexity. In all questions, there are k fixed Boolean functions f1, . . . , fk and ...