Matches in SemOpenAlex for { <https://semopenalex.org/work/W1712138183> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1712138183 abstract "Computer scientists are privileged, or doomed, to deal rigorously with large structures. This happens, of course, with hardware design and verification, and with programs and specifications. Considerable progress has been made with mechanised proof assistance for both. Going further into the back room, programming languages are also big structures. It’s very uncommon to have help from a proof assistant while actually designing a language, probably because the very formalism for writing down what a language means is changing under our feet, so it’s asking too much for those who build proof assistants to keep up with these developments enough to help the designers in real time. All the same, it has been encouraging to see plenty of post hoc verification of properties of Standard ML using its semantic formalism. Perhaps a future language design using “big step structure operational semantics” could be done using proof assistance to check out the sanity of a large set of inference rules before they are frozen into a design." @default.
- W1712138183 created "2016-06-24" @default.
- W1712138183 creator A5039242360 @default.
- W1712138183 date "2000-01-01" @default.
- W1712138183 modified "2023-09-27" @default.
- W1712138183 title "Graphical Theories of Interactive Systems: Can a Proof Assistant Help?" @default.
- W1712138183 doi "https://doi.org/10.1007/3-540-44659-1_27" @default.
- W1712138183 hasPublicationYear "2000" @default.
- W1712138183 type Work @default.
- W1712138183 sameAs 1712138183 @default.
- W1712138183 citedByCount "0" @default.
- W1712138183 crossrefType "book-chapter" @default.
- W1712138183 hasAuthorship W1712138183A5039242360 @default.
- W1712138183 hasConcept C108710211 @default.
- W1712138183 hasConcept C115903868 @default.
- W1712138183 hasConcept C142362112 @default.
- W1712138183 hasConcept C153349607 @default.
- W1712138183 hasConcept C199360897 @default.
- W1712138183 hasConcept C203265346 @default.
- W1712138183 hasConcept C2524010 @default.
- W1712138183 hasConcept C33923547 @default.
- W1712138183 hasConcept C41008148 @default.
- W1712138183 hasConcept C558565934 @default.
- W1712138183 hasConcept C73301696 @default.
- W1712138183 hasConceptScore W1712138183C108710211 @default.
- W1712138183 hasConceptScore W1712138183C115903868 @default.
- W1712138183 hasConceptScore W1712138183C142362112 @default.
- W1712138183 hasConceptScore W1712138183C153349607 @default.
- W1712138183 hasConceptScore W1712138183C199360897 @default.
- W1712138183 hasConceptScore W1712138183C203265346 @default.
- W1712138183 hasConceptScore W1712138183C2524010 @default.
- W1712138183 hasConceptScore W1712138183C33923547 @default.
- W1712138183 hasConceptScore W1712138183C41008148 @default.
- W1712138183 hasConceptScore W1712138183C558565934 @default.
- W1712138183 hasConceptScore W1712138183C73301696 @default.
- W1712138183 hasLocation W17121381831 @default.
- W1712138183 hasOpenAccess W1712138183 @default.
- W1712138183 hasPrimaryLocation W17121381831 @default.
- W1712138183 hasRelatedWork W131244977 @default.
- W1712138183 hasRelatedWork W1538087157 @default.
- W1712138183 hasRelatedWork W1754187263 @default.
- W1712138183 hasRelatedWork W2009035006 @default.
- W1712138183 hasRelatedWork W2011982562 @default.
- W1712138183 hasRelatedWork W2040217592 @default.
- W1712138183 hasRelatedWork W2085135663 @default.
- W1712138183 hasRelatedWork W2093025304 @default.
- W1712138183 hasRelatedWork W2093126548 @default.
- W1712138183 hasRelatedWork W2098909266 @default.
- W1712138183 hasRelatedWork W2117821791 @default.
- W1712138183 hasRelatedWork W2131966673 @default.
- W1712138183 hasRelatedWork W2141373560 @default.
- W1712138183 hasRelatedWork W2167909320 @default.
- W1712138183 hasRelatedWork W2258107226 @default.
- W1712138183 hasRelatedWork W2387058241 @default.
- W1712138183 hasRelatedWork W2466806069 @default.
- W1712138183 hasRelatedWork W2508430964 @default.
- W1712138183 hasRelatedWork W2545960051 @default.
- W1712138183 hasRelatedWork W3000815589 @default.
- W1712138183 isParatext "false" @default.
- W1712138183 isRetracted "false" @default.
- W1712138183 magId "1712138183" @default.
- W1712138183 workType "book-chapter" @default.