|
|
|
|
Список литературы
|
|
| |
| 1. |
Friedman D. P., Byrd W. E., Kiselyov O., The Reasoned Schemer, MIT Press, 2005 |
| 2. |
Язык Mercury: https://mercurylang.org (дата обращения 09.04.2018) [Mercury Language: https://mercurylang.org (accessed 09.04.2018)] |
| 3. |
Язык Curry: http://www-ps.informatik.uni-kiel.de/currywiki (дата обращения 09.04.2018) [Curry Language: http://www-ps.informatik.uni-kiel.de/currywiki (accessed 09.04.2018)] |
| 4. |
Язык miniKanren: http://minikanren.org (дата обращения 09.04.2018) [miniKanren Language: http://minikanren.org (accessed 09.04.2018)] |
| 5. |
Hemann J., Friedman D. P., “$\mu$Kanren: A Minimal Core for Relational Programming”, Workshop on Scheme and Functional Programming, 2013 |
| 6. |
Byrd W. E., Relational Programming in miniKanren: Techniques, Applications, and Implementations, Ph.D. thesis, Indiana University, Bloomington, 2009 |
| 7. |
Pierce B., Types and Programming Languages, MIT Press, 2002  |
| 8. |
Кознов Д. В., Методология и инструментарий предметно-ориентированного моделирования, Диссертация на соискание учëной степени доктора технических наук, СПбГУ, 2016 [Koznov D. V., Methodology and tools for object-oriented modeling, PhD Thesis, SPBU, 2016 (in Russian)] |
| 9. |
Ольхович Л., Кознов Д., “Метод автоматической валидации UML-спецификаций на основе OCL”, Программирование, 29:6 (2003), 44-50  ; Ol'khovich L., Koznov D. V., “Ocl-based Automated Validation Method For Uml Specifications”, Programming and Computer Software, 29:6 (2003), 323-327  |
| 10. |
Терехов А. Н., Романовский К. Ю., Кознов Д. В., Долгов П. С., Иванов А. Н., “RTST++: методология и CASE-средство для разработки информационных систем и программного обеспечения для систем реального времени”, Программирование, 25:5 (1999)  ; Terekhov A. N., Romanovskii K. Yu., Koznov D. V., Dolgov P. S., Ivanov A. N., “RTST++: Methodology and a CASE Tool for the Development of Information Systems and Software For Real-Time Systems”, Programming and Computer Software, 25:5 (1999), 276-281 |
| 11. |
Codognet P., Diaz D., “WAMCC: Compiling Prolog to C”, 12th International Conference on Logic Programming, The MIT Press, 1995, 317-331 |
| 12. |
Henderson F., Somogyi Z., “Compiling mercury to high-level C code”, Computational Complexity, 2002, 197-212 |
| 13. |
Banbara M., Tamura N., Inoue K., “Prolog Cafe: A prolog to Java translator system”, Lecture Notes in Computer Science, 4369, 2006, 1-11 |
| 14. |
Gómez-Zamalloa M., Albert E., Puebla G., “Decompilation of Java bytecode to Prolog by partial evaluation”, Information and Software Technology, 51:10 (2009), 1409-1427 |
| 15. |
Calejo M., “InterProlog: Towards a Declarative Embedding of Logic Programming in Java”, JELIA 2004: Logics in Artificial Intelligence, 714-717 |
| 16. |
Cook J., “P#: A concurrent Prolog for the .NET framework”, Software Practice and Experience, 34:9 (2004), 815-845 |
| 17. |
Byrd W. E., Holk E., Friedman D. P., “miniKanren, Live and Untagged: Quine Generation via Relational Interpreters (Programming Pearl)”, Workshop on Scheme and Functional Programming, 2012 |
| 18. |
Kosarev D., Boulytchev D., “Typed Embedding of a Relational Language in OCaml”, ACM SIGPLAN Workshop on ML, 2016 |
| 19. |
Язык OCanren: http://github.com/dboulytchev/ocanren (дата обращения 09.04.2018) [OCanren Language: http://github.com/dboulytchev/ocanren (accessed 09.04.2018)] |
| 20. |
Alvis C. E., Willcock J. J., Byrd W. E., “$\mu$Kanren: miniKanren with Constraints”, Workshop on Scheme and Functional Programming, 2011 |
| 21. |
Byrd W. E., Ballantyne M., Rosenblatt G., Might M., “A Unified Approach to Solving Seven Programming Problems (Functional Pearl)”, Proc. ACM Program. Lang, 1:ICFP (2017), 8:1–8:26 |
| 22. |
Barendregt H., “Lambda Calculi with Types”, Handbook of Logic in Computer Science, v. II, Oxford University Press, 1993 |
