FRINK Linked Data Fragments server

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

• W26172741 abstract "value . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 abstract value, example of . . . . . . . . . . . . . . . . . . . . 55 abstract value, vs. bits in modifies clause . . . . . . 58 abstraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 abstractness, of LSL trait . . . . . . . . . . . . . . . . . . . . . 33 acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 activating, literals in LP . . . . . . . . . . . . . . . . . . . . . . 49 Ada, Larch BISL for . . . . . . . . . . . . . . . . . . . . . . . 3, 53 ADT, BISL specification and traits . . . . . . . . . . . . 54 ADT, correctness of vs. trait . . . . . . . . . . . . . . . . . 55 ADT, i.e., an abstract data type . . . . . . . . . . . . . . 54 ADTs, specification of with finite values . . . . . . . 60 Alexander . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 algebraic model, of a trait . . . . . . . . . . . . . . . . . . . . 23 aliasing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 aliasing, and the modifies clause . . . . . . . . . . . . . . 58 aliasing, in a BISL specification . . . . . . . . . . . . . . . 62 ANSI C, Larch BISL for . . . . . . . . . . . . . . . . . . . . . . . 3 ASCII codes for LSL symbols . . . . . . . . . . . . . . . . . 38 assertions in LSL, tip for making them abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 asserts section, position of . . . . . . . . . . . . . . . . . . . . 17 assumes clause, position of . . . . . . . . . . . . . . . . . . . . 17 assumes clause, proof obligations in LP . . . . . . . . 51 assumes vs. includes . . . . . . . . . . . . . . . . . . . . . . . . . 17 assumption, about calls, specifying in a BISL . . 56 automatic proof techniques, in LP . . . . . . . . . . . . . 45 axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 Axioms file . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44" @default.
• W26172741 created "2016-06-24" @default.
• W26172741 creator A5014066009 @default.
• W26172741 date "2001-01-01" @default.
• W26172741 modified "2023-10-17" @default.
• W26172741 title "Larch Frequently Asked Questions" @default.
• W26172741 cites W1490574387 @default.
• W26172741 cites W1515386905 @default.
• W26172741 cites W1521083034 @default.
• W26172741 cites W1526544135 @default.
• W26172741 cites W1533592581 @default.
• W26172741 cites W1557729471 @default.
• W26172741 cites W1565791475 @default.
• W26172741 cites W1570665035 @default.
• W26172741 cites W1586167239 @default.
• W26172741 cites W1588324477 @default.
• W26172741 cites W1590828018 @default.
• W26172741 cites W1593874741 @default.
• W26172741 cites W1705210632 @default.
• W26172741 cites W174471988 @default.
• W26172741 cites W1759032052 @default.
• W26172741 cites W1943468401 @default.
• W26172741 cites W1970495662 @default.
• W26172741 cites W1987577768 @default.
• W26172741 cites W1988698742 @default.
• W26172741 cites W2005973420 @default.
• W26172741 cites W2010315125 @default.
• W26172741 cites W2011606665 @default.
• W26172741 cites W2013492611 @default.
• W26172741 cites W2052363833 @default.
• W26172741 cites W2063664916 @default.
• W26172741 cites W2073806869 @default.
• W26172741 cites W2077359497 @default.
• W26172741 cites W2077592849 @default.
• W26172741 cites W2091570652 @default.
• W26172741 cites W2097310563 @default.
• W26172741 cites W2098735459 @default.
• W26172741 cites W2099008194 @default.
• W26172741 cites W2099078002 @default.
• W26172741 cites W2107119495 @default.
• W26172741 cites W2110795198 @default.
• W26172741 cites W2112337853 @default.
• W26172741 cites W2118989230 @default.
• W26172741 cites W2121444793 @default.
• W26172741 cites W2122042218 @default.
• W26172741 cites W2129518651 @default.
• W26172741 cites W2134338128 @default.
• W26172741 cites W2144973245 @default.
• W26172741 cites W2159152974 @default.
• W26172741 cites W2160313886 @default.
• W26172741 cites W2165807079 @default.
• W26172741 cites W2168468191 @default.
• W26172741 cites W2170486381 @default.
• W26172741 cites W2171119274 @default.
• W26172741 cites W2295902379 @default.
• W26172741 cites W3022133274 @default.
• W26172741 cites W3023216518 @default.
• W26172741 cites W3023424425 @default.
• W26172741 cites W3146075203 @default.
• W26172741 cites W61720063 @default.
• W26172741 cites W97142819 @default.
• W26172741 hasPublicationYear "2001" @default.
• W26172741 type Work @default.
• W26172741 sameAs 26172741 @default.
• W26172741 citedByCount "0" @default.
• W26172741 crossrefType "journal-article" @default.
• W26172741 hasAuthorship W26172741A5014066009 @default.
• W26172741 hasConcept C105795698 @default.
• W26172741 hasConcept C118615104 @default.
• W26172741 hasConcept C167729594 @default.
• W26172741 hasConcept C199360897 @default.
• W26172741 hasConcept C2524010 @default.
• W26172741 hasConcept C2776291640 @default.
• W26172741 hasConcept C33923547 @default.
• W26172741 hasConcept C41008148 @default.
• W26172741 hasConcept C55439883 @default.
• W26172741 hasConcept C94375191 @default.
• W26172741 hasConceptScore W26172741C105795698 @default.
• W26172741 hasConceptScore W26172741C118615104 @default.
• W26172741 hasConceptScore W26172741C167729594 @default.
• W26172741 hasConceptScore W26172741C199360897 @default.
• W26172741 hasConceptScore W26172741C2524010 @default.
• W26172741 hasConceptScore W26172741C2776291640 @default.
• W26172741 hasConceptScore W26172741C33923547 @default.
• W26172741 hasConceptScore W26172741C41008148 @default.
• W26172741 hasConceptScore W26172741C55439883 @default.
• W26172741 hasConceptScore W26172741C94375191 @default.
• W26172741 hasLocation W261727411 @default.
• W26172741 hasOpenAccess W26172741 @default.
• W26172741 hasPrimaryLocation W261727411 @default.
• W26172741 hasRelatedWork W1536660600 @default.
• W26172741 hasRelatedWork W1538606085 @default.
• W26172741 hasRelatedWork W1540641846 @default.
• W26172741 hasRelatedWork W1552930717 @default.
• W26172741 hasRelatedWork W1571394659 @default.
• W26172741 hasRelatedWork W1826166329 @default.
• W26172741 hasRelatedWork W2081607157 @default.
• W26172741 hasRelatedWork W2095939327 @default.
• W26172741 hasRelatedWork W2151884108 @default.
• W26172741 hasRelatedWork W2177262821 @default.

• next