Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038728872> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2038728872 endingPage "208" @default.
- W2038728872 startingPage "189" @default.
- W2038728872 abstract "The use of strong typing, exemplified in the Ascend modeling language, is a recent phenomenon in executable modeling languages for mathematical modeling. It is also one that has significant potential for improving the functionality of computer-based modeling environments. Besides being a strongly typed language, Ascend is unique in providing operators that allow dynamic type inference, a feature that has been shown to be useful in assisting model evolution and reuse. We develop formal semantics for the type system in Ascend—focusing on these operators—and analyze its mathematical and computational properties. We show that despite the strong interactions between various statements involving the operators, the language does possess certain desirable mathematical and computational properties. Further, our analysis identifies general issues in the design and implementation of type systems in mathematical modeling languages. The methods used in the article are applicable beyond Ascend to a class of typed modeling languages that may be developed in the future." @default.
- W2038728872 created "2016-06-24" @default.
- W2038728872 creator A5011824095 @default.
- W2038728872 creator A5070477996 @default.
- W2038728872 creator A5071782159 @default.
- W2038728872 date "1998-05-01" @default.
- W2038728872 modified "2023-10-14" @default.
- W2038728872 title "On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend" @default.
- W2038728872 cites W1496815773 @default.
- W2038728872 cites W1539436233 @default.
- W2038728872 cites W1597637726 @default.
- W2038728872 cites W1963954367 @default.
- W2038728872 cites W1964022656 @default.
- W2038728872 cites W1970584285 @default.
- W2038728872 cites W1970672740 @default.
- W2038728872 cites W1979801613 @default.
- W2038728872 cites W1988530797 @default.
- W2038728872 cites W1989493307 @default.
- W2038728872 cites W1990084052 @default.
- W2038728872 cites W2003150360 @default.
- W2038728872 cites W2005968860 @default.
- W2038728872 cites W2009553528 @default.
- W2038728872 cites W2016469042 @default.
- W2038728872 cites W2021269535 @default.
- W2038728872 cites W2027657506 @default.
- W2038728872 cites W2032376429 @default.
- W2038728872 cites W2060464616 @default.
- W2038728872 cites W2062573246 @default.
- W2038728872 cites W2069256165 @default.
- W2038728872 cites W2080111607 @default.
- W2038728872 cites W2125784002 @default.
- W2038728872 cites W2127099088 @default.
- W2038728872 cites W2130867404 @default.
- W2038728872 cites W2139831587 @default.
- W2038728872 cites W2143215109 @default.
- W2038728872 cites W2151561260 @default.
- W2038728872 cites W2155278486 @default.
- W2038728872 cites W2165322765 @default.
- W2038728872 cites W2915305438 @default.
- W2038728872 cites W4232598359 @default.
- W2038728872 cites W4236476618 @default.
- W2038728872 doi "https://doi.org/10.1287/ijoc.10.2.189" @default.
- W2038728872 hasPublicationYear "1998" @default.
- W2038728872 type Work @default.
- W2038728872 sameAs 2038728872 @default.
- W2038728872 citedByCount "5" @default.
- W2038728872 countsByYear W20387288722013 @default.
- W2038728872 countsByYear W20387288722016 @default.
- W2038728872 crossrefType "journal-article" @default.
- W2038728872 hasAuthorship W2038728872A5011824095 @default.
- W2038728872 hasAuthorship W2038728872A5070477996 @default.
- W2038728872 hasAuthorship W2038728872A5071782159 @default.
- W2038728872 hasConcept C146072743 @default.
- W2038728872 hasConcept C156325763 @default.
- W2038728872 hasConcept C160145156 @default.
- W2038728872 hasConcept C179603123 @default.
- W2038728872 hasConcept C184337299 @default.
- W2038728872 hasConcept C199360897 @default.
- W2038728872 hasConcept C2777904410 @default.
- W2038728872 hasConcept C41008148 @default.
- W2038728872 hasConcept C80444323 @default.
- W2038728872 hasConceptScore W2038728872C146072743 @default.
- W2038728872 hasConceptScore W2038728872C156325763 @default.
- W2038728872 hasConceptScore W2038728872C160145156 @default.
- W2038728872 hasConceptScore W2038728872C179603123 @default.
- W2038728872 hasConceptScore W2038728872C184337299 @default.
- W2038728872 hasConceptScore W2038728872C199360897 @default.
- W2038728872 hasConceptScore W2038728872C2777904410 @default.
- W2038728872 hasConceptScore W2038728872C41008148 @default.
- W2038728872 hasConceptScore W2038728872C80444323 @default.
- W2038728872 hasIssue "2" @default.
- W2038728872 hasLocation W20387288721 @default.
- W2038728872 hasOpenAccess W2038728872 @default.
- W2038728872 hasPrimaryLocation W20387288721 @default.
- W2038728872 hasRelatedWork W12785170 @default.
- W2038728872 hasRelatedWork W1545904676 @default.
- W2038728872 hasRelatedWork W1606017899 @default.
- W2038728872 hasRelatedWork W1855927527 @default.
- W2038728872 hasRelatedWork W1981466053 @default.
- W2038728872 hasRelatedWork W2119715846 @default.
- W2038728872 hasRelatedWork W2288921482 @default.
- W2038728872 hasRelatedWork W2748872428 @default.
- W2038728872 hasRelatedWork W27605384 @default.
- W2038728872 hasRelatedWork W3145431186 @default.
- W2038728872 hasVolume "10" @default.
- W2038728872 isParatext "false" @default.
- W2038728872 isRetracted "false" @default.
- W2038728872 magId "2038728872" @default.
- W2038728872 workType "article" @default.