Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms

Beschastnikh, Ivan; Brun, Yuriy; Abrahamson, Jenny; Ernst, Michael D.

dc.contributor.author	Beschastnikh, Ivan
dc.contributor.author	Brun, Yuriy
dc.contributor.author	Abrahamson, Jenny
dc.contributor.author	Ernst, Michael D.
dc.date.accessioned	2022-03-16T10:46:36Z
dc.date.available	2022-03-16T10:46:36Z
dc.date.issued	2015
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9122
dc.description	408-428 p. ; 2.019 ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Interfaces de programmation d'applications	en_US
dc.subject	API	en_US
dc.subject	API Java (logiciels)	en_US
dc.subject	Algorithmes d’inférence	en_US
dc.subject	InvariMint	en_US
dc.subject	Algorithme kTails	en_US
dc.title	Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms	en_US
dc.type	Article	en_US