FRINK Linked Data Fragments server

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

• W2036241569 endingPage "81" @default.
• W2036241569 startingPage "45" @default.
• W2036241569 abstract "In this paper we study the semantics of the parameter passing mechanism in algebraic specification languages. More precisely, this problem is studied for parameterized data types and parameterized specifications. The given results include the extension of the model functor (which is useful for correctness proofs) and the semantic properties of the result of inserting actual parameters into parameterized specifications. In particular, actual parameters can be parameterized and the result is nested parameterized specification. Correctness of an applied ( matrix ( int )) or a nested ( bintree ( string ())) parameterized specification is shown given correctness of the parts. The formal theory in this paper is restricted to the basic algebraic case where only equations are allowed in the parameter declaration and parameter passing is given by specification morphisms. But we also give the main ideas of a corresponding theory with requirements where we allow different kinds of restrictions in the parameter declaration." @default.
• W2036241569 created "2016-06-24" @default.
• W2036241569 creator A5002594574 @default.
• W2036241569 creator A5013936281 @default.
• W2036241569 creator A5020857322 @default.
• W2036241569 creator A5042029979 @default.
• W2036241569 creator A5047495686 @default.
• W2036241569 date "1983-01-01" @default.
• W2036241569 modified "2023-09-30" @default.
• W2036241569 title "Parameter passing in algebraic specification languages" @default.
• W2036241569 cites W1495115051 @default.
• W2036241569 cites W1496280540 @default.
• W2036241569 cites W1496607686 @default.
• W2036241569 cites W1507387938 @default.
• W2036241569 cites W1529473589 @default.
• W2036241569 cites W1546025443 @default.
• W2036241569 cites W1550313408 @default.
• W2036241569 cites W1575385697 @default.
• W2036241569 cites W1588313821 @default.
• W2036241569 cites W1756661417 @default.
• W2036241569 cites W1761566145 @default.
• W2036241569 cites W1793864921 @default.
• W2036241569 cites W1835313181 @default.
• W2036241569 cites W2008395018 @default.
• W2036241569 cites W2054164849 @default.
• W2036241569 cites W2055364993 @default.
• W2036241569 cites W2073544767 @default.
• W2036241569 cites W2109576922 @default.
• W2036241569 cites W2120713972 @default.
• W2036241569 cites W2127421847 @default.
• W2036241569 cites W2156076209 @default.
• W2036241569 cites W2240187666 @default.
• W2036241569 cites W2491322531 @default.
• W2036241569 cites W2798613517 @default.
• W2036241569 cites W3127823229 @default.
• W2036241569 cites W3160136729 @default.
• W2036241569 cites W573296143 @default.
• W2036241569 doi "https://doi.org/10.1016/0304-3975(83)90065-8" @default.
• W2036241569 hasPublicationYear "1983" @default.
• W2036241569 type Work @default.
• W2036241569 sameAs 2036241569 @default.
• W2036241569 citedByCount "29" @default.
• W2036241569 crossrefType "journal-article" @default.
• W2036241569 hasAuthorship W2036241569A5002594574 @default.
• W2036241569 hasAuthorship W2036241569A5013936281 @default.
• W2036241569 hasAuthorship W2036241569A5020857322 @default.
• W2036241569 hasAuthorship W2036241569A5042029979 @default.
• W2036241569 hasAuthorship W2036241569A5047495686 @default.
• W2036241569 hasBestOaLocation W20362415691 @default.
• W2036241569 hasConcept C108710211 @default.
• W2036241569 hasConcept C11413529 @default.
• W2036241569 hasConcept C118615104 @default.
• W2036241569 hasConcept C134306372 @default.
• W2036241569 hasConcept C136119220 @default.
• W2036241569 hasConcept C156772000 @default.
• W2036241569 hasConcept C157486923 @default.
• W2036241569 hasConcept C165464430 @default.
• W2036241569 hasConcept C184337299 @default.
• W2036241569 hasConcept C199360897 @default.
• W2036241569 hasConcept C202444582 @default.
• W2036241569 hasConcept C2524010 @default.
• W2036241569 hasConcept C2779782106 @default.
• W2036241569 hasConcept C33923547 @default.
• W2036241569 hasConcept C37914503 @default.
• W2036241569 hasConcept C41008148 @default.
• W2036241569 hasConcept C55439883 @default.
• W2036241569 hasConcept C80444323 @default.
• W2036241569 hasConcept C9376300 @default.
• W2036241569 hasConceptScore W2036241569C108710211 @default.
• W2036241569 hasConceptScore W2036241569C11413529 @default.
• W2036241569 hasConceptScore W2036241569C118615104 @default.
• W2036241569 hasConceptScore W2036241569C134306372 @default.
• W2036241569 hasConceptScore W2036241569C136119220 @default.
• W2036241569 hasConceptScore W2036241569C156772000 @default.
• W2036241569 hasConceptScore W2036241569C157486923 @default.
• W2036241569 hasConceptScore W2036241569C165464430 @default.
• W2036241569 hasConceptScore W2036241569C184337299 @default.
• W2036241569 hasConceptScore W2036241569C199360897 @default.
• W2036241569 hasConceptScore W2036241569C202444582 @default.
• W2036241569 hasConceptScore W2036241569C2524010 @default.
• W2036241569 hasConceptScore W2036241569C2779782106 @default.
• W2036241569 hasConceptScore W2036241569C33923547 @default.
• W2036241569 hasConceptScore W2036241569C37914503 @default.
• W2036241569 hasConceptScore W2036241569C41008148 @default.
• W2036241569 hasConceptScore W2036241569C55439883 @default.
• W2036241569 hasConceptScore W2036241569C80444323 @default.
• W2036241569 hasConceptScore W2036241569C9376300 @default.
• W2036241569 hasIssue "1-2" @default.
• W2036241569 hasLocation W20362415691 @default.
• W2036241569 hasOpenAccess W2036241569 @default.
• W2036241569 hasPrimaryLocation W20362415691 @default.
• W2036241569 hasRelatedWork W1545848507 @default.
• W2036241569 hasRelatedWork W1556422878 @default.
• W2036241569 hasRelatedWork W1558874663 @default.
• W2036241569 hasRelatedWork W2079977998 @default.
• W2036241569 hasRelatedWork W2086460553 @default.
• W2036241569 hasRelatedWork W2734938181 @default.
• W2036241569 hasRelatedWork W2953390207 @default.

• next