Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Schiebelbein, Edgard"'
Autor:
Schiebelbein, Edgard, Hatia, Saalik, Bieniusa, Annette, Petri, Gustavo, Ferreira, Carla, Shapiro, Marc
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system that calls into a simple store API, and instantiate in two semantic m
Externí odkaz:
http://arxiv.org/abs/2403.11716
