KR102118236B1 - 컨트랙트에 대한 운영 체제 지원 기법 - Google Patents

컨트랙트에 대한 운영 체제 지원 기법 Download PDF

Info

Publication number
KR102118236B1
KR102118236B1 KR1020157025030A KR20157025030A KR102118236B1 KR 102118236 B1 KR102118236 B1 KR 102118236B1 KR 1020157025030 A KR1020157025030 A KR 1020157025030A KR 20157025030 A KR20157025030 A KR 20157025030A KR 102118236 B1 KR102118236 B1 KR 102118236B1
Authority
KR
South Korea
Prior art keywords
contract
component
components
predicate
code
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.)
Expired - Fee Related
Application number
KR1020157025030A
Other languages
English (en)
Korean (ko)
Other versions
KR20150130298A (ko
Inventor
존 제이 더피
자레드 포터 파슨스
콜린 스테빈스 고든
알렉산더 다니엘 브롬필드
마틴 테일레퍼
데이비드 앨런 바톨로메오
마이클 바네트
Original Assignee
마이크로소프트 테크놀로지 라이센싱, 엘엘씨
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 마이크로소프트 테크놀로지 라이센싱, 엘엘씨 filed Critical 마이크로소프트 테크놀로지 라이센싱, 엘엘씨
Publication of KR20150130298A publication Critical patent/KR20150130298A/ko
Application granted granted Critical
Publication of KR102118236B1 publication Critical patent/KR102118236B1/ko
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

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
    • 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/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/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)
KR1020157025030A 2013-03-14 2014-03-11 컨트랙트에 대한 운영 체제 지원 기법 Expired - Fee Related KR102118236B1 (ko)

Applications Claiming Priority (3)

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

Publications (2)

Publication Number Publication Date
KR20150130298A KR20150130298A (ko) 2015-11-23
KR102118236B1 true KR102118236B1 (ko) 2020-06-02

Family

ID=50884465

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020157025030A Expired - Fee Related KR102118236B1 (ko) 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
WO2017132417A1 (en) * 2016-01-26 2017-08-03 Enterpriseweb Llc Unified operating system for distributed computing
US11755382B2 (en) * 2017-11-03 2023-09-12 Coherent Logix, Incorporated 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 (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2011508317A (ja) 2007-12-21 2011-03-10 マイクロソフト コーポレーション コードエラーを減らすためのコントラクトプログラミング

Family Cites Families (8)

* 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
US8930913B2 (en) * 2010-09-28 2015-01-06 Microsoft Corporation Intermediate representation construction for static analysis

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2011508317A (ja) 2007-12-21 2011-03-10 マイクロソフト コーポレーション コードエラーを減らすためのコントラクトプログラミング

Also Published As

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

Similar Documents

Publication Publication Date Title
KR102118236B1 (ko) 컨트랙트에 대한 운영 체제 지원 기법
US12093398B2 (en) Vulnerability analysis and reporting for embedded systems
US9507943B1 (en) Analysis tool for data security
US20060253739A1 (en) Method and apparatus for performing unit testing of software modules with use of directed automated random testing
Brucker et al. On the static analysis of hybrid mobile apps: A report on the state of apache cordova nation
US8510604B2 (en) Static data race detection and analysis
US20170249235A1 (en) Systems and methods for automatically parallelizing sequential code
US12111749B2 (en) Debugger script embedded in debuggable program source code
US9841960B2 (en) Dynamic provision of debuggable program code
US9075921B2 (en) Error simulation
US10599554B2 (en) Dynamic instrumentation based on detected errors
Xu et al. Concolic execution on small-size binaries: Challenges and empirical study
US8839216B2 (en) Compiler optimization based on collectivity analysis
US10185647B2 (en) Debugging remote vertex code on test machine
Wang et al. Which defect should be fixed first? Semantic prioritization of static analysis report
US9710360B2 (en) Optimizing error parsing in an integrated development environment
US11030075B2 (en) Efficient register breakpoints
Alipour et al. Bounded model checking and feature omission diversity
US8572594B2 (en) Invasion analysis to identify open types
Laaber Deliberate Microbenchmarking of Software Systems
Saïdi Logical foundation for static analysis: Application to binary static analysis for security
Metcalf et al. Detecting potential deadlocks through change impact analysis
Pasala et al. An approach based on modeling dynamic behavior of the system to assess the impact of COTS upgrades
Chakraborty Pushing the Boundaries of JavaScript Static Analysis
Arora JShrink: Debloating Modern Java Applications

Legal Events

Date Code Title Description
PA0105 International application

St.27 status event code: A-0-1-A10-A15-nap-PA0105

PG1501 Laying open of application

St.27 status event code: A-1-1-Q10-Q12-nap-PG1501

P22-X000 Classification modified

St.27 status event code: A-2-2-P10-P22-nap-X000

P22-X000 Classification modified

St.27 status event code: A-2-2-P10-P22-nap-X000

A201 Request for examination
P11-X000 Amendment of application requested

St.27 status event code: A-2-2-P10-P11-nap-X000

P13-X000 Application amended

St.27 status event code: A-2-2-P10-P13-nap-X000

PA0201 Request for examination

St.27 status event code: A-1-2-D10-D11-exm-PA0201

E701 Decision to grant or registration of patent right
PE0701 Decision of registration

St.27 status event code: A-1-2-D10-D22-exm-PE0701

GRNT Written decision to grant
PR0701 Registration of establishment

St.27 status event code: A-2-4-F10-F11-exm-PR0701

PR1002 Payment of registration fee

St.27 status event code: A-2-2-U10-U12-oth-PR1002

Fee payment year number: 1

PG1601 Publication of registration

St.27 status event code: A-4-4-Q10-Q13-nap-PG1601

PR1001 Payment of annual fee

St.27 status event code: A-4-4-U10-U11-oth-PR1001

Fee payment year number: 4

PR1001 Payment of annual fee

St.27 status event code: A-4-4-U10-U11-oth-PR1001

Fee payment year number: 5

PC1903 Unpaid annual fee

St.27 status event code: A-4-4-U10-U13-oth-PC1903

Not in force date: 20250528

Payment event data comment text: Termination Category : DEFAULT_OF_REGISTRATION_FEE

PC1903 Unpaid annual fee

St.27 status event code: N-4-6-H10-H13-oth-PC1903

Ip right cessation event data comment text: Termination Category : DEFAULT_OF_REGISTRATION_FEE

Not in force date: 20250528