Adding concrete syntax to a prolog-based program synthesis system (Extended abstract)

被引：0
|
作者：
Fischer, Bernd [1 ]
Visser, Eelco [2 ]
机构：
[1] RIACS, NASA Ames Research Center, Moffett Field, CA 94035, United States
[2] Institute of Information and Computing Sciences, Universiteit Utrecht, 3508 TB Utrecht, Netherlands
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004年 / 3018卷
关键词：
D O I：
10.1007/978-3-540-25938-1_5
中图分类号：
学科分类号：
摘要：
7
引用
收藏
页码：56 / 58
相关论文
共 50 条
  • [21] AUTOMATIC PROGRAM SYNTHESIS SYSTEM FOR NC MACHINE-TOOLS BASED ON PC-PROLOG
    SZUBA, T
    ANGEWANDTE INFORMATIK, 1984, (06): : 234 - 243
  • [22] How does a program run? A visual model based on Annotating Abstract Syntax Trees
    Choppella, Venkatesh
    Ahuja, Garima
    Mavalankar, Aditi
    PROCEEDINGS OF 2016 INTERNATIONAL CONFERENCE ON LEARNING AND TEACHING IN COMPUTING AND ENGINEERING (LATICE 2016), 2016, : 38 - 42
  • [23] A system of inference based on proof search: an extended abstract
    Miller, Dale
    2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
  • [24] A PROLOG BASED EXPERT SYSTEM FOR THE ALLOCATION OF QUALITY ASSURANCE PROGRAM RESOURCES
    CRAWFORD, KA
    EYADA, OK
    COMPUTERS & INDUSTRIAL ENGINEERING, 1989, 17 : 298 - 302
  • [25] Similarity-based SLD resolution and its implementation in an extended prolog system
    Loia, V
    Senatore, S
    Sessa, MI
    10TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3: MEETING THE GRAND CHALLENGE: MACHINES THAT SERVE PEOPLE, 2001, : 650 - 653
  • [26] Synthesis from knowledge-based specifications (Extended abstract)
    van der Meyden, R
    Vardi, MY
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 34 - 49
  • [27] Abstract Syntax Tree Based Source Code Antiplagiarism System for Large Projects Set
    Duracik, Michal
    Hrkut, Patrik
    Krsak, Emil
    Toth, Stefan
    IEEE ACCESS, 2020, 8 (08): : 175347 - 175359
  • [28] A KEY EXCHANGE SYSTEM BASED ON REAL QUADRATIC FIELDS - EXTENDED ABSTRACT
    BUCHMANN, JA
    WILLIAMS, HC
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 435 : 335 - 343
  • [29] Storage System Trace Characterization, Compression, and Synthesis using Machine Learning - An Extended Abstract
    Poudel, Pratik
    PROCEEDINGS OF THE 2023 ACM SIGSIM INTERNATIONAL CONFERENCE ON PRINCIPLES OF ADVANCED DISCRETE SIMULATION, ACMSIGSIM-PADS 2023, 2023, : 50 - 51
  • [30] Extended Abstract: Access Graph Based Risk Analysis for Network Information System
    Xiao, Xiaochun
    Zhang, Tiange
    Zhang, Gendu
    SECTECH: 2008 INTERNATIONAL CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, 2008, : 129 - 132
12345