5863 search results - page 509 / 1173 » Calculating Functional Programs |
197
Voted
SCAM
2003
IEEE
16 years 28 days ago
2003
IEEE
This paper shows that CPP, the preprocessor of the C language, can be seen as a programming language in which directives are statements, parametrized macros are functions, files a...
184
Voted
IFL
2001
Springer
16 years 3 days ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
172
click to vote
ICSM
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper, we describe the reengineering of a deteriorated object-oriented industrial program written in C++. The main problem of the program was misplaced code, most often fu...
231
Voted
POPL
1998
ACM
15 years 12 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
169
Voted
FPCA
1993
15 years 11 months ago
1993
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...