Matches in SemOpenAlex for { <https://semopenalex.org/work/W2954792172> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2954792172 abstract "Constraint logic programming (CLP) is a combination of two programming paradigms: constraint programming and logic programming. This combination allows us to write programs in a concise way and still be executed efficiently. CLP is commonly used for many domains, such as test data generation. A commonly used technique for doing this is by performing symbolic analysis on a program, and determine which values will cause which branches of the program to be executed. The problem however is that these symbolic execution algorithms normally analyze the program in a depth-first manner and do not treat non-determinism fairly. We will be investigating how we could improve this using the free monad and how we can use this in order to perform a breadth-first search, rather than depth-first. We will give a basic sample interpreter, which we will convert into a symbolically executable interpreter. The language will be described and represented as an interpreter written in Scala." @default.
- W2954792172 created "2019-07-12" @default.
- W2954792172 creator A5061299530 @default.
- W2954792172 date "2019-01-01" @default.
- W2954792172 modified "2023-09-26" @default.
- W2954792172 title "Non-Deterministic Symbolic Analysis using Free Monads for Test Data Generation" @default.
- W2954792172 hasPublicationYear "2019" @default.
- W2954792172 type Work @default.
- W2954792172 sameAs 2954792172 @default.
- W2954792172 citedByCount "0" @default.
- W2954792172 crossrefType "journal-article" @default.
- W2954792172 hasAuthorship W2954792172A5061299530 @default.
- W2954792172 hasConcept C105795698 @default.
- W2954792172 hasConcept C11219265 @default.
- W2954792172 hasConcept C122783720 @default.
- W2954792172 hasConcept C128838566 @default.
- W2954792172 hasConcept C137631369 @default.
- W2954792172 hasConcept C160145156 @default.
- W2954792172 hasConcept C173404611 @default.
- W2954792172 hasConcept C199360897 @default.
- W2954792172 hasConcept C2777904410 @default.
- W2954792172 hasConcept C2779639559 @default.
- W2954792172 hasConcept C33923547 @default.
- W2954792172 hasConcept C41008148 @default.
- W2954792172 hasConcept C80444323 @default.
- W2954792172 hasConcept C98183937 @default.
- W2954792172 hasConceptScore W2954792172C105795698 @default.
- W2954792172 hasConceptScore W2954792172C11219265 @default.
- W2954792172 hasConceptScore W2954792172C122783720 @default.
- W2954792172 hasConceptScore W2954792172C128838566 @default.
- W2954792172 hasConceptScore W2954792172C137631369 @default.
- W2954792172 hasConceptScore W2954792172C160145156 @default.
- W2954792172 hasConceptScore W2954792172C173404611 @default.
- W2954792172 hasConceptScore W2954792172C199360897 @default.
- W2954792172 hasConceptScore W2954792172C2777904410 @default.
- W2954792172 hasConceptScore W2954792172C2779639559 @default.
- W2954792172 hasConceptScore W2954792172C33923547 @default.
- W2954792172 hasConceptScore W2954792172C41008148 @default.
- W2954792172 hasConceptScore W2954792172C80444323 @default.
- W2954792172 hasConceptScore W2954792172C98183937 @default.
- W2954792172 hasLocation W29547921721 @default.
- W2954792172 hasOpenAccess W2954792172 @default.
- W2954792172 hasPrimaryLocation W29547921721 @default.
- W2954792172 hasRelatedWork W114273005 @default.
- W2954792172 hasRelatedWork W1413831282 @default.
- W2954792172 hasRelatedWork W1489417874 @default.
- W2954792172 hasRelatedWork W1542304993 @default.
- W2954792172 hasRelatedWork W1550435668 @default.
- W2954792172 hasRelatedWork W1594075998 @default.
- W2954792172 hasRelatedWork W1828224469 @default.
- W2954792172 hasRelatedWork W2004200215 @default.
- W2954792172 hasRelatedWork W2021519440 @default.
- W2954792172 hasRelatedWork W2022770502 @default.
- W2954792172 hasRelatedWork W2030360570 @default.
- W2954792172 hasRelatedWork W2039139011 @default.
- W2954792172 hasRelatedWork W2061456508 @default.
- W2954792172 hasRelatedWork W2074720405 @default.
- W2954792172 hasRelatedWork W2076084917 @default.
- W2954792172 hasRelatedWork W2119897009 @default.
- W2954792172 hasRelatedWork W2621223372 @default.
- W2954792172 hasRelatedWork W3099136629 @default.
- W2954792172 hasRelatedWork W3103318063 @default.
- W2954792172 hasRelatedWork W979826707 @default.
- W2954792172 isParatext "false" @default.
- W2954792172 isRetracted "false" @default.
- W2954792172 magId "2954792172" @default.
- W2954792172 workType "article" @default.