Sciweavers

43 search results - page 2 / 9
» ac 2000
Sort
View
AC
2000
Springer
13 years 8 months ago
Normalization and Partial Evaluation
Peter Dybjer, Andrzej Filinski
AC
2000
Springer
13 years 4 months ago
Machine translation
Sergei Nirenburg, Yorick Wilks
AC
2000
Springer
13 years 7 months ago
Monads and Effects
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
Nick Benton, John Hughes, Eugenio Moggi
AC
2000
Springer
13 years 4 months ago
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey
Abstract. In the late 80's Blum, Luby, Rubinfeld, Kannan et al. pioneered the theory of self
Marcos A. Kiwi, Frédéric Magniez, Mi...
IFM
2000
Springer
13 years 7 months ago
A Process Compensation Language
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
Michael J. Butler, Carla Ferreira