EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 22 / No 2 (1988) RAIRO-Theor. Inf. Appl., 22 2 (1988) 173-226 References
Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 22, Number 2, 1988
Page(s) 173 - 226
DOI https://doi.org/10.1051/ita/1988220201731
Published online 01 February 2017
  1. 1. M. A. ARBIB et E. G. MANES, Arrows, Structures, and Functors - The Categorical Imperative, Academic Press Inc, 1975. [MR: 364383] [Zbl: 0374.18001] [Google Scholar]
  2. 2. R. S. BIRD, The Promotion and Accumulation Strategies in Transformational Programming, A.C.M.-T.O.P.L.A.S., vol. 6, n° 4, octobre 1984, p. 487-504. [Zbl: 0542.68006] [Google Scholar]
  3. 3. B. COURCELLE et F. LAVANDIER, Définitions récursives par cas, R.A.I.R.O. Informatique théorique, vol. 18, n° 2, 1983, p. 91-129. [EuDML: 92206] [MR: 761512] [Zbl: 0562.68004] [Google Scholar]
  4. 4. J. DARLINGTON, Program Transformations, Functional Programming and its applications, Henderson and Turner, Cambridge University Press, 1982. [Google Scholar]
  5. 5. J.-L. DURIEUX, Interprétation du langage PLASMA, Actes 10e École de Printemps, « Compilation et Interprétation », LITP 83.17, Paris, mars 1982. [Google Scholar]
  6. 6. P. EMANUELSON et A. HARALDSSON, On Compiling Embedded Languages in LISP, Conf. Record LISP-Conference 1980, p. 208-215. [Google Scholar]
  7. 7. P. EMANUELSON, Systematic Specification and Compilation of Patterns, Tech Rep. Software System Research Center, Linköping University, 1982. [Zbl: 0502.68001] [Google Scholar]
  8. 8. D. EPPSTEIN, A Heuristic Approach to Program Inversion, Actes I.J.C.A.I. 1985, p. 219-221. [Google Scholar]
  9. 9. J. FOISSEAU, R. JACQUART, M. LEMAÎTRE, M. LEMOINE et G. ZANON, Le système SPRAC : expression et gestion de spécifications, d'algorithmes et de représentations, TSI, vol 4, n° 2, p. 237-254. [Google Scholar]
  10. 10. J. HEERING, Partial Evaluation and Ω-Completeness of Algebraic Specifications, Esprit Project GIPE, Deliverable 5, D5.A1, novembre 1985. [MR: 784427] [Google Scholar]
  11. 11. R. E. KORF, Inversion of Applicative Programs, Actes I.J.C.A.I. 1981, Vancouver, p. 1007-1009. [Google Scholar]
  12. 12. A. PETTOROSSI, Transformation Strategies for Deriving On Line Programs, Actes CAAP86, Nice, mars 1986, Springer-LNCS, n° 214, p. 127-141. [MR: 848790] [Zbl: 0589.68010] [Google Scholar]
  13. 13. E. SAINT-JAMES, Fonctionnalité et filtrage : nouveaux algorithmes en logique combinatoire typée, Thèse 3e Cycle, LITP 84.39, Paris, juin 1982. [Google Scholar]
  14. 14. J. E. STOY, Mathematical Aspects of Functional Programming , dans « Functional Programming and its Applications », p. 217-252, Darlington, Henderson and Turner editors, Cambridge University Press, 1982. [Google Scholar]
  15. 15. D. TURNER, Recursion Equations as a Programming Language, dans « Functional Programming and its Applications », p. 1-28, Darlington, Henderson et Turner ed., Cambridge University Press, 1982. [Google Scholar]
  16. 16. M. WAND, Continuation Based Program Transformation Strategies, J.A.C.M., vol. 27, n° 1, 1980p. 164-180. [MR: 554288] [Zbl: 0429.68028] [Google Scholar]
  17. 17. D. S. WILE, Program Developments : Formal Explanations of Implementations, C.A.C.M., vol. 26, n° 11, 1983, p. 902-911. [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.