{"title":"Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs","authors":"J. Engelfriet, George Leih, G. Rozenberg","doi":"10.1007/BFb0019446","DOIUrl":"https://doi.org/10.1007/BFb0019446","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123941278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Modelling Features of Object-Oriented Languages in Second Order Functional Languages with Subtypes","authors":"G. Ghelli","doi":"10.1007/BFb0019448","DOIUrl":"https://doi.org/10.1007/BFb0019448","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114376340","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Designing an Object-Oriented Programming Language with Behavioural Subtyping","authors":"P. America","doi":"10.1007/BFb0019440","DOIUrl":"https://doi.org/10.1007/BFb0019440","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114718424","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Object-Oriented Programming Versus Abstract Data Types","authors":"W. Cook","doi":"10.1007/BFb0019443","DOIUrl":"https://doi.org/10.1007/BFb0019443","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121789054","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Categorial Theory of Objects as Observed Processes","authors":"H. Ehrich, J. Goguen, A. Sernadas","doi":"10.1007/BFb0019445","DOIUrl":"https://doi.org/10.1007/BFb0019445","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114552665","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Structure and Semantics of Actor Languages","authors":"G. Agha","doi":"10.1007/BFb0019439","DOIUrl":"https://doi.org/10.1007/BFb0019439","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"271 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122173168","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!","authors":"E. Cusack, Michael Lai","doi":"10.1007/BFb0019444","DOIUrl":"https://doi.org/10.1007/BFb0019444","url":null,"abstract":"","PeriodicalId":230924,"journal":{"name":"REX Workshop","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133942879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：