1702 search results - page 162 / 341 » Doomed program points |
157
Voted
CEFP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
157
Voted
DBPL
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
156
Voted
ECOOP
2007
Springer
16 years 10 days ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
157
Voted
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
135
Voted
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...