JP2016511484A5 - - Google Patents

Download PDF

Info

Publication number
JP2016511484A5
JP2016511484A5 JP2016501182A JP2016501182A JP2016511484A5 JP 2016511484 A5 JP2016511484 A5 JP 2016511484A5 JP 2016501182 A JP2016501182 A JP 2016501182A JP 2016501182 A JP2016501182 A JP 2016501182A JP 2016511484 A5 JP2016511484 A5 JP 2016511484A5
Authority
JP
Japan
Prior art keywords
contract
component
components
predicate
runtime
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2016501182A
Other languages
English (en)
Japanese (ja)
Other versions
JP2016511484A (ja
JP6401235B2 (ja
Filing date
Publication date
Priority claimed from US13/829,561 external-priority patent/US9286039B2/en
Application filed filed Critical
Publication of JP2016511484A publication Critical patent/JP2016511484A/ja
Publication of JP2016511484A5 publication Critical patent/JP2016511484A5/ja
Application granted granted Critical
Publication of JP6401235B2 publication Critical patent/JP6401235B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

JP2016501182A 2013-03-14 2014-03-11 コントラクトのためのオペレーティングシステムサポート Active JP6401235B2 (ja)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/829,561 US9286039B2 (en) 2013-03-14 2013-03-14 Operating system support for contracts
US13/829,561 2013-03-14
PCT/US2014/023258 WO2014159373A2 (en) 2013-03-14 2014-03-11 Operating system support for contracts

Publications (3)

Publication Number Publication Date
JP2016511484A JP2016511484A (ja) 2016-04-14
JP2016511484A5 true JP2016511484A5 (enExample) 2017-03-09
JP6401235B2 JP6401235B2 (ja) 2018-10-10

Family

ID=50884465

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2016501182A Active JP6401235B2 (ja) 2013-03-14 2014-03-11 コントラクトのためのオペレーティングシステムサポート

Country Status (6)

Country Link
US (1) US9286039B2 (enExample)
EP (1) EP2972828B1 (enExample)
JP (1) JP6401235B2 (enExample)
KR (1) KR102118236B1 (enExample)
CN (1) CN105164642B (enExample)
WO (1) WO2014159373A2 (enExample)

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9841955B2 (en) * 2016-01-26 2017-12-12 Enterpriseweb Llc Unified operating system for distributed computing
JP2021501949A (ja) * 2017-11-03 2021-01-21 コーヒレント・ロジックス・インコーポレーテッド マルチ・プロセッサ・システム用プログラミングの流れ
CN107908405A (zh) * 2017-11-17 2018-04-13 苏州蜗牛数字科技股份有限公司 代码静态审核装置及方法
CN110287089B (zh) * 2019-05-07 2023-02-17 华东师范大学 一种基于中间格式及smt技术的微内核ipc验证方法
CN111770206B (zh) * 2020-08-31 2020-12-29 支付宝(杭州)信息技术有限公司 一种部署智能合约的方法、区块链节点和存储介质
CN111768187A (zh) * 2020-08-31 2020-10-13 支付宝(杭州)信息技术有限公司 一种部署智能合约的方法、区块链节点和存储介质
US12340196B2 (en) 2021-05-04 2025-06-24 Enterpriseweb Llc Systems and methods for declarative design and execution of intent-based services
US12111957B2 (en) 2021-06-08 2024-10-08 Microsoft Technology Licensing, Llc Software provenance validation
KR102695546B1 (ko) * 2021-12-21 2024-08-13 단국대학교 산학협력단 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6601192B1 (en) 1999-08-31 2003-07-29 Accenture Llp Assertion component in environment services patterns
US20030023959A1 (en) * 2001-02-07 2003-01-30 Park Joseph C.H. General and efficient method for transforming predicated execution to static speculation
US7143373B2 (en) 2004-10-14 2006-11-28 Synopsys, Inc. Method and apparatus for evaluating and debugging assertions
JP2006139413A (ja) * 2004-11-10 2006-06-01 Hitachi Ltd プログラム、プログラムコードの合理化方法、プログラムコードの生成方法、プログラムコード、及び情報処理装置
US7987456B2 (en) * 2006-01-24 2011-07-26 Microsoft Corporation Qualitatively annotated code
US7934207B2 (en) 2006-12-19 2011-04-26 Microsoft Corporation Data schemata in programming language contracts
US8250524B2 (en) * 2007-12-21 2012-08-21 Microsoft Corporation Contract programming for code error reduction
US8782607B2 (en) * 2009-02-20 2014-07-15 Microsoft Corporation Contract failure behavior with escalation policy
US8930913B2 (en) * 2010-09-28 2015-01-06 Microsoft Corporation Intermediate representation construction for static analysis

Similar Documents

Publication Publication Date Title
JP2016511484A5 (enExample)
Ma et al. Grt: Program-analysis-guided random testing (t)
US8806464B2 (en) Process flow optimized directed graph traversal
JP2017516210A5 (enExample)
JP2016528650A5 (enExample)
Dangl et al. CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic: (Competition Contribution)
JP2017527013A5 (enExample)
RU2017110787A (ru) Автоматизированная проверка системы программного обеспечения
JP2016509308A5 (enExample)
US20150143179A1 (en) System and Method for Progressive Fault Injection Testing
WO2015195676A3 (en) Computer-implemented tools and methods for extracting information about the structure of a large computer software system, exploring its structure, discovering problems in its design, and enabling refactoring
RU2015142983A (ru) Принудительное создание события элемента управления
KR102118236B1 (ko) 컨트랙트에 대한 운영 체제 지원 기법
EP3093768A3 (en) Debugging systems
JP2017045446A (ja) ソフトウェアプログラムを修復する方法、記憶媒体及びシステム
ATE477539T1 (de) Verfahren, system und computerprogramm zum prüfen von softwareanwendungen auf der basis mehrerer datenquellen
RU2018142897A (ru) Оптимизатор запроса для использования cpu и рефакторинга кода
WO2015130675A3 (en) Apparatus and method for testing computer program implementation against a design model
US10318395B2 (en) Checking a computer processor design for soft error handling
EP2975527A3 (en) A method for tracing computer software
JP2014523569A5 (enExample)
Arlt et al. Joogie: Infeasible code detection for java
JP2016531335A5 (enExample)
JP2017507411A5 (enExample)
Xu et al. Concolic execution on small-size binaries: Challenges and empirical study