10871 search results - page 390 / 2175 » A stable programming language |
160
click to vote
JSYML
2008
15 years 6 months ago
2008
0-stable 0-categorical linked quaternionic mappings are studied and are shown to correspond (in some sense) to special groups which are 0stable, 0-categorical, satisfy AP(3) and ha...
149
click to vote
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...
143
click to vote
FPCA
1991
15 years 10 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
203
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
161
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Program maintenance usually decreases the programs availability. This is not acceptable for highly available applications. Thus, such applications have to be changed at r...