锌造型语言的设计。锌是G12项目开发的一种新的建模语言。它有四个重要特征。首先,锌允许使用自然的数学符号来规范模型。为此,它支持重载函数和谓词以及自动强制,并提供算术、有限域和集合约束。其次,虽然Zinc是一种相对简单和小型的语言,但它可以通过强大的语言结构(如用户定义的谓词和函数以及约束类型)轻松地扩展到不同的应用领域。第三,zinten提供了复杂的类型和实例化检查,允许早期检测模型中的错误。最后,也许锌的主要新颖之处在于它的设计支持一种建模方法,在这种方法中,相同的概念模型可以自动映射到不同的设计模型中,从而允许建模者使用不同的解决技术轻松地“即插即用”,从而选择最适合该问题的解决方案。我们详细描述了锌的各种语言特点和我们在其设计中面临的许多权衡。


zbMATH参考文献(24篇文章引用)

显示第1到第20个结果,共24个。
按年份排序(引用)
  1. 弗洛伊德,尤金·C.:迈向圣杯的进展(2018)
  2. Balduccini,Marcello;Lierer,Yuliya:Constraint answer set solver\textscezcspand why integration schemas matter(2017年)
  3. Guns,Tias;Dries,Anton;Nijssen,Siegfried;Tack,Guido;De Raedt,Luc:基于约束的采矿的声明性框架(2017)
  4. Hoffmann,Jan;Das,Ankush;Weng,Shu Chun:面向OCaml的自动资源约束分析(2017)
  5. Cire,Andre A.;Hooker,John N.;Yunes,Tallys:用元约束和变量语义类型进行建模(2016)
  6. Gassmann,Horand;Ma,Jun;Martin,Kipp:分布式优化环境中选项和结果的通信协议(2016)
  7. Bruynooghe,Maurice;Blockeel,Hendrik;Bogaerts,Bart;De Cat,Broes;De Pooter,Stef;Jansen,Joachim;Labarre,Anthony;Ramon,Jan;Denecker,Marc;Verwer,Sicco:谓词逻辑作为建模语言:用IDP3建模和解决一些机器学习和数据挖掘问题(2015)
  8. David Allouche;André,Isabelle;Barbe,Sophie;Davies,Jessica;de Givry,Simon;Katsirelos,George;O'Sullivan,Barry;Prestwich,Steve;Schiex,Thomas;Traoré,Seydou:计算蛋白质设计作为优化问题(2014)
  9. Francis,Kathryn Glenn;Stuckey,Peter J.:解释电路传播(2014)
  10. 尼古拉斯·贝尔迪切努(Nicolas Beldiceanu);卡尔森(Carlsson),马茨(Mats);弗莱纳(Flener),皮埃尔(Flener),贾斯汀(Justin):全球约束的具体化(2013年)
  11. Gualandi,Stefano;Malucelli,Federico:基于约束编程的列生成(2013)
  12. Heinz,Stefan;Schulz,Jens;Beck,J.Christopher:使用双重预分解约化重新制定累积约束(2013)
  13. Tom Schrijvers;Tack,Guido;Wuille,Pieter;Samulowitz,Horst;Stuckey,Peter J.:搜索组合(2013)
  14. Blockeel,Hendrik;Bogaerts,Bart;Bruynooghe,Maurice;De Cat,Broes;De Pooter,Stef;Denecker,Marc;Labarre,Anthony;Ramon,Jan;Verwer,Sicco:用(\mathrmFO(\cdot))建模机器学习和数据挖掘问题(2012)
  15. Aravantinos,V.;Caferra,R.;Peltier,N.:命题图式的可判定性和不可判定性结果(2011)
  16. Andreas Schutt;Feydy,Thibaut;Stuckey,Peter J.;Wallace,Mark G.:解释累积概率论(2011)
  17. Buisson,Jérémy;Dagnat,Fabien:ReCaml:执行状态作为重新配置的基石(2010)
  18. Milano,Michela;Wallace,Mark:约束编程中的集成运筹学(2010)
  19. Fages,François;Martin,Julien:用Rules2CP建模语言从规则到约束程序(2009)
  20. Gualandi,Stefano;Malucelli,Federico:基于约束编程的列生成(2009)