首页> 外文OA文献 >Mechanized semantics and verified compilation for a dataflow synchronous language with reset

【2h】

Mechanized semantics and verified compilation for a dataflow synchronous language with reset

机译：RESET的DataFlow同步语言的机械化语义和验证编译

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Timothy Bourke; Lélio Brun; Marc Pouzet;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization [J] . Avraham Shinnar, J{e}r{^o}me Sim{e}on, Martin Hirzel LIPIcs : Leibniz International Proceedings in Informatics . 2015,第1期

机译：规则语言的模式演算：表现力，编译和机械化
2. A fixpoint semantics for "memory cells" in synchronous dataflows [J] . Catalin Dima Annals. Computer Science Series . 2008,第1期

机译：同步数据流中“内存单元”的定点语义
3. Formal verification of timed synchronous dataflow graphs using Lustre [J] . Bennour Imed Eddine The journal of logical and algebraic methods in programming . 2021,第Juna期

机译：使用光泽的定时同步数据流图的正式验证
4. Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? [C] . Davide Ancona, Andrea Corradi, Giovanni Lagorio, International Conference on Formal Verification of Object-Oriented Software . 2011

机译：将面向对象的语言的摘要汇集到COInuctive CLP（x）中：可以键入推理符合验证？
5. Dataflow Synthesis and Verification for Parallel Object-Oriented Programming Languages. [D] . Wu, Shuang. 2011

机译：并行面向对象编程语言的数据流综合和验证。
6. The Effects of Bilingual Language Proficiency on Recall Accuracy and Semantic Clustering in Free Recall Output: Evidence for Shared Semantic Associations Across Languages [O] . Wendy S. Francis, Randolph S. Taylor, Marisela Gutiérrez, -1

机译：双语能力对自由召回输出中的召回准确性和语义聚类的影响：跨语言共享语义关联的证据
7. Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction [O] . Feautrier Paul, Gamatié Abdoulaye, Gonnord Laure 2013

机译：用组合数值布尔抽象增强同步数据流程序的编译
8. MLP: String-Functional Semantics and Boyer-Moore Mechanization for the Formal Verification of Synchronous Circuits [R] . Bronstein, A. 1989

机译：mLp：用于同步电路形式验证的字符串功能语义和Boyer-moore机械化

Mechanized semantics and verified compilation for a dataflow synchronous language with reset

著录项

引文网络

相似文献

相关主题

期刊订阅