Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064707219> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2064707219 endingPage "19" @default.
- W2064707219 startingPage "4" @default.
- W2064707219 abstract "Specification languages are best used in environments that provide effective theorem proving. Having such support available, it is feasible to contemplate that typechecking can use the services of the theorem prover. This allows interesting extensions to the type systems provided for specification languages. I describe one such extension called “predicate subtyping” and illustrate its utility as mechanized in PVS." @default.
- W2064707219 created "2016-06-24" @default.
- W2064707219 creator A5020087247 @default.
- W2064707219 date "1997-11-01" @default.
- W2064707219 modified "2023-09-25" @default.
- W2064707219 title "Subtypes for specifications" @default.
- W2064707219 cites W1495187315 @default.
- W2064707219 cites W1566418462 @default.
- W2064707219 cites W1566496315 @default.
- W2064707219 cites W1659048632 @default.
- W2064707219 cites W1996404651 @default.
- W2064707219 cites W2033225733 @default.
- W2064707219 cites W2113486906 @default.
- W2064707219 cites W2128057448 @default.
- W2064707219 cites W2140595120 @default.
- W2064707219 cites W2294680933 @default.
- W2064707219 cites W2525216991 @default.
- W2064707219 cites W3000593863 @default.
- W2064707219 cites W3160698033 @default.
- W2064707219 cites W3194009119 @default.
- W2064707219 doi "https://doi.org/10.1145/267895.267898" @default.
- W2064707219 hasPublicationYear "1997" @default.
- W2064707219 type Work @default.
- W2064707219 sameAs 2064707219 @default.
- W2064707219 citedByCount "1" @default.
- W2064707219 crossrefType "proceedings-article" @default.
- W2064707219 hasAuthorship W2064707219A5020087247 @default.
- W2064707219 hasConcept C140146324 @default.
- W2064707219 hasConcept C199360897 @default.
- W2064707219 hasConcept C201677973 @default.
- W2064707219 hasConcept C206880738 @default.
- W2064707219 hasConcept C2778029271 @default.
- W2064707219 hasConcept C41008148 @default.
- W2064707219 hasConcept C83852419 @default.
- W2064707219 hasConceptScore W2064707219C140146324 @default.
- W2064707219 hasConceptScore W2064707219C199360897 @default.
- W2064707219 hasConceptScore W2064707219C201677973 @default.
- W2064707219 hasConceptScore W2064707219C206880738 @default.
- W2064707219 hasConceptScore W2064707219C2778029271 @default.
- W2064707219 hasConceptScore W2064707219C41008148 @default.
- W2064707219 hasConceptScore W2064707219C83852419 @default.
- W2064707219 hasIssue "6" @default.
- W2064707219 hasLocation W20647072191 @default.
- W2064707219 hasOpenAccess W2064707219 @default.
- W2064707219 hasPrimaryLocation W20647072191 @default.
- W2064707219 hasRelatedWork W101296552 @default.
- W2064707219 hasRelatedWork W1466691798 @default.
- W2064707219 hasRelatedWork W1496802971 @default.
- W2064707219 hasRelatedWork W1574652132 @default.
- W2064707219 hasRelatedWork W1584721038 @default.
- W2064707219 hasRelatedWork W1601544265 @default.
- W2064707219 hasRelatedWork W2025431400 @default.
- W2064707219 hasRelatedWork W2134801812 @default.
- W2064707219 hasRelatedWork W2142877099 @default.
- W2064707219 hasRelatedWork W2171313158 @default.
- W2064707219 hasRelatedWork W2262937022 @default.
- W2064707219 hasRelatedWork W2339645850 @default.
- W2064707219 hasRelatedWork W2483392883 @default.
- W2064707219 hasRelatedWork W2496934489 @default.
- W2064707219 hasRelatedWork W2596200388 @default.
- W2064707219 hasRelatedWork W2954029160 @default.
- W2064707219 hasRelatedWork W2964806919 @default.
- W2064707219 hasRelatedWork W3083835029 @default.
- W2064707219 hasRelatedWork W3107593797 @default.
- W2064707219 hasRelatedWork W2498152513 @default.
- W2064707219 hasVolume "22" @default.
- W2064707219 isParatext "false" @default.
- W2064707219 isRetracted "false" @default.
- W2064707219 magId "2064707219" @default.
- W2064707219 workType "article" @default.