Matches in SemOpenAlex for { <https://semopenalex.org/work/W2410137150> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2410137150 endingPage "47" @default.
- W2410137150 startingPage "30" @default.
- W2410137150 abstract "Programming languages should be formally specified in order to reason about programs written in them. We show that, given two formally specified programming languages, it is possible to construct the formal semantics of an aggregated language, in which programs consist of pairs of programs from the initial languages. The construction is based on algebraic techniques and it can be used to reduce relational properties (such as equivalence of programs) to reachability properties (in the aggregated language)." @default.
- W2410137150 created "2016-06-24" @default.
- W2410137150 creator A5026036782 @default.
- W2410137150 creator A5052315997 @default.
- W2410137150 creator A5053878331 @default.
- W2410137150 creator A5066780988 @default.
- W2410137150 date "2015-01-01" @default.
- W2410137150 modified "2023-10-18" @default.
- W2410137150 title "A Theoretical Foundation for Programming Languages Aggregation" @default.
- W2410137150 cites W1479776502 @default.
- W2410137150 cites W1817234554 @default.
- W2410137150 cites W1983696848 @default.
- W2410137150 cites W1990653192 @default.
- W2410137150 cites W1993365229 @default.
- W2410137150 cites W1994644428 @default.
- W2410137150 cites W2000387514 @default.
- W2410137150 cites W2048417351 @default.
- W2410137150 cites W2095838677 @default.
- W2410137150 cites W2135652513 @default.
- W2410137150 cites W2259551671 @default.
- W2410137150 cites W2553515685 @default.
- W2410137150 cites W54802056 @default.
- W2410137150 doi "https://doi.org/10.1007/978-3-319-28114-8_3" @default.
- W2410137150 hasPublicationYear "2015" @default.
- W2410137150 type Work @default.
- W2410137150 sameAs 2410137150 @default.
- W2410137150 citedByCount "3" @default.
- W2410137150 countsByYear W24101371502015 @default.
- W2410137150 countsByYear W24101371502016 @default.
- W2410137150 countsByYear W24101371502020 @default.
- W2410137150 crossrefType "book-chapter" @default.
- W2410137150 hasAuthorship W2410137150A5026036782 @default.
- W2410137150 hasAuthorship W2410137150A5052315997 @default.
- W2410137150 hasAuthorship W2410137150A5053878331 @default.
- W2410137150 hasAuthorship W2410137150A5066780988 @default.
- W2410137150 hasBestOaLocation W24101371502 @default.
- W2410137150 hasConcept C118615104 @default.
- W2410137150 hasConcept C136643341 @default.
- W2410137150 hasConcept C184337299 @default.
- W2410137150 hasConcept C199305712 @default.
- W2410137150 hasConcept C199360897 @default.
- W2410137150 hasConcept C2780069185 @default.
- W2410137150 hasConcept C2780801425 @default.
- W2410137150 hasConcept C33923547 @default.
- W2410137150 hasConcept C34165917 @default.
- W2410137150 hasConcept C41008148 @default.
- W2410137150 hasConcept C80444323 @default.
- W2410137150 hasConceptScore W2410137150C118615104 @default.
- W2410137150 hasConceptScore W2410137150C136643341 @default.
- W2410137150 hasConceptScore W2410137150C184337299 @default.
- W2410137150 hasConceptScore W2410137150C199305712 @default.
- W2410137150 hasConceptScore W2410137150C199360897 @default.
- W2410137150 hasConceptScore W2410137150C2780069185 @default.
- W2410137150 hasConceptScore W2410137150C2780801425 @default.
- W2410137150 hasConceptScore W2410137150C33923547 @default.
- W2410137150 hasConceptScore W2410137150C34165917 @default.
- W2410137150 hasConceptScore W2410137150C41008148 @default.
- W2410137150 hasConceptScore W2410137150C80444323 @default.
- W2410137150 hasLocation W24101371501 @default.
- W2410137150 hasLocation W24101371502 @default.
- W2410137150 hasLocation W24101371503 @default.
- W2410137150 hasLocation W24101371504 @default.
- W2410137150 hasLocation W24101371505 @default.
- W2410137150 hasLocation W24101371506 @default.
- W2410137150 hasOpenAccess W2410137150 @default.
- W2410137150 hasPrimaryLocation W24101371501 @default.
- W2410137150 hasRelatedWork W1024151587 @default.
- W2410137150 hasRelatedWork W1973795410 @default.
- W2410137150 hasRelatedWork W2026235588 @default.
- W2410137150 hasRelatedWork W2094055450 @default.
- W2410137150 hasRelatedWork W2161156675 @default.
- W2410137150 hasRelatedWork W2623854567 @default.
- W2410137150 hasRelatedWork W29671655 @default.
- W2410137150 hasRelatedWork W2997582482 @default.
- W2410137150 hasRelatedWork W2999858054 @default.
- W2410137150 hasRelatedWork W2954318817 @default.
- W2410137150 isParatext "false" @default.
- W2410137150 isRetracted "false" @default.
- W2410137150 magId "2410137150" @default.
- W2410137150 workType "book-chapter" @default.