Derivable Partial Locking for Algebraic Data Types

DOI10.14232/ACTACYB.22.1.2015.10zbMath1340.68016OpenAlexW2408750744MaRDI QIDQ5502470

Zoltán Kelemen, Boldizsár Németh

Publication date: 26 August 2015

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.22.1.2015.10

zbMATH Keywords

concurrencyfunctional programmingpartial lockingtype transformationalgebraic data type (ADT)representation synthesis

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Data structures (68P05)

This page was built for publication: Derivable Partial Locking for Algebraic Data Types