A General Method for Defining Objects by Recursion over Syntax

Thompson, Simon (2017) A General Method for Defining Objects by Recursion over Syntax. Journal of Universal Computer Science, 23 (1). pp. 89-111. ISSN 0948-695X. E-ISSN 0948-6968. (Full text available)

PDF - Publisher pdf
Download (248kB) Preview
[img]
Preview
Official URL
http://www.jucs.org/jucs_23_1/a_general_method_for

Abstract

In this paper we look back to work done in the late 1980s, and that looked at links between grammars, data types and recursion principles, and illustrating it with examples that include enumerations of types and developing a structure editor. The work is introduced by a historical foreword, and closes with an afterword that discusses some of the subsequent developments of these ideas.

Item Type: Article
Uncontrolled keywords: grammar, data type, recursion, generic programming, structure editor
Subjects: Q Science > QA Mathematics (inc Computing science)
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Simon Thompson
Date Deposited: 10 Mar 2017 21:03 UTC
Last Modified: 13 Mar 2017 10:21 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/60845 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year