Matches in SemOpenAlex for { <https://semopenalex.org/work/W978016938> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W978016938 endingPage "65" @default.
- W978016938 startingPage "59" @default.
- W978016938 abstract "In this paper we try to introduce a new approach to operational semantics of recursive programs by using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu of modelling partial functions by introducing undefined values in a traditional approach,we shall define a priority derivation tree for every term,and by respecting thr rule“attacking the subtem of the highest priority first”we define transition relations,computation sequences etc.directly based on a standard interpretation whic includes no undefined value in its domain,Finally,we prove that our new approach generates the same opeational semantics as the traditional one.It is also pointed out that we can use our strategy oto refute a claim of Loeckx and Sieber that the opperational semantics of recursive programs cannot be built based on predicate logic." @default.
- W978016938 created "2016-06-24" @default.
- W978016938 creator A5056110976 @default.
- W978016938 date "1993-03-10" @default.
- W978016938 modified "2023-09-24" @default.
- W978016938 title "A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs" @default.
- W978016938 hasPublicationYear "1993" @default.
- W978016938 type Work @default.
- W978016938 sameAs 978016938 @default.
- W978016938 citedByCount "0" @default.
- W978016938 crossrefType "journal-article" @default.
- W978016938 hasAuthorship W978016938A5056110976 @default.
- W978016938 hasConcept C11413529 @default.
- W978016938 hasConcept C118615104 @default.
- W978016938 hasConcept C140146324 @default.
- W978016938 hasConcept C156325763 @default.
- W978016938 hasConcept C168773036 @default.
- W978016938 hasConcept C184337299 @default.
- W978016938 hasConcept C199360897 @default.
- W978016938 hasConcept C207648694 @default.
- W978016938 hasConcept C2780654840 @default.
- W978016938 hasConcept C29585364 @default.
- W978016938 hasConcept C33923547 @default.
- W978016938 hasConcept C41008148 @default.
- W978016938 hasConcept C527412718 @default.
- W978016938 hasConcept C80444323 @default.
- W978016938 hasConceptScore W978016938C11413529 @default.
- W978016938 hasConceptScore W978016938C118615104 @default.
- W978016938 hasConceptScore W978016938C140146324 @default.
- W978016938 hasConceptScore W978016938C156325763 @default.
- W978016938 hasConceptScore W978016938C168773036 @default.
- W978016938 hasConceptScore W978016938C184337299 @default.
- W978016938 hasConceptScore W978016938C199360897 @default.
- W978016938 hasConceptScore W978016938C207648694 @default.
- W978016938 hasConceptScore W978016938C2780654840 @default.
- W978016938 hasConceptScore W978016938C29585364 @default.
- W978016938 hasConceptScore W978016938C33923547 @default.
- W978016938 hasConceptScore W978016938C41008148 @default.
- W978016938 hasConceptScore W978016938C527412718 @default.
- W978016938 hasConceptScore W978016938C80444323 @default.
- W978016938 hasIssue "2" @default.
- W978016938 hasLocation W9780169381 @default.
- W978016938 hasOpenAccess W978016938 @default.
- W978016938 hasPrimaryLocation W9780169381 @default.
- W978016938 hasRelatedWork W1500011337 @default.
- W978016938 hasRelatedWork W1564355826 @default.
- W978016938 hasRelatedWork W1726322587 @default.
- W978016938 hasRelatedWork W1827200617 @default.
- W978016938 hasRelatedWork W2093207498 @default.
- W978016938 hasRelatedWork W2128448527 @default.
- W978016938 hasRelatedWork W2162194376 @default.
- W978016938 hasRelatedWork W2286436627 @default.
- W978016938 hasRelatedWork W2395005191 @default.
- W978016938 hasRelatedWork W2402953672 @default.
- W978016938 hasRelatedWork W2475479500 @default.
- W978016938 hasRelatedWork W2551539219 @default.
- W978016938 hasRelatedWork W2571793659 @default.
- W978016938 hasRelatedWork W2728676088 @default.
- W978016938 hasRelatedWork W2913846715 @default.
- W978016938 hasRelatedWork W2949814671 @default.
- W978016938 hasRelatedWork W3106114896 @default.
- W978016938 hasRelatedWork W48592798 @default.
- W978016938 hasRelatedWork W83956222 @default.
- W978016938 hasRelatedWork W2184103714 @default.
- W978016938 hasVolume "8" @default.
- W978016938 isParatext "false" @default.
- W978016938 isRetracted "false" @default.
- W978016938 magId "978016938" @default.
- W978016938 workType "article" @default.