多范式语言progress中的完整性约束

Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254) Pub Date : 1998-09-01 DOI:10.1109/VL.1998.706145

M. Münch, Andy Schürr, A. Winter

{"title":"多范式语言progress中的完整性约束","authors":"M. Münch, Andy Schürr, A. Winter","doi":"10.1109/VL.1998.706145","DOIUrl":null,"url":null,"abstract":"PROGRES is a multi-paradigm visual programming or executable specification language, which has a well-defined static type concept. It supports programming with graph rewriting systems. An integrated type-checker is able to check the static semantics of a specification. This paper presents the integration of static integrity constraints to the language which allow to check a specification's integrity at run-time.","PeriodicalId":185794,"journal":{"name":"Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Integrity constraints in the multi-paradigm language PROGRES\",\"authors\":\"M. Münch, Andy Schürr, A. Winter\",\"doi\":\"10.1109/VL.1998.706145\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"PROGRES is a multi-paradigm visual programming or executable specification language, which has a well-defined static type concept. It supports programming with graph rewriting systems. An integrated type-checker is able to check the static semantics of a specification. This paper presents the integration of static integrity constraints to the language which allow to check a specification's integrity at run-time.\",\"PeriodicalId\":185794,\"journal\":{\"name\":\"Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)\",\"volume\":\"37 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/VL.1998.706145\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/VL.1998.706145","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 16

摘要

progress是一种多范式的可视化编程或可执行规范语言，它具有良好定义的静态类型概念。它支持用图形重写系统编程。集成的类型检查器能够检查规范的静态语义。本文提出将静态完整性约束集成到语言中，允许在运行时检查规范的完整性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Integrity constraints in the multi-paradigm language PROGRES

PROGRES is a multi-paradigm visual programming or executable specification language, which has a well-defined static type concept. It supports programming with graph rewriting systems. An integrated type-checker is able to check the static semantics of a specification. This paper presents the integration of static integrity constraints to the language which allow to check a specification's integrity at run-time.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)

自引率

0.00%

发文量