Matches in SemOpenAlex for { <https://semopenalex.org/work/W4238128231> ?p ?o ?g. }
Showing items 1 to 32 of
32
with 100 items per page.
- W4238128231 abstract "interpretation introduced the notion of formal specification of program analyses. Denotational frameworks are convenient for reasoning about such specifications. However, implementation considerations make denotational specifications complex ..." @default.
- W4238128231 created "2022-05-12" @default.
- W4238128231 date "1989-06-21" @default.
- W4238128231 modified "2023-10-18" @default.
- W4238128231 title "Proceedings of the ACM SIGPLAN 1989 conference on Programming language design and implementation" @default.
- W4238128231 doi "https://doi.org/10.1145/73141" @default.
- W4238128231 hasPublicationYear "1989" @default.
- W4238128231 type Work @default.
- W4238128231 citedByCount "0" @default.
- W4238128231 crossrefType "proceedings" @default.
- W4238128231 hasConcept C115903868 @default.
- W4238128231 hasConcept C199360897 @default.
- W4238128231 hasConcept C41008148 @default.
- W4238128231 hasConceptScore W4238128231C115903868 @default.
- W4238128231 hasConceptScore W4238128231C199360897 @default.
- W4238128231 hasConceptScore W4238128231C41008148 @default.
- W4238128231 hasLocation W42381282311 @default.
- W4238128231 hasOpenAccess W4238128231 @default.
- W4238128231 hasPrimaryLocation W42381282311 @default.
- W4238128231 hasRelatedWork W2013111119 @default.
- W4238128231 hasRelatedWork W2047793074 @default.
- W4238128231 hasRelatedWork W2112962394 @default.
- W4238128231 hasRelatedWork W2118300983 @default.
- W4238128231 hasRelatedWork W2382501300 @default.
- W4238128231 hasRelatedWork W3137189469 @default.
- W4238128231 hasRelatedWork W3162240892 @default.
- W4238128231 hasRelatedWork W4235530921 @default.
- W4238128231 hasRelatedWork W4243252198 @default.
- W4238128231 hasRelatedWork W4245713008 @default.
- W4238128231 isParatext "false" @default.
- W4238128231 isRetracted "false" @default.
- W4238128231 workType "paratext" @default.