PLATO: A tool to assist programming as term rewriting and theorem proving

被引：0
|
作者：
Sampaio, AJ
Haeberer, AM
Prates, CT
Ururahy, CD
Frias, MF
Albuquerque, NC
机构：
来源：
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT | 1995年 / 915卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：797 / 798
页数：2
相关论文
共 50 条
  • [21] A Theorem Proving Approach to Programming Language Semantics
    Roy, Subhajit
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET, 2023, : 153 - 165
  • [22] Use of logical models for proving infeasibility in term rewriting
    Lucas, Salvador
    Gutierrez, Raul
    INFORMATION PROCESSING LETTERS, 2018, 136 : 90 - 95
  • [23] Revisiting Matrix Interpretations for Proving Termination of Term Rewriting
    Neurauter, Friedrich
    Middeldorp, Aart
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 251 - 266
  • [24] Certification of proving termination of term rewriting by matrix interpretations
    Koprowski, Adam
    Zantema, Hans
    SOFSEM 2008: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2008, 4910 : 328 - 339
  • [25] A new tool for proving Vizing's Theorem
    Kostochka, Alexandr
    DISCRETE MATHEMATICS, 2014, 326 : 1 - 3
  • [26] Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
    Duran, Francisco
    Lucas, Salvador
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 248 : 93 - 113
  • [27] Functional Programming and Theorem Proving for Undergraduates: A Progress Report
    Page, Rex
    Eastlund, Carl
    Felleisen, Matthias
    FDPE'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN WORKSHOP ON FUNCTIONAL AND DECLARATIVE PROGRAMMING IN EDUCATION, 2008, : 21 - 29
  • [28] Using the VIRT programming language for automatic theorem proving
    A. I. Baranovskii
    Cybernetics and Systems Analysis, 1999, 35 : 918 - 929
  • [29] Using the VIRT programming language for automatic theorem proving
    Baranovskii, AI
    CYBERNETICS AND SYSTEMS ANALYSIS, 1999, 35 (06) : 918 - 929
  • [30] Constrained Term Rewriting tooL
    Kop, Cynthia
    Nishida, Naoki
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 549 - 557
12345