Vi studerar ett nytt förhållningssätt till typstatsorienterad programmering baserad på den kemiska metaforen: tillstånd och operationer på objekt är molekyler av meddelanden och tillståndsomvandlingar är kemiska reaktioner. Detta tillvägagångssätt gör det möjligt för oss att undersöka typtillstånd i en inneboende samtidig inställning, där objekt kan nås och modifieras samtidigt av flera processer, varje potentiellt förändra endast en del av deras tillstånd. Vi introducerar en enkel beteendemässig teori att uttrycka på ett enhetligt sätt både privata och offentliga gränssnitt av objekt, att beskriva och genomdriva strukturerade objekt protokoll som består av möjligheter, förbud och skyldigheter, och att kontrollera objektdelning.
Även relevant är den senaste tidens arbete av Crafa och Padovani REF som tillämpar den kemiska metoden för samtidig typstatsorienterad programmering, vilket gör att objekt kan nås och ändras samtidigt av flera processer, var och en potentiellt bara en del av deras tillstånd.
The chemical approach to typestate-oriented programming
{'venue': 'OOPSLA 2015', 'journal': None, 'mag_field_of_study': ['Computer Science']}