Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567450112> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1567450112 endingPage "260" @default.
- W1567450112 startingPage "228" @default.
- W1567450112 abstract "The theory of abstract interpretation, initially developed by the Cousot’s for imperative languages has been adapted to logic programming where it has become a very active area of research, illustrated by the list of references in the survey paper (CoC92b). It has reached a level of maturity where it is included as an optimisation tool in some prototype implementations of Prolog. In recent years, also abstract interpretation of constraint logic programming has been studied. Abstract interpretation is an area where the majority of publications is very technical in nature. This tutorial aims at making the topic more accessible to newcomers. Therefore, we have tried to present the main intuitions in a rather informal way. We have preferred informal accounts above very precise but rigid and hard to penetrate formalism. The paper is not a survey, so although we give some entry points to the literature, we have not aimed at completeness." @default.
- W1567450112 created "2016-06-24" @default.
- W1567450112 creator A5004343076 @default.
- W1567450112 creator A5035890165 @default.
- W1567450112 date "1994-01-01" @default.
- W1567450112 modified "2023-10-18" @default.
- W1567450112 title "Abstract Interpretation for (Constraint) Logic Programming" @default.
- W1567450112 cites W1536363973 @default.
- W1567450112 cites W1568478782 @default.
- W1567450112 cites W1965377774 @default.
- W1567450112 cites W2017122484 @default.
- W1567450112 cites W2031373197 @default.
- W1567450112 cites W2074516823 @default.
- W1567450112 cites W207722629 @default.
- W1567450112 cites W2079482412 @default.
- W1567450112 cites W2081810835 @default.
- W1567450112 cites W2084875723 @default.
- W1567450112 cites W2100264125 @default.
- W1567450112 cites W2132661148 @default.
- W1567450112 doi "https://doi.org/10.1007/978-3-642-85983-0_9" @default.
- W1567450112 hasPublicationYear "1994" @default.
- W1567450112 type Work @default.
- W1567450112 sameAs 1567450112 @default.
- W1567450112 citedByCount "7" @default.
- W1567450112 crossrefType "book-chapter" @default.
- W1567450112 hasAuthorship W1567450112A5004343076 @default.
- W1567450112 hasAuthorship W1567450112A5035890165 @default.
- W1567450112 hasBestOaLocation W15674501122 @default.
- W1567450112 hasConcept C105795698 @default.
- W1567450112 hasConcept C128838566 @default.
- W1567450112 hasConcept C134306372 @default.
- W1567450112 hasConcept C137631369 @default.
- W1567450112 hasConcept C142362112 @default.
- W1567450112 hasConcept C153349607 @default.
- W1567450112 hasConcept C154945302 @default.
- W1567450112 hasConcept C17231256 @default.
- W1567450112 hasConcept C173404611 @default.
- W1567450112 hasConcept C176783269 @default.
- W1567450112 hasConcept C199360897 @default.
- W1567450112 hasConcept C26713055 @default.
- W1567450112 hasConcept C2780654840 @default.
- W1567450112 hasConcept C33923547 @default.
- W1567450112 hasConcept C41008148 @default.
- W1567450112 hasConcept C44616089 @default.
- W1567450112 hasConcept C49937458 @default.
- W1567450112 hasConcept C527412718 @default.
- W1567450112 hasConcept C558565934 @default.
- W1567450112 hasConcept C73301696 @default.
- W1567450112 hasConcept C80444323 @default.
- W1567450112 hasConcept C81721847 @default.
- W1567450112 hasConceptScore W1567450112C105795698 @default.
- W1567450112 hasConceptScore W1567450112C128838566 @default.
- W1567450112 hasConceptScore W1567450112C134306372 @default.
- W1567450112 hasConceptScore W1567450112C137631369 @default.
- W1567450112 hasConceptScore W1567450112C142362112 @default.
- W1567450112 hasConceptScore W1567450112C153349607 @default.
- W1567450112 hasConceptScore W1567450112C154945302 @default.
- W1567450112 hasConceptScore W1567450112C17231256 @default.
- W1567450112 hasConceptScore W1567450112C173404611 @default.
- W1567450112 hasConceptScore W1567450112C176783269 @default.
- W1567450112 hasConceptScore W1567450112C199360897 @default.
- W1567450112 hasConceptScore W1567450112C26713055 @default.
- W1567450112 hasConceptScore W1567450112C2780654840 @default.
- W1567450112 hasConceptScore W1567450112C33923547 @default.
- W1567450112 hasConceptScore W1567450112C41008148 @default.
- W1567450112 hasConceptScore W1567450112C44616089 @default.
- W1567450112 hasConceptScore W1567450112C49937458 @default.
- W1567450112 hasConceptScore W1567450112C527412718 @default.
- W1567450112 hasConceptScore W1567450112C558565934 @default.
- W1567450112 hasConceptScore W1567450112C73301696 @default.
- W1567450112 hasConceptScore W1567450112C80444323 @default.
- W1567450112 hasConceptScore W1567450112C81721847 @default.
- W1567450112 hasLocation W15674501121 @default.
- W1567450112 hasLocation W15674501122 @default.
- W1567450112 hasLocation W15674501123 @default.
- W1567450112 hasOpenAccess W1567450112 @default.
- W1567450112 hasPrimaryLocation W15674501121 @default.
- W1567450112 hasRelatedWork W1490546714 @default.
- W1567450112 hasRelatedWork W1537272321 @default.
- W1567450112 hasRelatedWork W1586892155 @default.
- W1567450112 hasRelatedWork W1596719193 @default.
- W1567450112 hasRelatedWork W1597816451 @default.
- W1567450112 hasRelatedWork W1602018908 @default.
- W1567450112 hasRelatedWork W2007301302 @default.
- W1567450112 hasRelatedWork W2013770038 @default.
- W1567450112 hasRelatedWork W2620874880 @default.
- W1567450112 hasRelatedWork W4293391431 @default.
- W1567450112 isParatext "false" @default.
- W1567450112 isRetracted "false" @default.
- W1567450112 magId "1567450112" @default.
- W1567450112 workType "book-chapter" @default.