基于属性的测试 OCaml 5 运行时系统 [pdf]
Property-Based Testing of OCaml 5's Runtime System [pdf]

原始链接: https://janmidtgaard.dk/papers/Midtgaard%3AOLIVIERFEST25.pdf

这个文件似乎是PDF文档的内部结构,特别是交叉引用表(xref)和其他元数据。它是PDF的复杂、低级表示,详细说明了文件中各种对象的位置偏移量。 本质上,这不是可读的文档*内容*摘要,而是一个文档组件所在位置的列表。数据包括大量的对象编号和字节偏移量,指示构成完整PDF的文本、图像、字体和其他元素的排列方式。 如果没有进一步处理或PDF阅读器,无法确定文档的实际内容——它*关于*什么。提供的数据纯粹是结构性和技术性的。

黑客新闻 新的 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 OCaml 5 运行时系统的基于属性的测试 [pdf] (janmidtgaard.dk) 43 分,by todsacerdoti 1 天前 | 隐藏 | 过去 | 收藏 | 1 条评论 sadiq 1 天前 [–] 值得看看 Jan 在 https://github.com/ocaml-multicore/multicoretests/ 页面底部的成就展示。他的工作发现了很多多核运行时中非常棘手的错误,但令人惊艳的是,报告通常附带一个最小的重现步骤。这使得找出原因变得容易得多。 Jan,干得漂亮。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
相关文章

原文
%PDF-1.5 % 889 0 obj > endobj xref 889 128 0000000015 00000 n 0000002963 00000 n 0000003168 00000 n 0000003220 00000 n 0000003832 00000 n 0000004482 00000 n 0000004775 00000 n 0000004857 00000 n 0000004965 00000 n 0000010633 00000 n 0000010806 00000 n 0000010996 00000 n 0000011158 00000 n 0000011346 00000 n 0000011536 00000 n 0000011740 00000 n 0000011900 00000 n 0000012106 00000 n 0000012287 00000 n 0000012462 00000 n 0000012634 00000 n 0000012817 00000 n 0000012990 00000 n 0000013191 00000 n 0000013369 00000 n 0000013542 00000 n 0000013717 00000 n 0000013899 00000 n 0000014084 00000 n 0000014258 00000 n 0000014428 00000 n 0000014605 00000 n 0000014788 00000 n 0000014961 00000 n 0000015133 00000 n 0000015304 00000 n 0000015482 00000 n 0000015651 00000 n 0000015895 00000 n 0000016545 00000 n 0000016574 00000 n 0000016650 00000 n 0000017434 00000 n 0000017487 00000 n 0000017714 00000 n 0000018631 00000 n 0000018656 00000 n 0000018756 00000 n 0000019518 00000 n 0000019880 00000 n 0000020147 00000 n 0000020283 00000 n 0000021214 00000 n 0000021491 00000 n 0000054740 00000 n 0000056703 00000 n 0000066275 00000 n 0000066462 00000 n 0000066742 00000 n 0000066861 00000 n 0000067811 00000 n 0000067872 00000 n 0000141728 00000 n 0000141751 00000 n 0000141774 00000 n 0000141830 00000 n 0000142019 00000 n 0000142207 00000 n 0000142397 00000 n 0000142559 00000 n 0000142748 00000 n 0000142935 00000 n 0000143122 00000 n 0000143576 00000 n 0000143951 00000 n 0000144881 00000 n 0000145306 00000 n 0000145967 00000 n 0000146585 00000 n 0000147520 00000 n 0000148485 00000 n 0000149080 00000 n 0000149620 00000 n 0000150357 00000 n 0000150762 00000 n 0000151038 00000 n 0000152091 00000 n 0000152810 00000 n 0000153199 00000 n 0000153499 00000 n 0000154431 00000 n 0000154785 00000 n 0000155219 00000 n 0000155586 00000 n 0000156525 00000 n 0000156949 00000 n 0000157028 00000 n 0000157833 00000 n 0000157918 00000 n 0000247502 00000 n 0000350006 00000 n 0000354843 00000 n 0000418440 00000 n 0000465098 00000 n 0000484292 00000 n 0000484370 00000 n 0000484464 00000 n 0000484561 00000 n 0000484713 00000 n 0000484892 00000 n 0000485003 00000 n 0000485104 00000 n 0000485269 00000 n 0000485376 00000 n 0000485479 00000 n 0000485618 00000 n 0000485791 00000 n 0000485907 00000 n 0000486039 00000 n 0000486193 00000 n 0000486319 00000 n 0000486431 00000 n 0000486562 00000 n 0000486678 00000 n 0000486780 00000 n 0000486898 00000 n 0000487019 00000 n 0000487133 00000 n trailer ] >> startxref 0 %%EOF 890 0 obj > >> endobj 891 0 obj > endobj 892 0 obj > stream xc```e`
联系我们 contact @ memedata.com