{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:13Z","timestamp":1725663253527},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:23:47Z","timestamp":1330176227000},"page":"497-511","source":"Crossref","is-referenced-by-count":6,"title":["Abstract interpretation and indeterminacy"],"prefix":"10.1007","author":[{"given":"Prakash","family":"Panangaden","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S. Semantic Foundations of Applicative Multiprogramming. In Diaz, J. (editor), Automata, Languages and Programming, pages 1\u201314. Springer-Verlag, July, 1983.","DOI":"10.1007\/BFb0036893"},{"key":"24_CR2","unstructured":"Arbib M. A., Manes E. G. Arrows, Structures and Functors. Academic press, 1975."},{"key":"24_CR3","first-page":"238","volume":"IV","author":"P. Cousot","year":"1977","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL IV:238\u2013252, Jan. 1977.","journal-title":"POPL"},{"key":"24_CR4","unstructured":"P. Cousot. Semantic Foundations of program analysis. Prentice-Hall, 1981, pages 303\u2013342."},{"key":"24_CR5","unstructured":"Kahn G. The Semantics of a Simple Language for Parallel Programming. In Proc. IFIP 1974, pages 471\u2013475. 1974."},{"key":"24_CR6","unstructured":"Kahn G., McQueen D. Coroutines and Networks of Parallel Processes. In B. Gilchrist (editor), Information Processing 77, pages 994\u2013998. 1977."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Karp R. M., Miller R. Parallel program schemata. JCSS, May, 1969.","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"24_CR8","first-page":"337","volume-title":"Formal Descriptions of Programming Concepts","author":"R. M. Keiler","year":"1978","unstructured":"Keiler R.M. Denotational Models for Parallel Programs With Indeterminate Operators. In E.J. Neuhold (editor), Formal Descriptions of Programming Concepts, pages 337\u2013365. North-Holland, Amsterdam, 1978."},{"key":"24_CR9","unstructured":"Keller R. M. Users' Manual for Function Equation Language. AMPS Technical Memorandum 7, U of Utah, July, 1983."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"P. Mishra, R. M. Keller. Static inference of properties of applicative programs. In POPL XI, Salt Lake City. January, 1984.","DOI":"10.1145\/800017.800535"},{"key":"24_CR11","unstructured":"A. Mycroft. Abstract Interpretation and Optimising Transformations for Applicative Programs. PhD thesis, University of Edinburgh, December, 1981."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Mycroft A. and Nielsen F. Strong Abstract Interpretation Using Powerdomains. In Diaz J. (editor), Automata, Languages and Programming, pages 536\u2013547. EATCS, July, 1983.","DOI":"10.1007\/BFb0036935"},{"key":"24_CR13","unstructured":"Panangaden P., Mishra P. A Category Theoretic formalism for Abstract Interpretation. Technical Report UUCS-84-005, University of Utah, May, 1984."},{"key":"24_CR14","unstructured":"Park D. The Fairness Problem and Nondeterministic Computing Networks. In Proc. 4th Advanced Course on Theoretical Computer Science. Mathematisch Centrum, 1982."},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Plotkin G. A Powerdomain Construction. SIAM J. of Computing 5(3), September, 1976.","DOI":"10.1137\/0205035"},{"key":"24_CR16","unstructured":"Tanaka J. and Keller R. M. S-code Extension in FEL. AMPS Technical Memorandum 10, U of Utah, July, 1983."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:44Z","timestamp":1605625724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}