首页> 外文OA文献 >Formal Contracts for Runtime Verification Support in the Ada Programming Language

【2h】

Formal Contracts for Runtime Verification Support in the Ada Programming Language

机译：Ada编程语言中的运行时验证支持正式合同

代理获取

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

页面导航

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

摘要

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

机译：在第28届GI / ITG国际计算机系统体系结构会议（ARCS 2015）上发表了海报。 2015年3月24日至26日。葡萄牙波尔图。

著录项

作者
Matos Pedro André; Pereira David; Pinho Luis Miguel; Sousa Pinto Jorge;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. JCML: A specification language for the runtime verification of Java Card programs [J] . Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Science of Computer Programming . 2012,第4期

机译：JCML：一种用于Java Card程序的运行时验证的规范语言
2. PROGRAMMING MODELS AT EXASCALE: ADAPTIVE RUNTIME SYSTEMS, INCOMPLETE SIMPLE LANGUAGES, AND INTEROPERABILITY [J] . Laxmikant Kale International Journal of High Performance Computing Applications . 2009,第4期

机译：大规模编程模型：自适应运行时系统，不完善的简单语言和互操作性
3. Formal verification of a programming logic for a distributed programming language [J] . Cui Zhang, Ronald A. Olsson, Karl N. Levitt Theoretical computer science . 1999,第1a2期

机译：对分布式编程语言的编程逻辑的形式验证
4. Towards a Runtime Verification Framework for the Ada Programming Language [C] . Andre de Matos Pedro, David Pereira, Luis Miguel Pinho, Ada-Europe international conference on reliable software technologies . 2014

机译：面向Ada编程语言的运行时验证框架
5. Profiling the Performance of Programming Language Runtimes and Towards Building a New Python Runtime [D] . Chiu, Adrian. 2021

机译：分析编程语言运行时的性能以及建立新的Python运行时
6. Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments [O] . Lei Hang, Do-Hyeun Kim 2020

机译：基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
7. Towards a runtime verification framework for the Ada Programming Language [O] . Pedro André Matos, Pereira David, Pinho Luís Miguel, 2014

机译：建立Ada编程语言的运行时验证框架

Formal Contracts for Runtime Verification Support in the Ada Programming Language

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅