Matches in SemOpenAlex for { <https://semopenalex.org/work/W1779319845> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1779319845 endingPage "144" @default.
- W1779319845 startingPage "129" @default.
- W1779319845 abstract "AbstractASL+ [SST92] is a kernel specification language with higher-order parametrisation for programs and specifications, based on a dependently typed λ-calculus. ASL+ has an institution-independent semantics, which leaves the underlying programming language and specification logic unspecified. To complete the definition, and in particular, to study the type checking problem for ASL+, the language ASL+FPC was conceived. It is a modified version of ASL+ for (mathcal{FPC}), and institution based on the paradigmatic programming calculus FPC. The institution (mathcal{FPC}) is notable for including sharing equations inside signatures, reminiscent of so-called manifest types or translucent sums in type systems for programming language modules [Ler94,HL94]. This allows type equalities to be propagated when composing modules. This paper introduces (mathcal{FPC}) and ASL+FPC and their type checking systems.KeywordsProgram LanguageParametrise ProgramType CheckTyping JudgementSignature MorphismThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1779319845 created "2016-06-24" @default.
- W1779319845 creator A5013254098 @default.
- W1779319845 date "2003-01-01" @default.
- W1779319845 modified "2023-10-16" @default.
- W1779319845 title "Type Checking Parametrised Programs and Specifications in ASL + FPC" @default.
- W1779319845 cites W1525829790 @default.
- W1779319845 cites W1541185175 @default.
- W1779319845 cites W1541593857 @default.
- W1779319845 cites W1549492320 @default.
- W1779319845 cites W1557649720 @default.
- W1779319845 cites W1567587382 @default.
- W1779319845 cites W1567910670 @default.
- W1779319845 cites W1989916808 @default.
- W1779319845 cites W2000825654 @default.
- W1779319845 cites W2010883554 @default.
- W1779319845 cites W2048569219 @default.
- W1779319845 cites W2053070172 @default.
- W1779319845 cites W2071749035 @default.
- W1779319845 cites W2113426200 @default.
- W1779319845 cites W2117351142 @default.
- W1779319845 cites W2133171398 @default.
- W1779319845 cites W2133639043 @default.
- W1779319845 cites W2167017930 @default.
- W1779319845 cites W4235602992 @default.
- W1779319845 doi "https://doi.org/10.1007/978-3-540-40020-2_7" @default.
- W1779319845 hasPublicationYear "2003" @default.
- W1779319845 type Work @default.
- W1779319845 sameAs 1779319845 @default.
- W1779319845 citedByCount "0" @default.
- W1779319845 crossrefType "book-chapter" @default.
- W1779319845 hasAuthorship W1779319845A5013254098 @default.
- W1779319845 hasBestOaLocation W17793198452 @default.
- W1779319845 hasConcept C118615104 @default.
- W1779319845 hasConcept C17744445 @default.
- W1779319845 hasConcept C184337299 @default.
- W1779319845 hasConcept C18903297 @default.
- W1779319845 hasConcept C199360897 @default.
- W1779319845 hasConcept C199539241 @default.
- W1779319845 hasConcept C2777299769 @default.
- W1779319845 hasConcept C2780510313 @default.
- W1779319845 hasConcept C33923547 @default.
- W1779319845 hasConcept C41008148 @default.
- W1779319845 hasConcept C42383842 @default.
- W1779319845 hasConcept C74193536 @default.
- W1779319845 hasConcept C80444323 @default.
- W1779319845 hasConcept C86803240 @default.
- W1779319845 hasConceptScore W1779319845C118615104 @default.
- W1779319845 hasConceptScore W1779319845C17744445 @default.
- W1779319845 hasConceptScore W1779319845C184337299 @default.
- W1779319845 hasConceptScore W1779319845C18903297 @default.
- W1779319845 hasConceptScore W1779319845C199360897 @default.
- W1779319845 hasConceptScore W1779319845C199539241 @default.
- W1779319845 hasConceptScore W1779319845C2777299769 @default.
- W1779319845 hasConceptScore W1779319845C2780510313 @default.
- W1779319845 hasConceptScore W1779319845C33923547 @default.
- W1779319845 hasConceptScore W1779319845C41008148 @default.
- W1779319845 hasConceptScore W1779319845C42383842 @default.
- W1779319845 hasConceptScore W1779319845C74193536 @default.
- W1779319845 hasConceptScore W1779319845C80444323 @default.
- W1779319845 hasConceptScore W1779319845C86803240 @default.
- W1779319845 hasLocation W17793198451 @default.
- W1779319845 hasLocation W17793198452 @default.
- W1779319845 hasOpenAccess W1779319845 @default.
- W1779319845 hasPrimaryLocation W17793198451 @default.
- W1779319845 hasRelatedWork W1563392290 @default.
- W1779319845 hasRelatedWork W1573172013 @default.
- W1779319845 hasRelatedWork W1576648414 @default.
- W1779319845 hasRelatedWork W1587224678 @default.
- W1779319845 hasRelatedWork W1778728081 @default.
- W1779319845 hasRelatedWork W2068737373 @default.
- W1779319845 hasRelatedWork W2099080307 @default.
- W1779319845 hasRelatedWork W2111594816 @default.
- W1779319845 hasRelatedWork W2520543580 @default.
- W1779319845 hasRelatedWork W27605384 @default.
- W1779319845 isParatext "false" @default.
- W1779319845 isRetracted "false" @default.
- W1779319845 magId "1779319845" @default.
- W1779319845 workType "book-chapter" @default.