Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming

L. Thomas van Binsbergen

doi:10.1145/3278122.3278132

Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming

L. Thomas van Binsbergen

Department of Computer Science

Research output: Contribution to conference › Paper › peer-review

205 Downloads (Pure)

Abstract

The PLanCompS project proposes a component-based approach to programming-language development in which fundamental constructs (funcons) are reused across language definitions. Homogeneous Generative Meta-Programming (HGMP) enables writing programs that generate code as data, at run-time or compile-time, for manipulation and staged evaluation. Building on existing formalisations of HGMP, this paper introduces funcons for HGMP and demonstrates their usage in component-based semantics.

Original language	English
Pages	168-174
Number of pages	7
DOIs	https://doi.org/10.1145/3278122.3278132
Publication status	Published - 5 Nov 2018
Event	Generative Programming: Concepts & Experiences - Duration: 5 Nov 2018 → 6 Nov 2018

Conference

Conference	Generative Programming: Concepts & Experiences
Abbreviated title	GPCE 2018
Period	5/11/18 → 6/11/18

Access to Document

10.1145/3278122.3278132

Accepted ManuscriptAccepted author manuscript, 719 KB

1 Doctoral Thesis

Executable Formal Specification of Programming Languages with Reusable Components
van Binsbergen, L. T., 2019, (Unpublished) 274 p.
Research output: Thesis › Doctoral Thesis

File

Cite this

@conference{eab981b6ce14408391d305fc134bfdb8,

title = "Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming ",

abstract = "The PLanCompS project proposes a component-based approach to programming-language development in which fundamental constructs (funcons) are reused across language definitions. Homogeneous Generative Meta-Programming (HGMP) enables writing programs that generate code as data, at run-time or compile-time, for manipulation and staged evaluation. Building on existing formalisations of HGMP, this paper introduces funcons for HGMP and demonstrates their usage in component-based semantics.",

author = "\{van Binsbergen\}, \{L. Thomas\}",

year = "2018",

month = nov,

day = "5",

doi = "10.1145/3278122.3278132",

language = "English",

pages = "168--174",

note = "Generative Programming: Concepts \& Experiences, GPCE 2018 ; Conference date: 05-11-2018 Through 06-11-2018",

}

TY - CONF

T1 - Funcons for HGMP

T2 - Generative Programming: Concepts & Experiences

AU - van Binsbergen, L. Thomas

PY - 2018/11/5

Y1 - 2018/11/5

N2 - The PLanCompS project proposes a component-based approach to programming-language development in which fundamental constructs (funcons) are reused across language definitions. Homogeneous Generative Meta-Programming (HGMP) enables writing programs that generate code as data, at run-time or compile-time, for manipulation and staged evaluation. Building on existing formalisations of HGMP, this paper introduces funcons for HGMP and demonstrates their usage in component-based semantics.

AB - The PLanCompS project proposes a component-based approach to programming-language development in which fundamental constructs (funcons) are reused across language definitions. Homogeneous Generative Meta-Programming (HGMP) enables writing programs that generate code as data, at run-time or compile-time, for manipulation and staged evaluation. Building on existing formalisations of HGMP, this paper introduces funcons for HGMP and demonstrates their usage in component-based semantics.

U2 - 10.1145/3278122.3278132

DO - 10.1145/3278122.3278132

M3 - Paper

SP - 168

EP - 174

Y2 - 5 November 2018 through 6 November 2018

ER -

Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming

Abstract

Conference

Access to Document

Research output

Executable Formal Specification of Programming Languages with Reusable Components

Cite this