计算漏洞评估

FP.计算漏洞评估历史记录

隐藏次要编辑-显示对输出的更改

2011年3月1日上午09:33通过帕特里克·詹森-

将第10-12行更改为：

~~关于一元动力学系统的扩展期刊版本的后续工作在以下git报告中进行了开发~~
~~网址：http://zalewski~~.~~indefero.net/p/soccre公司/~~

收件人：

2010/2011：我们继续致力于[[Monadic Dynamic Systems in Haskell and C++]]的扩展期刊版本.

恢复

2010年11月4日下午07:09通过帕特里克·詹森-

将第8-10行更改为：

(~~2009年IFIP领域特定语言工作会议接受的论文~~网址：//~~网址：www~~.~~智能发电机~~.组织/~~DSLWC]]~~.)

~~继续开发扩展版本~~在以下git回购中开发

收件人：

([[会议文件->网址：//出版物.图书馆.查尔默斯/cpl/记录/索引.xsql？pubid=91900]]接受了[[IFIP 2009年特定领域语言工作会议->http://www.smart-generators.org/DSLWC网站]]. )

一元动力系统扩展期刊版本的继续工作在以下git回购中开发

恢复

2010年9月10日，晚上09:25通过帕特里克·詹森-

添加了第10-12行：

在以下git repo中开发了扩展版本的后续工作
http://zalewski.indefero.net/p/soccre/

恢复

2009年2月25日晚上10:04通过帕特里克·詹森-

将第8-9行更改为：

(~~认可的~~对于[[~~数字用户线~~2009年工作会议->http://www.smart-generators.org/DSLWC网站]]）

收件人：

(已接受纸张对于[[国际投资促进会工作会议关于领域特定语言2009 -> http://www.smart-generators.org/DSLWC网站]].)

恢复

2009年2月25日晚上10:02通过帕特里克·詹森-

添加了第8-9行：

（接受2009年[[DSL工作会议->http://www.smart-generators.org/DSLWC网站]].)

恢复

2008年12月21日下午11:39通过帕特里克·詹森-

添加了第1-15行：

!%使用概念将C++中的%泛型库居中
!%中心%来自Haskell中的高级域描述
!!%中心%A域特定库
!!%计算脆弱性评估中心%

丹尼尔·林克（Daniel Lincke）、帕特里克·詹森（Patrik Jansson）、马金·扎勒夫斯基（Marcin Zalewski）和塞扎尔·艾内斯库（Cezar Ionescu）

!!!摘要

一类密切相关的问题，即问题域，通常可以用特定领域的语言来描述，该语言由用于解决该类特定问题的算法和组合器组成。这种语言可以分为两种：它可以形成一种新的语言，也可以作为一种子语言嵌入到现有的语言中。我们以扩展通用语言的库的形式描述嵌入式DSL。波茨坦气候影响研究所（Potsdam Institute for climate Impact Research）正式描述了我们的领域是气候变化背景下的脆弱性评估。域是使用Haskell描述的，产生了一种特定于域的Haskells子语言，可以用于实现的原型制作。

在本文中，我们提出了一个通用的C++库，该库基于正式的Haskell描述，实现了一种用于漏洞评估的领域特定语言。该库仅基于并实现了几个概念，最重要的是，一元系统的概念，这是脆弱性评估正式化的关键部分。我们描述了一元系统的Haskell描述，并展示了描述到通用C++组件的映射。我们的库在很大程度上依赖于概念，这是一种支持泛型编程的C++功能：概念框架形成了我们库的领域特定类型系统，参数化的类型和函数，由我们概念框架中的概念“类型化”，代表了领域的组合子和算法。此外，我们还讨论了是什么使我们的库成为特定领域的语言，以及如何将特定领域的库方案用于其他领域（涉及语言设计、软件设计和实现技术）。

----

恢复