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...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of functional programming Ročník 34
Hlavní autoři:	MATSUDA, KAZUTAKA, WANG, MENG
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 26.01.2024
Témata:	Algorithms Arithmetic coding Computation Fixing Huffman codes Logic programming Programming languages Semantics Software development
ISSN:	0956-7968, 1469-7653
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!