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

Saved in:
Bibliographic Details
Published inJournal of functional programming Vol. 34
Main Authors MATSUDA, KAZUTAKA, WANG, MENG
Format Journal Article
LanguageEnglish
Published Cambridge, UK Cambridge University Press 26.01.2024
Subjects
Algorithms
Arithmetic coding
Computation
Fixing
Huffman codes
Logic programming
Programming languages
Semantics
Software development
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first