Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034948780> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2034948780 abstract "The concept of imbedding a programming language L into a formal system is introduced and used as the basis of defining the semantics Θ of the language. Θ is an operator which maps a program p in L onto a function. The pair (L, Θ) is called a programming system. If (L, Θ) and (L,' Θ') are two programming systems, a mapping Γ from L into L' is called a compiler. A compiler is said to be correct if Θ'(Γ(p)) = Θ(p) for p in L. These ideas are illustrated in terms of two programming systems, one for recursive functions and the other for Turing machines." @default.
- W2034948780 created "2016-06-24" @default.
- W2034948780 creator A5017526693 @default.
- W2034948780 date "1969-01-01" @default.
- W2034948780 modified "2023-09-27" @default.
- W2034948780 title "Towards a theory of semantics and compilers for programming languages" @default.
- W2034948780 cites W1483568252 @default.
- W2034948780 cites W1981789328 @default.
- W2034948780 cites W2065953381 @default.
- W2034948780 cites W2094542439 @default.
- W2034948780 cites W2107437354 @default.
- W2034948780 cites W2117832390 @default.
- W2034948780 cites W2530006810 @default.
- W2034948780 cites W2752853835 @default.
- W2034948780 cites W2797656628 @default.
- W2034948780 doi "https://doi.org/10.1145/800169.805436" @default.
- W2034948780 hasPublicationYear "1969" @default.
- W2034948780 type Work @default.
- W2034948780 sameAs 2034948780 @default.
- W2034948780 citedByCount "0" @default.
- W2034948780 crossrefType "proceedings-article" @default.
- W2034948780 hasAuthorship W2034948780A5017526693 @default.
- W2034948780 hasBestOaLocation W20349487801 @default.
- W2034948780 hasConcept C169590947 @default.
- W2034948780 hasConcept C184337299 @default.
- W2034948780 hasConcept C18701968 @default.
- W2034948780 hasConcept C199305712 @default.
- W2034948780 hasConcept C199360897 @default.
- W2034948780 hasConcept C34165917 @default.
- W2034948780 hasConcept C41008148 @default.
- W2034948780 hasConcept C9870796 @default.
- W2034948780 hasConcept C9957790 @default.
- W2034948780 hasConceptScore W2034948780C169590947 @default.
- W2034948780 hasConceptScore W2034948780C184337299 @default.
- W2034948780 hasConceptScore W2034948780C18701968 @default.
- W2034948780 hasConceptScore W2034948780C199305712 @default.
- W2034948780 hasConceptScore W2034948780C199360897 @default.
- W2034948780 hasConceptScore W2034948780C34165917 @default.
- W2034948780 hasConceptScore W2034948780C41008148 @default.
- W2034948780 hasConceptScore W2034948780C9870796 @default.
- W2034948780 hasConceptScore W2034948780C9957790 @default.
- W2034948780 hasLocation W20349487801 @default.
- W2034948780 hasOpenAccess W2034948780 @default.
- W2034948780 hasPrimaryLocation W20349487801 @default.
- W2034948780 hasRelatedWork W1497385637 @default.
- W2034948780 hasRelatedWork W2004605222 @default.
- W2034948780 hasRelatedWork W2017260672 @default.
- W2034948780 hasRelatedWork W2034948780 @default.
- W2034948780 hasRelatedWork W2096324855 @default.
- W2034948780 hasRelatedWork W2192862863 @default.
- W2034948780 hasRelatedWork W2369288331 @default.
- W2034948780 hasRelatedWork W2382501300 @default.
- W2034948780 hasRelatedWork W2522590477 @default.
- W2034948780 hasRelatedWork W2467097043 @default.
- W2034948780 isParatext "false" @default.
- W2034948780 isRetracted "false" @default.
- W2034948780 magId "2034948780" @default.
- W2034948780 workType "article" @default.