4959 search results - page 25 / 992 » Imperative Functional Programming |
ESOP
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
CIMCA
2008
IEEE
15 years 5 months ago
2008
IEEE
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
108
click to vote
WCFLP
2005
ACM
15 years 4 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
104
click to vote
PEPM
1992
ACM
15 years 2 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
SE
2008
15 years 6 days ago
2008
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...