6054 search results - page 299 / 1211 » Implementation of Andorra-based Languages |
169
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
205
Voted
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
192
click to vote
ISMIS
1993
Springer
15 years 10 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
213
click to vote
MCMASTER
1993
15 years 10 months ago
1993
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
156
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...