FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1542090010> ?p ?o ?g. }

• W1542090010 startingPage "11987" @default.
• W1542090010 abstract "A new functional semantics is proposed for synchronous circuits, as a basis for reasoning formally about that class of hardware systems. Technically, we define an extensional semantics with monotonic length-preserving functions on finite strings, and an intensional semantics based on functionals on those functions. As support for the semantics we prove the equivalence of the extensional semantics with a simple operational semantics, as well as a characterization of circuits which obey the every loop is clocked design rule. Also, we develop the foundations in complete detail both to increase confidence in the theory, and as a prerequisite to its future mechanization." @default.
• W1542090010 created "2016-06-24" @default.
• W1542090010 creator A5076212776 @default.
• W1542090010 creator A5090498111 @default.
• W1542090010 date "1988-06-01" @default.
• W1542090010 modified "2023-09-26" @default.
• W1542090010 title "String-Functional Semantics for Formal Verification of Synchronous Circuits" @default.
• W1542090010 cites W131202625 @default.
• W1542090010 cites W1413967780 @default.
• W1542090010 cites W142297547 @default.
• W1542090010 cites W1483568252 @default.
• W1542090010 cites W1491037212 @default.
• W1542090010 cites W1499340142 @default.
• W1542090010 cites W1520050772 @default.
• W1542090010 cites W1525140360 @default.
• W1542090010 cites W1551447924 @default.
• W1542090010 cites W1556423252 @default.
• W1542090010 cites W1560351282 @default.
• W1542090010 cites W1579433101 @default.
• W1542090010 cites W1594353830 @default.
• W1542090010 cites W1597755753 @default.
• W1542090010 cites W1666015432 @default.
• W1542090010 cites W1673311697 @default.
• W1542090010 cites W1848963184 @default.
• W1542090010 cites W1925808657 @default.
• W1542090010 cites W1984366601 @default.
• W1542090010 cites W2002089154 @default.
• W1542090010 cites W2023299380 @default.
• W1542090010 cites W2046381502 @default.
• W1542090010 cites W2076928733 @default.
• W1542090010 cites W2081272455 @default.
• W1542090010 cites W2103114909 @default.
• W1542090010 cites W2152944474 @default.
• W1542090010 cites W2164591125 @default.
• W1542090010 cites W2172307690 @default.
• W1542090010 cites W3013442367 @default.
• W1542090010 cites W69921963 @default.
• W1542090010 cites W841610809 @default.
• W1542090010 cites W2504421574 @default.
• W1542090010 hasPublicationYear "1988" @default.
• W1542090010 type Work @default.
• W1542090010 sameAs 1542090010 @default.
• W1542090010 citedByCount "2" @default.
• W1542090010 crossrefType "journal-article" @default.
• W1542090010 hasAuthorship W1542090010A5076212776 @default.
• W1542090010 hasAuthorship W1542090010A5090498111 @default.
• W1542090010 hasConcept C118615104 @default.
• W1542090010 hasConcept C134306372 @default.
• W1542090010 hasConcept C136137745 @default.
• W1542090010 hasConcept C146499914 @default.
• W1542090010 hasConcept C150607116 @default.
• W1542090010 hasConcept C151730666 @default.
• W1542090010 hasConcept C156325763 @default.
• W1542090010 hasConcept C184337299 @default.
• W1542090010 hasConcept C199360897 @default.
• W1542090010 hasConcept C200065993 @default.
• W1542090010 hasConcept C207648694 @default.
• W1542090010 hasConcept C2780069185 @default.
• W1542090010 hasConcept C33923547 @default.
• W1542090010 hasConcept C41008148 @default.
• W1542090010 hasConcept C72169020 @default.
• W1542090010 hasConcept C77928131 @default.
• W1542090010 hasConcept C80444323 @default.
• W1542090010 hasConcept C86803240 @default.
• W1542090010 hasConcept C89497691 @default.
• W1542090010 hasConceptScore W1542090010C118615104 @default.
• W1542090010 hasConceptScore W1542090010C134306372 @default.
• W1542090010 hasConceptScore W1542090010C136137745 @default.
• W1542090010 hasConceptScore W1542090010C146499914 @default.
• W1542090010 hasConceptScore W1542090010C150607116 @default.
• W1542090010 hasConceptScore W1542090010C151730666 @default.
• W1542090010 hasConceptScore W1542090010C156325763 @default.
• W1542090010 hasConceptScore W1542090010C184337299 @default.
• W1542090010 hasConceptScore W1542090010C199360897 @default.
• W1542090010 hasConceptScore W1542090010C200065993 @default.
• W1542090010 hasConceptScore W1542090010C207648694 @default.
• W1542090010 hasConceptScore W1542090010C2780069185 @default.
• W1542090010 hasConceptScore W1542090010C33923547 @default.
• W1542090010 hasConceptScore W1542090010C41008148 @default.
• W1542090010 hasConceptScore W1542090010C72169020 @default.
• W1542090010 hasConceptScore W1542090010C77928131 @default.
• W1542090010 hasConceptScore W1542090010C80444323 @default.
• W1542090010 hasConceptScore W1542090010C86803240 @default.
• W1542090010 hasConceptScore W1542090010C89497691 @default.
• W1542090010 hasLocation W15420900101 @default.
• W1542090010 hasOpenAccess W1542090010 @default.
• W1542090010 hasPrimaryLocation W15420900101 @default.
• W1542090010 hasRelatedWork W140047774 @default.
• W1542090010 hasRelatedWork W1453568478 @default.
• W1542090010 hasRelatedWork W1487472891 @default.
• W1542090010 hasRelatedWork W2002247992 @default.
• W1542090010 hasRelatedWork W2059525923 @default.
• W1542090010 hasRelatedWork W2068349362 @default.
• W1542090010 hasRelatedWork W2086942791 @default.
• W1542090010 hasRelatedWork W2106305471 @default.
• W1542090010 hasRelatedWork W2108911687 @default.
• W1542090010 hasRelatedWork W2137980890 @default.
• W1542090010 hasRelatedWork W2158003132 @default.
• W1542090010 hasRelatedWork W2517585486 @default.

• next