【24h】

Preface

机译:前言

获取原文
获取原文并翻译 | 示例
           

摘要

Logics for Resources, Processes, and Programs (LRPP) is an occasional series of international workshops which aims to explore the current state of logical and semantic approaches to reasoning about the programs that implement the processes that manipulate system resources in order to deliver services. LRPP is concerned with ideas that range from purely logical and semantic work that bears upon the foundations of system modelling through to implemented tools that support formal reasoning about programs and systems.
机译:资源,流程和程序逻辑(LRPP)是偶尔举行的一系列国际研讨会,旨在探讨逻辑和语义方法的当前状态,以推理实现程序的过程,这些程序实现了操纵系统资源以提供服务的过程。 LRPP关注的思想范围从建立在系统建模基础上的纯逻辑和语义工作到支持有关程序和系统的正式推理的已实现工具。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号