Gustavo A. Ospina: Difference between revisions
Created page with "Title: Gustavo A. Ospina Main Research Question: How can a tool be designed to support the construction of logic programs, particularly using a variant of Deville's methodology? Methodology: The authors propose a tool for supporting the construction of logic programs based on a variant of Deville's methodology. This methodology consists of three steps: elaboration of a specification, construction of a logic description, and derivation of a logic procedure. The authors..." |
No edit summary |
||
| Line 3: | Line 3: | ||
Main Research Question: How can a tool be designed to support the construction of logic programs, particularly using a variant of Deville's methodology? | Main Research Question: How can a tool be designed to support the construction of logic programs, particularly using a variant of Deville's methodology? | ||
Methodology: The authors propose a tool for supporting the construction of logic programs based on a variant of Deville's methodology. This methodology consists of three steps: elaboration of a specification, construction of a logic description, and derivation of a logic procedure. The authors add a type system and the | Methodology: The authors propose a tool for supporting the construction of logic programs based on a variant of Deville's methodology. This methodology consists of three steps: elaboration of a specification, construction of a logic description, and derivation of a logic procedure. The authors add a type system and divide the second step into two parts: constructing a typed logic description and converting it into a non-typed logic description. | ||
Results: The | Results: The paper outlines the design of a tool to support the methodology. The tool is designed to help students learn logic programming and to provide another opportunity for the development of CASE tools for this paradigm. | ||
Implications: The | Implications: The tool could potentially make logic programming more accessible to novice programmers and students, and could lead to the development of more sophisticated tools for program development. It also contributes to the ongoing effort to bring software support to logic program development. | ||
Link to Article: https://arxiv.org/abs/ | Link to Article: https://arxiv.org/abs/0111041v2 | ||
Authors: | Authors: | ||
arXiv ID: | arXiv ID: 0111041v2 | ||
[[Category:Computer Science]] | [[Category:Computer Science]] | ||
[[Category:Logic]] | [[Category:Logic]] | ||
[[Category:Tool]] | |||
[[Category:Methodology]] | [[Category:Methodology]] | ||
[[Category: | [[Category:Development]] | ||
[[Category: | [[Category:Support]] | ||
Revision as of 03:33, 24 December 2023
Title: Gustavo A. Ospina
Main Research Question: How can a tool be designed to support the construction of logic programs, particularly using a variant of Deville's methodology?
Methodology: The authors propose a tool for supporting the construction of logic programs based on a variant of Deville's methodology. This methodology consists of three steps: elaboration of a specification, construction of a logic description, and derivation of a logic procedure. The authors add a type system and divide the second step into two parts: constructing a typed logic description and converting it into a non-typed logic description.
Results: The paper outlines the design of a tool to support the methodology. The tool is designed to help students learn logic programming and to provide another opportunity for the development of CASE tools for this paradigm.
Implications: The tool could potentially make logic programming more accessible to novice programmers and students, and could lead to the development of more sophisticated tools for program development. It also contributes to the ongoing effort to bring software support to logic program development.
Link to Article: https://arxiv.org/abs/0111041v2 Authors: arXiv ID: 0111041v2