Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000492188> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2000492188 abstract "The system PRECOMAS (PRoofs Educed by COnstructive MAtching for Synthesis) implements the Constructive Matching methodology for automatic constructions of programs from formal specifications.In this paper we describe briefly the goal of PRECOMAS, its logical background and the CM method applied to proving atomic formulae. We show how the user of our system is involved in solving a program synthesis problem. We show that this interaction does not concern the problem of guiding the program synthesis process, this being solved by CM. Our experimental version serves to confirm that the system is worth to be developed." @default.
- W2000492188 created "2016-06-24" @default.
- W2000492188 creator A5073241923 @default.
- W2000492188 date "1990-07-01" @default.
- W2000492188 modified "2023-10-17" @default.
- W2000492188 title "PRECOMAS an implementation of constructive matching methodology" @default.
- W2000492188 cites W2012436850 @default.
- W2000492188 cites W2045323411 @default.
- W2000492188 doi "https://doi.org/10.1145/96877.96885" @default.
- W2000492188 hasPublicationYear "1990" @default.
- W2000492188 type Work @default.
- W2000492188 sameAs 2000492188 @default.
- W2000492188 citedByCount "1" @default.
- W2000492188 crossrefType "proceedings-article" @default.
- W2000492188 hasAuthorship W2000492188A5073241923 @default.
- W2000492188 hasConcept C105795698 @default.
- W2000492188 hasConcept C115903868 @default.
- W2000492188 hasConcept C165064840 @default.
- W2000492188 hasConcept C199360897 @default.
- W2000492188 hasConcept C2778701210 @default.
- W2000492188 hasConcept C33923547 @default.
- W2000492188 hasConcept C41008148 @default.
- W2000492188 hasConcept C98045186 @default.
- W2000492188 hasConceptScore W2000492188C105795698 @default.
- W2000492188 hasConceptScore W2000492188C115903868 @default.
- W2000492188 hasConceptScore W2000492188C165064840 @default.
- W2000492188 hasConceptScore W2000492188C199360897 @default.
- W2000492188 hasConceptScore W2000492188C2778701210 @default.
- W2000492188 hasConceptScore W2000492188C33923547 @default.
- W2000492188 hasConceptScore W2000492188C41008148 @default.
- W2000492188 hasConceptScore W2000492188C98045186 @default.
- W2000492188 hasLocation W20004921881 @default.
- W2000492188 hasOpenAccess W2000492188 @default.
- W2000492188 hasPrimaryLocation W20004921881 @default.
- W2000492188 hasRelatedWork W109809851 @default.
- W2000492188 hasRelatedWork W2000492188 @default.
- W2000492188 hasRelatedWork W2074838023 @default.
- W2000492188 hasRelatedWork W2361944761 @default.
- W2000492188 hasRelatedWork W2363160663 @default.
- W2000492188 hasRelatedWork W2368676408 @default.
- W2000492188 hasRelatedWork W2380389143 @default.
- W2000492188 hasRelatedWork W2391408860 @default.
- W2000492188 hasRelatedWork W2800549968 @default.
- W2000492188 hasRelatedWork W4296050171 @default.
- W2000492188 isParatext "false" @default.
- W2000492188 isRetracted "false" @default.
- W2000492188 magId "2000492188" @default.
- W2000492188 workType "article" @default.