Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145891327> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2145891327 endingPage "22" @default.
- W2145891327 startingPage "13" @default.
- W2145891327 abstract "A technique-ASPECT-for catching code-level bugs is presented. ASPECT is intended to be economical for everyday software development. It comprises a formal specification language and a code-checking method. Programmers write simple assertions about the information required to compute a result; an efficient mechanical checker can then find bugs in the annotated code. Careless slips that escape type-checking and standard compiler anomaly tests can be detected, without the cost of formal verification or the uncertainty of testing. The essence of ASPECT is reasoning about dependencies between the aspects of abstract objects. >" @default.
- W2145891327 created "2016-06-24" @default.
- W2145891327 creator A5066550051 @default.
- W2145891327 date "1991-05-01" @default.
- W2145891327 modified "2023-09-25" @default.
- W2145891327 title "ASPECT: an economical bug-detector" @default.
- W2145891327 cites W169401469 @default.
- W2145891327 cites W1970495662 @default.
- W2145891327 cites W1985562074 @default.
- W2145891327 cites W1995384620 @default.
- W2145891327 cites W2056892625 @default.
- W2145891327 cites W2104182286 @default.
- W2145891327 cites W2118989230 @default.
- W2145891327 cites W2123301443 @default.
- W2145891327 cites W2123985997 @default.
- W2145891327 cites W2144344516 @default.
- W2145891327 cites W2161825580 @default.
- W2145891327 cites W2293624369 @default.
- W2145891327 cites W2493901668 @default.
- W2145891327 doi "https://doi.org/10.5555/256664.256676" @default.
- W2145891327 hasPublicationYear "1991" @default.
- W2145891327 type Work @default.
- W2145891327 sameAs 2145891327 @default.
- W2145891327 citedByCount "12" @default.
- W2145891327 crossrefType "proceedings-article" @default.
- W2145891327 hasAuthorship W2145891327A5066550051 @default.
- W2145891327 hasConcept C110251889 @default.
- W2145891327 hasConcept C111472728 @default.
- W2145891327 hasConcept C111498074 @default.
- W2145891327 hasConcept C121332964 @default.
- W2145891327 hasConcept C12997251 @default.
- W2145891327 hasConcept C138885662 @default.
- W2145891327 hasConcept C169590947 @default.
- W2145891327 hasConcept C177264268 @default.
- W2145891327 hasConcept C199360897 @default.
- W2145891327 hasConcept C26873012 @default.
- W2145891327 hasConcept C2776760102 @default.
- W2145891327 hasConcept C2777904410 @default.
- W2145891327 hasConcept C2780586882 @default.
- W2145891327 hasConcept C41008148 @default.
- W2145891327 hasConcept C60051680 @default.
- W2145891327 hasConcept C75606506 @default.
- W2145891327 hasConceptScore W2145891327C110251889 @default.
- W2145891327 hasConceptScore W2145891327C111472728 @default.
- W2145891327 hasConceptScore W2145891327C111498074 @default.
- W2145891327 hasConceptScore W2145891327C121332964 @default.
- W2145891327 hasConceptScore W2145891327C12997251 @default.
- W2145891327 hasConceptScore W2145891327C138885662 @default.
- W2145891327 hasConceptScore W2145891327C169590947 @default.
- W2145891327 hasConceptScore W2145891327C177264268 @default.
- W2145891327 hasConceptScore W2145891327C199360897 @default.
- W2145891327 hasConceptScore W2145891327C26873012 @default.
- W2145891327 hasConceptScore W2145891327C2776760102 @default.
- W2145891327 hasConceptScore W2145891327C2777904410 @default.
- W2145891327 hasConceptScore W2145891327C2780586882 @default.
- W2145891327 hasConceptScore W2145891327C41008148 @default.
- W2145891327 hasConceptScore W2145891327C60051680 @default.
- W2145891327 hasConceptScore W2145891327C75606506 @default.
- W2145891327 hasLocation W21458913271 @default.
- W2145891327 hasOpenAccess W2145891327 @default.
- W2145891327 hasPrimaryLocation W21458913271 @default.
- W2145891327 hasRelatedWork W1491178396 @default.
- W2145891327 hasRelatedWork W1503319068 @default.
- W2145891327 hasRelatedWork W1523445204 @default.
- W2145891327 hasRelatedWork W1592887751 @default.
- W2145891327 hasRelatedWork W1608485412 @default.
- W2145891327 hasRelatedWork W1921633840 @default.
- W2145891327 hasRelatedWork W1950848339 @default.
- W2145891327 hasRelatedWork W1982205631 @default.
- W2145891327 hasRelatedWork W2024024272 @default.
- W2145891327 hasRelatedWork W2080035707 @default.
- W2145891327 hasRelatedWork W2081088487 @default.
- W2145891327 hasRelatedWork W2092483417 @default.
- W2145891327 hasRelatedWork W2096803479 @default.
- W2145891327 hasRelatedWork W2125373133 @default.
- W2145891327 hasRelatedWork W2144344516 @default.
- W2145891327 hasRelatedWork W2155259144 @default.
- W2145891327 hasRelatedWork W2165240599 @default.
- W2145891327 hasRelatedWork W2166768964 @default.
- W2145891327 hasRelatedWork W2293624369 @default.
- W2145891327 hasRelatedWork W2545610616 @default.
- W2145891327 isParatext "false" @default.
- W2145891327 isRetracted "false" @default.
- W2145891327 magId "2145891327" @default.
- W2145891327 workType "article" @default.