Matches in SemOpenAlex for { <https://semopenalex.org/work/W2355652664> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2355652664 abstract "Tools for a specification language can be implemented directly (by building a special purpose theorem prover) or by a conservative embedding into a typed meta-logic, which allows their safe and logically consistent implementation and the reuse of existing theorem prover engines. For being useful, the conservative extension approach must provide derivations for several thousand folklore theorems.In this paper, we present an approach for deriving the mass of these theorems mechanically from an existing library of the meta-logic. The approach presupposes a structured theory morphism mapping library datatypes and library functions to new functions of the specification language while uniformly modifying some semantic properties; for example, new functions may have a different treatment of undefinedness compared to old ones." @default.
- W2355652664 created "2016-06-24" @default.
- W2355652664 creator A5001790193 @default.
- W2355652664 creator A5016746101 @default.
- W2355652664 date "2003-01-01" @default.
- W2355652664 modified "2023-09-27" @default.
- W2355652664 title "Using Theory Morphisms for Implementing Formal Methods Tools" @default.
- W2355652664 cites W1778852211 @default.
- W2355652664 cites W1996404651 @default.
- W2355652664 cites W2010883554 @default.
- W2355652664 cites W2011721441 @default.
- W2355652664 cites W2142346010 @default.
- W2355652664 cites W2295914203 @default.
- W2355652664 cites W2621168830 @default.
- W2355652664 cites W4234924236 @default.
- W2355652664 cites W4237428230 @default.
- W2355652664 cites W4250846042 @default.
- W2355652664 cites W1757383982 @default.
- W2355652664 doi "https://doi.org/10.1007/3-540-39185-1_4" @default.
- W2355652664 hasPublicationYear "2003" @default.
- W2355652664 type Work @default.
- W2355652664 sameAs 2355652664 @default.
- W2355652664 citedByCount "3" @default.
- W2355652664 crossrefType "book-chapter" @default.
- W2355652664 hasAuthorship W2355652664A5001790193 @default.
- W2355652664 hasAuthorship W2355652664A5016746101 @default.
- W2355652664 hasConcept C116253237 @default.
- W2355652664 hasConcept C118615104 @default.
- W2355652664 hasConcept C137212723 @default.
- W2355652664 hasConcept C146072743 @default.
- W2355652664 hasConcept C154945302 @default.
- W2355652664 hasConcept C18903297 @default.
- W2355652664 hasConcept C199343813 @default.
- W2355652664 hasConcept C199360897 @default.
- W2355652664 hasConcept C201677973 @default.
- W2355652664 hasConcept C206588197 @default.
- W2355652664 hasConcept C206880738 @default.
- W2355652664 hasConcept C2777686260 @default.
- W2355652664 hasConcept C2778029271 @default.
- W2355652664 hasConcept C2780432614 @default.
- W2355652664 hasConcept C33923547 @default.
- W2355652664 hasConcept C41008148 @default.
- W2355652664 hasConcept C41608201 @default.
- W2355652664 hasConcept C71924100 @default.
- W2355652664 hasConcept C75606506 @default.
- W2355652664 hasConcept C80444323 @default.
- W2355652664 hasConcept C86803240 @default.
- W2355652664 hasConceptScore W2355652664C116253237 @default.
- W2355652664 hasConceptScore W2355652664C118615104 @default.
- W2355652664 hasConceptScore W2355652664C137212723 @default.
- W2355652664 hasConceptScore W2355652664C146072743 @default.
- W2355652664 hasConceptScore W2355652664C154945302 @default.
- W2355652664 hasConceptScore W2355652664C18903297 @default.
- W2355652664 hasConceptScore W2355652664C199343813 @default.
- W2355652664 hasConceptScore W2355652664C199360897 @default.
- W2355652664 hasConceptScore W2355652664C201677973 @default.
- W2355652664 hasConceptScore W2355652664C206588197 @default.
- W2355652664 hasConceptScore W2355652664C206880738 @default.
- W2355652664 hasConceptScore W2355652664C2777686260 @default.
- W2355652664 hasConceptScore W2355652664C2778029271 @default.
- W2355652664 hasConceptScore W2355652664C2780432614 @default.
- W2355652664 hasConceptScore W2355652664C33923547 @default.
- W2355652664 hasConceptScore W2355652664C41008148 @default.
- W2355652664 hasConceptScore W2355652664C41608201 @default.
- W2355652664 hasConceptScore W2355652664C71924100 @default.
- W2355652664 hasConceptScore W2355652664C75606506 @default.
- W2355652664 hasConceptScore W2355652664C80444323 @default.
- W2355652664 hasConceptScore W2355652664C86803240 @default.
- W2355652664 hasLocation W23556526641 @default.
- W2355652664 hasOpenAccess W2355652664 @default.
- W2355652664 hasPrimaryLocation W23556526641 @default.
- W2355652664 hasRelatedWork W1496802971 @default.
- W2355652664 hasRelatedWork W1591992422 @default.
- W2355652664 hasRelatedWork W1601544265 @default.
- W2355652664 hasRelatedWork W1689435873 @default.
- W2355652664 hasRelatedWork W1769439978 @default.
- W2355652664 hasRelatedWork W19113454 @default.
- W2355652664 hasRelatedWork W2025431400 @default.
- W2355652664 hasRelatedWork W2059584710 @default.
- W2355652664 hasRelatedWork W2134801812 @default.
- W2355652664 hasRelatedWork W2152617918 @default.
- W2355652664 hasRelatedWork W2171313158 @default.
- W2355652664 hasRelatedWork W2315216645 @default.
- W2355652664 hasRelatedWork W2338301088 @default.
- W2355652664 hasRelatedWork W2414648896 @default.
- W2355652664 hasRelatedWork W2544785648 @default.
- W2355652664 hasRelatedWork W2951880787 @default.
- W2355652664 hasRelatedWork W2954029160 @default.
- W2355652664 hasRelatedWork W2999767359 @default.
- W2355652664 hasRelatedWork W3005283075 @default.
- W2355652664 hasRelatedWork W622015006 @default.
- W2355652664 isParatext "false" @default.
- W2355652664 isRetracted "false" @default.
- W2355652664 magId "2355652664" @default.
- W2355652664 workType "book-chapter" @default.