Pub Date : 1900-01-01DOI: 10.1007/3-540-56733-X_155
B. Krieg-Brückner, Einar W. Karlsen, Junbo Liu, O. Traynor
{"title":"Uniform Transformational Development","authors":"B. Krieg-Brückner, Einar W. Karlsen, Junbo Liu, O. Traynor","doi":"10.1007/3-540-56733-X_155","DOIUrl":"https://doi.org/10.1007/3-540-56733-X_155","url":null,"abstract":"","PeriodicalId":337197,"journal":{"name":"PROSPECTRA Book","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129715687","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-56733-X_152
P. D. L. Cruz
{"title":"TrafoLa-S Reference Manual","authors":"P. D. L. Cruz","doi":"10.1007/3-540-56733-X_152","DOIUrl":"https://doi.org/10.1007/3-540-56733-X_152","url":null,"abstract":"","PeriodicalId":337197,"journal":{"name":"PROSPECTRA Book","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129637322","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-56733-X_151
Stefan Kahrs
{"title":"PAnndA Standard Types and Predefined Type Schemata","authors":"Stefan Kahrs","doi":"10.1007/3-540-56733-X_151","DOIUrl":"https://doi.org/10.1007/3-540-56733-X_151","url":null,"abstract":"","PeriodicalId":337197,"journal":{"name":"PROSPECTRA Book","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116993247","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-56733-X_161
Einar W. Karlsen, O. Traynor
{"title":"Program Development: Attributes for Transformation and Proof","authors":"Einar W. Karlsen, O. Traynor","doi":"10.1007/3-540-56733-X_161","DOIUrl":"https://doi.org/10.1007/3-540-56733-X_161","url":null,"abstract":"","PeriodicalId":337197,"journal":{"name":"PROSPECTRA Book","volume":"212 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117310175","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-56733-X_147
B. Krieg-Brückner
{"title":"A Language Family for Programming and Meta-Programming","authors":"B. Krieg-Brückner","doi":"10.1007/3-540-56733-X_147","DOIUrl":"https://doi.org/10.1007/3-540-56733-X_147","url":null,"abstract":"","PeriodicalId":337197,"journal":{"name":"PROSPECTRA Book","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121289926","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-56733-X_166
M. Alt, Christian Fecht, C. Ferdinand, R. Wilhelm
{"title":"Transformation Development: TrafoLa-H Subsystem","authors":"M. Alt, Christian Fecht, C. Ferdinand, R. Wilhelm","doi":"10.1007/3-540-56733-X_166","DOIUrl":"https://doi.org/10.1007/3-540-56733-X_166","url":null,"abstract":"","PeriodicalId":337197,"journal":{"name":"PROSPECTRA Book","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130907234","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}
Pub Date : 1900-01-01DOI: 10.1007/3-540-56733-X_165
Bernd Gersdorf
{"title":"Transformation Development: Translators from TrafoLa to SSL and TrafoLa-H","authors":"Bernd Gersdorf","doi":"10.1007/3-540-56733-X_165","DOIUrl":"https://doi.org/10.1007/3-540-56733-X_165","url":null,"abstract":"","PeriodicalId":337197,"journal":{"name":"PROSPECTRA Book","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121863976","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
扫码关注我们
求助内容：
应助结果提醒方式：