Matches in SemOpenAlex for { <https://semopenalex.org/work/W1667961720> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1667961720 abstract "The FORMAN formal annotation language is a tool for program testing, debugging, verification and documentation. It is based on a semantic model of target program execution. A sequence of events serves for this model. Assertions about data and control flows in this target program can be written in this language. Pattern matching and aggregate operations constitute the core of the language. Libraries of assertions can be used for program static and dynamic analysis, e.g., to check the presence of typical bugs. >" @default.
- W1667961720 created "2016-06-24" @default.
- W1667961720 creator A5006145166 @default.
- W1667961720 date "2002-12-10" @default.
- W1667961720 modified "2023-09-28" @default.
- W1667961720 title "FORMAN-Program formal annotation language" @default.
- W1667961720 cites W1495187315 @default.
- W1667961720 cites W1523425771 @default.
- W1667961720 cites W1546981056 @default.
- W1667961720 cites W2009942758 @default.
- W1667961720 cites W2044422526 @default.
- W1667961720 cites W2068063761 @default.
- W1667961720 cites W2073598277 @default.
- W1667961720 cites W2792939069 @default.
- W1667961720 doi "https://doi.org/10.1109/iccsse.1991.151186" @default.
- W1667961720 hasPublicationYear "2002" @default.
- W1667961720 type Work @default.
- W1667961720 sameAs 1667961720 @default.
- W1667961720 citedByCount "3" @default.
- W1667961720 countsByYear W16679617202012 @default.
- W1667961720 crossrefType "proceedings-article" @default.
- W1667961720 hasAuthorship W1667961720A5006145166 @default.
- W1667961720 hasConcept C136388014 @default.
- W1667961720 hasConcept C154945302 @default.
- W1667961720 hasConcept C168065819 @default.
- W1667961720 hasConcept C199360897 @default.
- W1667961720 hasConcept C204321447 @default.
- W1667961720 hasConcept C2776321320 @default.
- W1667961720 hasConcept C41008148 @default.
- W1667961720 hasConcept C56666940 @default.
- W1667961720 hasConceptScore W1667961720C136388014 @default.
- W1667961720 hasConceptScore W1667961720C154945302 @default.
- W1667961720 hasConceptScore W1667961720C168065819 @default.
- W1667961720 hasConceptScore W1667961720C199360897 @default.
- W1667961720 hasConceptScore W1667961720C204321447 @default.
- W1667961720 hasConceptScore W1667961720C2776321320 @default.
- W1667961720 hasConceptScore W1667961720C41008148 @default.
- W1667961720 hasConceptScore W1667961720C56666940 @default.
- W1667961720 hasLocation W16679617201 @default.
- W1667961720 hasOpenAccess W1667961720 @default.
- W1667961720 hasPrimaryLocation W16679617201 @default.
- W1667961720 hasRelatedWork W1504912724 @default.
- W1667961720 hasRelatedWork W1780989199 @default.
- W1667961720 hasRelatedWork W1981467734 @default.
- W1667961720 hasRelatedWork W1991096787 @default.
- W1667961720 hasRelatedWork W2007187080 @default.
- W1667961720 hasRelatedWork W2063441188 @default.
- W1667961720 hasRelatedWork W2098448776 @default.
- W1667961720 hasRelatedWork W2105534866 @default.
- W1667961720 hasRelatedWork W2109788087 @default.
- W1667961720 hasRelatedWork W2109835551 @default.
- W1667961720 hasRelatedWork W2118196876 @default.
- W1667961720 hasRelatedWork W2121758369 @default.
- W1667961720 hasRelatedWork W2128519963 @default.
- W1667961720 hasRelatedWork W2131514293 @default.
- W1667961720 hasRelatedWork W2133693398 @default.
- W1667961720 hasRelatedWork W2140868719 @default.
- W1667961720 hasRelatedWork W2151688527 @default.
- W1667961720 hasRelatedWork W2962982540 @default.
- W1667961720 hasRelatedWork W3117665530 @default.
- W1667961720 hasRelatedWork W2508211183 @default.
- W1667961720 isParatext "false" @default.
- W1667961720 isRetracted "false" @default.
- W1667961720 magId "1667961720" @default.
- W1667961720 workType "article" @default.