Matches in SemOpenAlex for { <https://semopenalex.org/work/W2959626867> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2959626867 abstract "In paper describes the new logic programming language Delta, which have a many good properties. Delta-programs is p-computable, verifiable and can translation on other languages. Also we describe the Delta-methodology for constructing p-computable programs in high-level languages such as PHP, Java, JavaScript, C++, Pascal, Delphi, Python, Solidity and other. We would like to especially note the use of the Delta methodology for creating Smart Contracts and for Internet of things. We change the concept of the formula and define D-formulas(or Delta programs) are special list-formulas. Then we define the execution of a program how is the process of checking truth D-formula on a dynamic model. Main idea our paper consider program how list-formula from another formulas on dynamic models. And we created by iterations new Delta-programs use simple base formulas for this. Also we entered a dynamic models how models where we save final values of variables when check formula on this model." @default.
- W2959626867 created "2019-07-23" @default.
- W2959626867 creator A5007096894 @default.
- W2959626867 date "2019-07-12" @default.
- W2959626867 modified "2023-09-27" @default.
- W2959626867 title "Delta - new logic programming language and Delta-methodology for p-computable programs on Turing Complete Languages." @default.
- W2959626867 cites W639292236 @default.
- W2959626867 hasPublicationYear "2019" @default.
- W2959626867 type Work @default.
- W2959626867 sameAs 2959626867 @default.
- W2959626867 citedByCount "0" @default.
- W2959626867 crossrefType "posted-content" @default.
- W2959626867 hasAuthorship W2959626867A5007096894 @default.
- W2959626867 hasConcept C199360897 @default.
- W2959626867 hasConcept C41008148 @default.
- W2959626867 hasConcept C519991488 @default.
- W2959626867 hasConcept C80444323 @default.
- W2959626867 hasConceptScore W2959626867C199360897 @default.
- W2959626867 hasConceptScore W2959626867C41008148 @default.
- W2959626867 hasConceptScore W2959626867C519991488 @default.
- W2959626867 hasConceptScore W2959626867C80444323 @default.
- W2959626867 hasLocation W29596268671 @default.
- W2959626867 hasOpenAccess W2959626867 @default.
- W2959626867 hasPrimaryLocation W29596268671 @default.
- W2959626867 hasRelatedWork W1508856083 @default.
- W2959626867 hasRelatedWork W1511377802 @default.
- W2959626867 hasRelatedWork W1520935955 @default.
- W2959626867 hasRelatedWork W1522712062 @default.
- W2959626867 hasRelatedWork W1529621920 @default.
- W2959626867 hasRelatedWork W1565196265 @default.
- W2959626867 hasRelatedWork W1594807390 @default.
- W2959626867 hasRelatedWork W1607238569 @default.
- W2959626867 hasRelatedWork W1654816815 @default.
- W2959626867 hasRelatedWork W1992917779 @default.
- W2959626867 hasRelatedWork W2050087473 @default.
- W2959626867 hasRelatedWork W2086560466 @default.
- W2959626867 hasRelatedWork W2150369236 @default.
- W2959626867 hasRelatedWork W2567256038 @default.
- W2959626867 hasRelatedWork W2953269011 @default.
- W2959626867 hasRelatedWork W2963763958 @default.
- W2959626867 hasRelatedWork W99616206 @default.
- W2959626867 hasRelatedWork W201737005 @default.
- W2959626867 hasRelatedWork W2160815532 @default.
- W2959626867 hasRelatedWork W2163695830 @default.
- W2959626867 isParatext "false" @default.
- W2959626867 isRetracted "false" @default.
- W2959626867 magId "2959626867" @default.
- W2959626867 workType "article" @default.