Vi får en ny formalism för samtidiga objektorienterade språk genom att utöka Abadi och Cardellis tvingande objektkalkyl med operatörer för samstämmighet från -kalculus och med operatörer för synkronisering baserad på mutexes. Vår syntax av termer är extremt uttrycksfull; i en exakt mening det uni es begrepp om uttryck, process, lagring, tråd, och konvergens. Vi presenterar en kemisk-stil reduktion semantik, och bevisa att det motsvarar en strukturell operationell semantik. Vi identifierar ett deterministiskt fragment som stängs under reduktion och visar att det innehåller den tvingande objektkalkylen. En samling av typsystem för objektorienterade konstruktioner står i centrum för Abadi och Cardellis arbete. Vi omarbetar ett av Abadi och Cardellis rst-order typsystem med objekttyper och undertypning i inställningen av vår kalkyl och bevisa ämnesreduktion. Eftersom vår syntax av termer inkluderar både butiker och löpande uttryck, undviker vi behovet av att separera lagra skrivande från skrivande av uttryck. Vi översätter asynkrona kommunikationskanaler och de valfria asynkrona kalkylerna till vår kalkyl för att illustrera dess uttrycksfullhet; de typer av läs- och skrivbara kanalerna är supertyper av läs- och skrivkanaler. En hel del programvara kodas i termer av samtidiga processer och objekt. Syftet med vårt arbete är att utveckla en ny formalism för att uttrycka, skriva och resonera om beräkningar baserade på samtidiga processer och objekt. 1 Nuvarande en liation: Microsoft Research. Detta är en preliminär version. Den nationella versionen finns på webbadressen: http: www.elsevier.nl locate entcs volume16.html
Objektkalkylen av Gordon och Hankin REF förlänger Abadi och Cardellis tvingande objektkalkyl med operatörer för konvergens från π-kalculus och operatörer för synkronisering baserad på mutexes.
A Concurrent Object Calculus: Reduction and Typing
{'venue': "HLCL'98 TO APPEAR", 'journal': None, 'mag_field_of_study': ['Computer Science']}