4959 search results - page 12 / 992 » Imperative Functional Programming |
116
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
103
click to vote
CC
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
TFM
2004
Springer
15 years 3 months ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
DBPL
2007
Springer
15 years 4 months ago
2007
Springer
The widespread adoption of XML has led to programming languages that support XML as a first class construct. In this paper, we present a method for analyzing and optimizing impera...
ECOOP
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...