Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000841750> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2000841750 endingPage "67" @default.
- W2000841750 startingPage "62" @default.
- W2000841750 abstract "We report on experiments with Prolog design descriptions and tools in CAEDE (Carleton Embedded System Design Environment), an experimental, iconic design environment for multitasking, embedded systems. The philosophy of CAEDE is to enter structural and temporal design information iconically, via a graphics interface, to serve as the basis for design analysis and skeleton code generation, and then to enter, under control of the iconic interface, program “strips” to fill in the functional gaps in the skeleton code. The iconic information is converted automatically into a Prolog design data base of facts and rules. CAEDE aims to support incremental design and to be incrementally extensible. In the current implementation of CAEDE, which runs on a SUN workstation supporting design for Ada, the iconic interface is limited to structural design. Here we describe the Prolog side of our research, covering the nature of the facts produced from the iconic input by the current implementation and their use by experimental Prolog tools for structural analysis, temporal analysis and Ada code generation. The aim is to show how Prolog is contributing to the framework of a powerful, extensible design environment." @default.
- W2000841750 created "2016-06-24" @default.
- W2000841750 creator A5033040722 @default.
- W2000841750 creator A5046105444 @default.
- W2000841750 creator A5047489115 @default.
- W2000841750 creator A5071056022 @default.
- W2000841750 creator A5088132509 @default.
- W2000841750 date "1985-08-01" @default.
- W2000841750 modified "2023-09-26" @default.
- W2000841750 title "Experiments with Prolog design descriptions and tools in CAEDE: an iconic design environment for mutltitasking, embedded systems" @default.
- W2000841750 cites W125745800 @default.
- W2000841750 cites W1486479793 @default.
- W2000841750 cites W1546657258 @default.
- W2000841750 cites W1964242954 @default.
- W2000841750 cites W1996158062 @default.
- W2000841750 cites W1996429813 @default.
- W2000841750 cites W2019055463 @default.
- W2000841750 cites W2101604841 @default.
- W2000841750 cites W2106879254 @default.
- W2000841750 cites W3202802144 @default.
- W2000841750 doi "https://doi.org/10.5555/319568.319581" @default.
- W2000841750 hasPublicationYear "1985" @default.
- W2000841750 type Work @default.
- W2000841750 sameAs 2000841750 @default.
- W2000841750 citedByCount "0" @default.
- W2000841750 crossrefType "proceedings-article" @default.
- W2000841750 hasAuthorship W2000841750A5033040722 @default.
- W2000841750 hasAuthorship W2000841750A5046105444 @default.
- W2000841750 hasAuthorship W2000841750A5047489115 @default.
- W2000841750 hasAuthorship W2000841750A5071056022 @default.
- W2000841750 hasAuthorship W2000841750A5088132509 @default.
- W2000841750 hasConcept C111919701 @default.
- W2000841750 hasConcept C113843644 @default.
- W2000841750 hasConcept C129307140 @default.
- W2000841750 hasConcept C133162039 @default.
- W2000841750 hasConcept C157915830 @default.
- W2000841750 hasConcept C199360897 @default.
- W2000841750 hasConcept C26517878 @default.
- W2000841750 hasConcept C41008148 @default.
- W2000841750 hasConcept C67953723 @default.
- W2000841750 hasConcept C81721847 @default.
- W2000841750 hasConceptScore W2000841750C111919701 @default.
- W2000841750 hasConceptScore W2000841750C113843644 @default.
- W2000841750 hasConceptScore W2000841750C129307140 @default.
- W2000841750 hasConceptScore W2000841750C133162039 @default.
- W2000841750 hasConceptScore W2000841750C157915830 @default.
- W2000841750 hasConceptScore W2000841750C199360897 @default.
- W2000841750 hasConceptScore W2000841750C26517878 @default.
- W2000841750 hasConceptScore W2000841750C41008148 @default.
- W2000841750 hasConceptScore W2000841750C67953723 @default.
- W2000841750 hasConceptScore W2000841750C81721847 @default.
- W2000841750 hasLocation W20008417501 @default.
- W2000841750 hasOpenAccess W2000841750 @default.
- W2000841750 hasPrimaryLocation W20008417501 @default.
- W2000841750 hasRelatedWork W108940589 @default.
- W2000841750 hasRelatedWork W1499452186 @default.
- W2000841750 hasRelatedWork W1579393550 @default.
- W2000841750 hasRelatedWork W1971285363 @default.
- W2000841750 hasRelatedWork W2010077010 @default.
- W2000841750 hasRelatedWork W2026737938 @default.
- W2000841750 hasRelatedWork W2045944940 @default.
- W2000841750 hasRelatedWork W2050252278 @default.
- W2000841750 hasRelatedWork W2077117246 @default.
- W2000841750 hasRelatedWork W2115206402 @default.
- W2000841750 hasRelatedWork W2116933170 @default.
- W2000841750 hasRelatedWork W2139620513 @default.
- W2000841750 hasRelatedWork W2144975461 @default.
- W2000841750 hasRelatedWork W2161801561 @default.
- W2000841750 hasRelatedWork W2163812843 @default.
- W2000841750 hasRelatedWork W2229300982 @default.
- W2000841750 hasRelatedWork W2300171540 @default.
- W2000841750 hasRelatedWork W2472558512 @default.
- W2000841750 hasRelatedWork W3177359348 @default.
- W2000841750 hasRelatedWork W36987004 @default.
- W2000841750 isParatext "false" @default.
- W2000841750 isRetracted "false" @default.
- W2000841750 magId "2000841750" @default.
- W2000841750 workType "article" @default.