Automatical synthesis of programs with recursions
Author:
Beltiukov Anatolij P.
Publisher
Springer-Verlag
Reference31 articles.
1. Arhangelsky D.A., Taitslin M.A.: A logic for data description. Lecture Notes in Computer Science, 363, (1989), 2–11.
2. Archangelsky D.A., Taitslin M.A.: A modal linear logic. Lect. Notes in Comp. Sci., (1992).
3. Constable R.L.: Constructive mathematics and automatic program writers. Information Processing 71, North Holland, (1972), 1, 229–233.
4. Constable R.L.: Constructive mathematics as a programming logic I: some principles of theory. International Foundations of Computation Theory Conference, Lecture notes in Computer Science, bf 158, (1983), 64–77.
5. Constable R.L.: Programs and types. IEEE Symp. Found. Computer science, (1980), 112–128.