Sparcl: A language for partially invertible computation

Invertibility is a fundamental concept in computer science, with various manifestations in software development (serializer/deserializer, parser/printer, redo/undo, compressor/decompressor, and so on). Full invertibility necessarily requires bijectivity, but the direct approach of composing bijectiv...

Full description

Bibliographic Details

Published in:	Journal of functional programming Vol. 34
Main Authors:	MATSUDA, KAZUTAKA, WANG, MENG
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 26.01.2024
Subjects:	Algorithms Arithmetic coding Computation Fixing Huffman codes Logic programming Programming languages Semantics Software development
ISSN:	0956-7968, 1469-7653
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!