Matches in SemOpenAlex for { <https://semopenalex.org/work/W1878147133> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1878147133 endingPage "131" @default.
- W1878147133 startingPage "117" @default.
- W1878147133 abstract "RML is a programming language intended for the implementation of Natural Semantics specifications. The basic procedural elements are relations: many-to-many mappings defined by a number of axioms or inference rules. It has control flow, logical variables and (explicit) unification as in Prolog; from ML it borrows a polymorphic type system, data structures, and pattern matching; a facility for separatelycompilable modules also exists. A simple prototype compiler, based on translating RML to Continuation-Passing Style and then to C, has been implemented. Benchmarks indicate that this compiler generates code that is several orders of magnitude faster than Typol, and two times faster than standard Prolog compilers." @default.
- W1878147133 created "2016-06-24" @default.
- W1878147133 creator A5058847710 @default.
- W1878147133 date "1994-01-01" @default.
- W1878147133 modified "2023-10-17" @default.
- W1878147133 title "RML — A new language and implementation for Natural Semantics" @default.
- W1878147133 cites W1507396723 @default.
- W1878147133 cites W1580664042 @default.
- W1878147133 cites W1583597026 @default.
- W1878147133 cites W1596403187 @default.
- W1878147133 cites W1971559523 @default.
- W1878147133 cites W1973162794 @default.
- W1878147133 cites W1979240050 @default.
- W1878147133 cites W1985058553 @default.
- W1878147133 cites W2082433897 @default.
- W1878147133 cites W2142401116 @default.
- W1878147133 cites W2912126004 @default.
- W1878147133 cites W4249903311 @default.
- W1878147133 cites W79760435 @default.
- W1878147133 doi "https://doi.org/10.1007/3-540-58402-1_10" @default.
- W1878147133 hasPublicationYear "1994" @default.
- W1878147133 type Work @default.
- W1878147133 sameAs 1878147133 @default.
- W1878147133 citedByCount "12" @default.
- W1878147133 countsByYear W18781471332022 @default.
- W1878147133 crossrefType "book-chapter" @default.
- W1878147133 hasAuthorship W1878147133A5058847710 @default.
- W1878147133 hasConcept C167729594 @default.
- W1878147133 hasConcept C169590947 @default.
- W1878147133 hasConcept C184337299 @default.
- W1878147133 hasConcept C199360897 @default.
- W1878147133 hasConcept C2524010 @default.
- W1878147133 hasConcept C33923547 @default.
- W1878147133 hasConcept C41008148 @default.
- W1878147133 hasConcept C80444323 @default.
- W1878147133 hasConcept C81721847 @default.
- W1878147133 hasConcept C88626702 @default.
- W1878147133 hasConcept C96146094 @default.
- W1878147133 hasConceptScore W1878147133C167729594 @default.
- W1878147133 hasConceptScore W1878147133C169590947 @default.
- W1878147133 hasConceptScore W1878147133C184337299 @default.
- W1878147133 hasConceptScore W1878147133C199360897 @default.
- W1878147133 hasConceptScore W1878147133C2524010 @default.
- W1878147133 hasConceptScore W1878147133C33923547 @default.
- W1878147133 hasConceptScore W1878147133C41008148 @default.
- W1878147133 hasConceptScore W1878147133C80444323 @default.
- W1878147133 hasConceptScore W1878147133C81721847 @default.
- W1878147133 hasConceptScore W1878147133C88626702 @default.
- W1878147133 hasConceptScore W1878147133C96146094 @default.
- W1878147133 hasLocation W18781471331 @default.
- W1878147133 hasOpenAccess W1878147133 @default.
- W1878147133 hasPrimaryLocation W18781471331 @default.
- W1878147133 hasRelatedWork W1516362967 @default.
- W1878147133 hasRelatedWork W1523769955 @default.
- W1878147133 hasRelatedWork W1822809263 @default.
- W1878147133 hasRelatedWork W2049583580 @default.
- W1878147133 hasRelatedWork W2088007073 @default.
- W1878147133 hasRelatedWork W22826074 @default.
- W1878147133 hasRelatedWork W233473761 @default.
- W1878147133 hasRelatedWork W4210498713 @default.
- W1878147133 hasRelatedWork W97485410 @default.
- W1878147133 hasRelatedWork W2473250120 @default.
- W1878147133 isParatext "false" @default.
- W1878147133 isRetracted "false" @default.
- W1878147133 magId "1878147133" @default.
- W1878147133 workType "book-chapter" @default.