Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024136341> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2024136341 abstract "The functional programs are the recursive functions. Therefore, the paper primarily discuss all the forms having the recursive function. For the data structures, such as the lists, the following forms are available: the parallel recursion, inter-recursion, and the recursion of high level. The paper has exposed each form on the LISP language, being the classic functional language as well as the ground for the development of all other languages. The verification for the forms of the recursive functions was adopted with structural and transfinite induction methods. The analysis describe combined induction technique and its algorithm is discussed which is used for verification for such complex functions, arguments of which are again the recursive functions. The discussed verification method of the programs those being offered for the functional languages was applied for the imperative paradigm languages, in particular for Language C and more precisely for C subset (consider that the C program consists of the assigning, optional and cycle operators only)." @default.
- W2024136341 created "2016-06-24" @default.
- W2024136341 creator A5009852681 @default.
- W2024136341 creator A5045070314 @default.
- W2024136341 creator A5073493817 @default.
- W2024136341 date "2011-10-01" @default.
- W2024136341 modified "2023-09-27" @default.
- W2024136341 title "Universal attitude to the program verification" @default.
- W2024136341 cites W199653139 @default.
- W2024136341 doi "https://doi.org/10.1109/icaict.2011.6111009" @default.
- W2024136341 hasPublicationYear "2011" @default.
- W2024136341 type Work @default.
- W2024136341 sameAs 2024136341 @default.
- W2024136341 citedByCount "0" @default.
- W2024136341 crossrefType "proceedings-article" @default.
- W2024136341 hasAuthorship W2024136341A5009852681 @default.
- W2024136341 hasAuthorship W2024136341A5045070314 @default.
- W2024136341 hasAuthorship W2024136341A5073493817 @default.
- W2024136341 hasConcept C11413529 @default.
- W2024136341 hasConcept C118615104 @default.
- W2024136341 hasConcept C124416688 @default.
- W2024136341 hasConcept C14036430 @default.
- W2024136341 hasConcept C168773036 @default.
- W2024136341 hasConcept C190883126 @default.
- W2024136341 hasConcept C199360897 @default.
- W2024136341 hasConcept C2982939207 @default.
- W2024136341 hasConcept C33923547 @default.
- W2024136341 hasConcept C41008148 @default.
- W2024136341 hasConcept C42383842 @default.
- W2024136341 hasConcept C78458016 @default.
- W2024136341 hasConcept C80444323 @default.
- W2024136341 hasConcept C86803240 @default.
- W2024136341 hasConcept C9986523 @default.
- W2024136341 hasConceptScore W2024136341C11413529 @default.
- W2024136341 hasConceptScore W2024136341C118615104 @default.
- W2024136341 hasConceptScore W2024136341C124416688 @default.
- W2024136341 hasConceptScore W2024136341C14036430 @default.
- W2024136341 hasConceptScore W2024136341C168773036 @default.
- W2024136341 hasConceptScore W2024136341C190883126 @default.
- W2024136341 hasConceptScore W2024136341C199360897 @default.
- W2024136341 hasConceptScore W2024136341C2982939207 @default.
- W2024136341 hasConceptScore W2024136341C33923547 @default.
- W2024136341 hasConceptScore W2024136341C41008148 @default.
- W2024136341 hasConceptScore W2024136341C42383842 @default.
- W2024136341 hasConceptScore W2024136341C78458016 @default.
- W2024136341 hasConceptScore W2024136341C80444323 @default.
- W2024136341 hasConceptScore W2024136341C86803240 @default.
- W2024136341 hasConceptScore W2024136341C9986523 @default.
- W2024136341 hasLocation W20241363411 @default.
- W2024136341 hasOpenAccess W2024136341 @default.
- W2024136341 hasPrimaryLocation W20241363411 @default.
- W2024136341 hasRelatedWork W1489746175 @default.
- W2024136341 hasRelatedWork W1799755858 @default.
- W2024136341 hasRelatedWork W1828224469 @default.
- W2024136341 hasRelatedWork W1979314434 @default.
- W2024136341 hasRelatedWork W202033453 @default.
- W2024136341 hasRelatedWork W2028957927 @default.
- W2024136341 hasRelatedWork W2030225252 @default.
- W2024136341 hasRelatedWork W2045128100 @default.
- W2024136341 hasRelatedWork W2110122404 @default.
- W2024136341 hasRelatedWork W2113872465 @default.
- W2024136341 hasRelatedWork W2150910180 @default.
- W2024136341 hasRelatedWork W2161877573 @default.
- W2024136341 hasRelatedWork W2163101388 @default.
- W2024136341 hasRelatedWork W2382543539 @default.
- W2024136341 hasRelatedWork W2495963165 @default.
- W2024136341 hasRelatedWork W274788069 @default.
- W2024136341 hasRelatedWork W2764183978 @default.
- W2024136341 hasRelatedWork W2984736028 @default.
- W2024136341 hasRelatedWork W3015128396 @default.
- W2024136341 hasRelatedWork W2113898191 @default.
- W2024136341 isParatext "false" @default.
- W2024136341 isRetracted "false" @default.
- W2024136341 magId "2024136341" @default.
- W2024136341 workType "article" @default.