5377 search results - page 27 / 1076 » Programming Languages For Interactive Computing |
110
Voted
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
ÓÖ × Ø Ê Å¹ØÓ¹ × Ñ ÑÓÖÝ Ö Ö Ý Ô × ÔÐ Ù ÓÑÔÙØ Ö Ö Ø Ø׺ Ò Ü Ø Ò Ò Û ×ØÓÖ Ø ¹ ÒÓÐÓ Ý × ÓÒ Ñ ÖÓ Ð ØÖÓÑ Ò Ð ×Ý×Ø ...
29
Voted
ICCL
1990
IEEE
15 years 7 months ago
1990
IEEE
161
Voted
POPL
1997
ACM
15 years 7 months ago
1997
ACM
The following theorem of Huet and L
153
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
117
Voted
HCI
2009
15 years 1 months ago
2009
