扬·C·达格福德
人员信息
SPARQL查询
优化列表
2020年–今天
2023 [第11条] 扬·C·达格福德 , 赫伯特·库欣 :
Muli的应用:用约束逻辑面向对象编程解决实际问题。 声明式编程和智能系统的分析、验证和转换 2023 : 97-112 2021 [第10条] 扬·C·达格福德 , 亨德里克·温克尔曼 , 赫伯特·库欣 :
约束逻辑面向对象编程中的自由对象。 PPDP(PPDP) 2021 : 14:1-14:13 2020 【b1】 扬·C·达格福德 :
一种集成的约束逻辑和面向对象编程语言:Münster Logic-Imperative语言。 德国明斯特大学, 2020 ,第1-313页 【c9】 亨德里克·温克尔曼 , 扬·C·达格福德 , 赫伯特·库欣 :
自由数组约束逻辑面向对象编程。 WFLP公司 2020 : 129-144 [i3] 扬·C·达格福德 , 赫伯特·库欣 :
自由数组约束逻辑面向对象编程。 CoRR公司 abs/2008.13460 ( 2020 )
2010 – 2019
2019 [j1] 扬·C·达格福德 , 赫伯特·库欣 :
使用Muli进行约束逻辑面向对象编程的编译器和虚拟机。 J.计算。 语言。 53 : 63-78 ( 2019 ) 【c8】 扬·C·达格福德 , 芬兰·蒂根 :
约束逻辑面向对象编程中搜索树的结构化遍历。 宣言 2019 : 199-214 【c7】 扬·C·达格福德 , 赫伯特·库欣 :
从具有潜在无限搜索空间的封装搜索中检索单个解决方案。 囊 2019 : 1552-1561 【c6】 拉尔斯·拜尔 , 扬·C·达格福德 , 赫伯特·库欣 , 克劳斯·A·乌塞纳 :
过程自动化项目中的自动化数据流分析和验证。 SoMeT公司 2019 : 333-346 [i2] 扬·C·达格福德 , 芬兰·蒂根 :
约束逻辑面向对象编程中搜索树的结构化遍历。 CoRR公司 abs/1908.10264 ( 2019 ) 2018 【c5】 扬·C·达格福德 , 赫伯特·库欣 :
约束逻辑面向对象语言。 囊 2018 : 1185-1194 【c4】 扬·C·达格福德 :
约束逻辑面向对象编程中的引用类型逻辑变量。 WFLP公司 2018 : 131-144 [i1] 扬·C·达格福德 :
约束逻辑面向对象编程中的引用类型逻辑变量。 CoRR公司 abs/1808.08185 ( 2018 ) 2017 【c3】 扬·C·达格福德 , 赫伯特·库欣 :
约束逻辑命令式编程的操作语义。 宣言 2017 : 64-80 2016 【c2】 扬·C·达格福德 , 托比亚斯·赖希曼 , 蒂姆·马奇尔扎克 , 简·恩斯廷 :
以模型驱动的跨平台开发方法生成应用程序产品线。 HICSS公司 2016 : 5803-5812 2014 【c1】 约格·贝克尔 , 凯文·奥特巴赫 , 塞巴斯蒂安·科弗 , 扬·C·达格福德 , 比约恩·尼哈夫斯 :
老狗和新把戏-探索在劳动力老龄化背景下IT消费的好处和缺点。 MKWI公司 2014 : 1860-1872