11022 search results - page 173 / 2205 » Programming Systems for Autonomy |
141
click to vote
TACS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
131
click to vote
PEPM
1991
ACM
15 years 8 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
135
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
115
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
115
Voted
CC
2003
Springer
15 years 10 months ago
2003
Springer