|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
MetaPRL - A modular logical environmentстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 18 июля 2013 г.
- Авторы: Hickey J., Nogin A., Constable R., Aydemir B., Barzilay E., Bryukhov Ye, Eaton R., Granicz A., Kopylov A., Kreitz C., Krupski V., Lorigo L., Schmitt S., Witty C., Xin Yu
- Сборник: Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
- Серия: Lecture Notes in Computer Science
- Том: 2758
- Год издания: 2003
- Место издания: Springer
- Первая страница: 287
- Последняя страница: 303
- Аннотация: The Meta-PRL system combines the properties of an interactive LCF-style tactic-based proof assistant, a logical framework, a logical programming environment, and a formal methods programming toolkit. This paper provides an overview of the system focusing on the features that did not exist in the previous generations of PRL systems.
- Добавил в систему: Крупский Владимир Николаевич