NDLI: The spineless tagless G-machine, naturally

Content Provider	ACM Digital Library
Author	Mountjoy, Jon
Abstract	The application of natural semantic specifications of lazy evaluation to areas such as usage analysis, formal profiling and abstract machine construction has shown it to be a useful formalism. This paper introduces several variants and extensions of this specification.The first variant is derived from observations of the Spineless Tagless G-machine (STG), used in the Glasgow Haskell compiler. We present a modified natural semantic specification which can be formally manipulated to derive an STG-like machine.The second variant is the development of a natural semantic specification which allows functions to be applied to more than one argument at once. The STG and TIM abstract machines both allow this kind of behaviour, and we illustrate a use of this semantics by again modifying this semantics following observations of the STG machine. The resulting semantics can be used to formally derive the STG machine. This effectively proves the STG machine correct with respect to Launchbury's semantics.En route, we also show that update markers in the STG machine are necessary for termination, and show how well-known abstract machine instructions, such as the squeeze operation, appear quite naturally as optimisations of the derived abstract machine.
Starting Page	163
Ending Page	173
Page Count	11
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/291251.289439
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	34
Issue Number	1
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

The spineless tagless G-machine, naturally

The spineless tagless g-machine, naturally (1998).

The Spineless Tagless G-Machine - NOT! (1993)

The non-stop spineless tagless g-machine (1996).

The spineless tagless G-machine

The internal machine

The Non-stop Spineless Tagless G-machine Draft

A COBOL Machine

GLOSS:A high level machine

The spineless tagless G-machine, naturally

Similar Documents

The spineless tagless G-machine, naturally

The spineless tagless g-machine, naturally (1998).

The Spineless Tagless G-Machine - NOT! (1993)

The non-stop spineless tagless g-machine (1996).

The spineless tagless G-machine

The internal machine

The Non-stop Spineless Tagless G-machine Draft

A COBOL Machine

GLOSS:A high level machine

The spineless tagless G-machine, naturally