2736 search results - page 109 / 548 » Understanding programmer language |
96
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
239
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
125
click to vote
APL
1993
ACM
15 years 6 months ago
1993
ACM
This paper describes the design of a hybrid language which combines the features of an array processing language and lisp dialect in a consistent and useful manner. This language,...
110
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
109
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Transaction management is a known crosscutting concern. Previous research has been conducted to express this concern as an aspect. However, such work has used general-purpose aspe...