Ein monadenbasierter Programmlogikbaukasten für generische und heterogene Seiteneffekte (PLB).

用于通用和异构副作用 (PLB) 的基于 monad 的程序逻辑构建套件。

基本信息

项目摘要

Die steigenden Anforderungen an die Sicherheit von Software bringen einen erhöhten Bedarf nach formaler Verifikation mit sich. Die dazu benötigten Programmlogiken sollten flexibel, handhabbar und modular sein, um sie einfach erweitern oder auf neue, insbesondere domänenspezifische Programmiersprachen anpassen zu können. Dies wird erschwert durch die vielfältige Art von benötigten Seiteneffekten, wie etwa Zustandsabhängigkeit, Ausnahmen, Ein-/Ausgabe oder Nebenläufigkeit. Ziel von PLB ist die Entwicklung eines Baukastens für Semantik, Metatheorie und Programmlogikentwurf, der die strukturierte Kombination solcher Effekte und der sie modellierenden Logiken unterstützt. Das etablierte Mittel zur einheitlichen Repräsentation und Verkapselung von Seiteneffekten in der modernen Programmiersprachensemantik sind Monaden; Monaden erlauben ferner bereits eine kompositionale Spezifikation von Seiteneffekten, in der verschiedene Effekttypen nach einem Baukastenprinzip kombiniert werden können. In PLB wird dieses Baukastenprinzip auf ein System von generischen Programmlogiken ausgedehnt, so dass jedem kombinierten Effekt eine kombinierte Programmlogik zur Seite gestellt wird, die natürliche und effektive Ausdrucksmittel zur Verifikation entsprechender seiteneffektbehafteter Programme bietet. Der Baukasten wird in einer Fallstudie evaluiert, in der eine Sprache zur Gebäudesteuerung modelliert wird.
Die steigenden Anforderungen and Die Sicherheit von Software bringen einen erhöhten Bedarf每个表单验证程序。Die dazu benötigten programlogiken熔融柔韧性,手拉手和模块化组件,可在不同的设备上使用,可在不同的设备上使用domänenspezifische Programmiersprachen anpassen zu können。Dies wid erschwert durch die vielfältige Art von benötigten Seiteneffekten, wietwa Zustandsabhängigkeit, Ausnahmen, Ein-/Ausgabe oder Nebenläufigkeit。引用本文:王晓东,王晓东,王晓东,王晓东,王晓东,王晓东,王晓东,王晓东,王晓东,等。在现代程序设计与集成方面的研究进展Repräsentation与研究进展;在der verschiedene Effekttypen nach einem Baukastenprinzip kombiniert werden können中,Monaden erlauben ferner bereits eine kompositionale spezifiation von seiteneffekttypen。在PLB软件设计中,Baukastenprinzip auf In System von generischen programlogiken ausgedeent,因此,pass jedem kombinierten effekter effektbeter,所以,kombinierte programlogik zur Seite gestellt wind, die natrich and effective Ausdrucksmittel zur验证entsprechender seeffektbeter program biet。Der Baukasten wind in iner faller study evaluation, in Der eine sprachhe zur Gebäudesteuerung modelliert wind。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Christoph Lüth其他文献

Professor Dr. Christoph Lüth的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Christoph Lüth', 18)}}的其他基金

Abstraktion und Wiederverwendung von formalen Programmentwicklungen
正式程序开发的抽象和重用
  • 批准号:
    5253630
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了