CN105164642B - 对合同的操作系统支持 - Google Patents

对合同的操作系统支持 Download PDF

Info

Publication number
CN105164642B
CN105164642B CN201480014378.5A CN201480014378A CN105164642B CN 105164642 B CN105164642 B CN 105164642B CN 201480014378 A CN201480014378 A CN 201480014378A CN 105164642 B CN105164642 B CN 105164642B
Authority
CN
China
Prior art keywords
contract
code
component
intermediate language
scope
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.)
Active
Application number
CN201480014378.5A
Other languages
English (en)
Chinese (zh)
Other versions
CN105164642A (zh
Inventor
J·J·达菲
J·P·帕森斯
C·S·戈登
A·D·布罗姆菲尔德
M·塔耶费尔
D·A·巴尔托落梅奥
M·巴尼特
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Microsoft Technology Licensing LLC
Original Assignee
Microsoft Technology Licensing LLC
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Microsoft Technology Licensing LLC filed Critical Microsoft Technology Licensing LLC
Publication of CN105164642A publication Critical patent/CN105164642A/zh
Application granted granted Critical
Publication of CN105164642B publication Critical patent/CN105164642B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/52—Binary to binary
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G06F9/45508—Runtime interpretation or emulation, e g. emulator loops, bytecode interpretation
    • G06F9/45512—Command shells
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogram communication

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computational Linguistics (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)
CN201480014378.5A 2013-03-14 2014-03-11 对合同的操作系统支持 Active CN105164642B (zh)

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 (2)

Publication Number Publication Date
CN105164642A CN105164642A (zh) 2015-12-16
CN105164642B true CN105164642B (zh) 2019-02-19

Family

ID=50884465

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201480014378.5A Active CN105164642B (zh) 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
EP3704572A1 (en) * 2017-11-03 2020-09-09 Coherent Logix, Inc. Programming flow for multi-processor system
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 단국대학교 산학협력단 스마트 컨트랙트와 서면 계약서 간의 동등성을 증명하는 방법 및 장치

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TW200937188A (en) * 2007-12-21 2009-09-01 Microsoft Corp Contract programming for code error reduction
CN102402479A (zh) * 2010-09-28 2012-04-04 微软公司 用于静态分析的中间表示结构

Family Cites Families (7)

* 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
US8782607B2 (en) * 2009-02-20 2014-07-15 Microsoft Corporation Contract failure behavior with escalation policy

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TW200937188A (en) * 2007-12-21 2009-09-01 Microsoft Corp Contract programming for code error reduction
CN102402479A (zh) * 2010-09-28 2012-04-04 微软公司 用于静态分析的中间表示结构

Also Published As

Publication number Publication date
US20140282448A1 (en) 2014-09-18
JP6401235B2 (ja) 2018-10-10
CN105164642A (zh) 2015-12-16
WO2014159373A3 (en) 2014-11-20
WO2014159373A2 (en) 2014-10-02
JP2016511484A (ja) 2016-04-14
US9286039B2 (en) 2016-03-15
KR20150130298A (ko) 2015-11-23
KR102118236B1 (ko) 2020-06-02
EP2972828A2 (en) 2016-01-20
EP2972828B1 (en) 2019-09-04

Similar Documents

Publication Publication Date Title
CN105164642B (zh) 对合同的操作系统支持
US20230305813A1 (en) Continuous integration and development of code in a secure environment
US8893102B2 (en) Method and system for performing backward-driven path-sensitive dataflow analysis
Habchi et al. Code smells in ios apps: How do they compare to android?
US9684493B2 (en) R-language integration with a declarative machine learning language
US20140058995A1 (en) Efficient rule execution in decision services
US9384017B2 (en) System and method to provide grouping of warnings generated during static analysis
CN114676051A (zh) 基于模糊测试的程序测试方法和装置
US10599554B2 (en) Dynamic instrumentation based on detected errors
Schmieders et al. Runtime model-based privacy checks of big data cloud services
US10185647B2 (en) Debugging remote vertex code on test machine
Lawall et al. WYSIWIB: exploiting fine‐grained program structure in a scriptable API‐usage protocol‐finding process
CN103049306A (zh) 基于接口的api上的静态成员和参数化构造函数的模拟
US8954310B2 (en) Automatic designation of equivalent variable values
US11573777B2 (en) Method and apparatus for enabling autonomous acceleration of dataflow AI applications
Kühn et al. Distributed coordination runtime assertions for the peer model
Ehlers Self-adaptive performance monitoring for component-based software systems
CN115391780B (zh) 应用代码的安全加固方法、系统、设备及存储介质
Panda et al. Hierarchical regression test case selection using slicing
De Palma et al. Reachability Analysis of Function-as-a-Service Scheduling Policies
Quelquejay-Leclère Low-overhead functional property checking for smart-contract systems
Hume et al. Is superoptimization viable for VM instruction sets?
Ring et al. System of systems readiness assessment
KR20230154542A (ko) 이더리움 바이트코드에 대한 정적 데이터 흐름 분석 방법 및 장치
CN120974509A (zh) 基于静态分析的软件漏洞确定方法、装置、设备及介质

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant