{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:14Z","timestamp":1725455774235},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026820","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T05:29:45Z","timestamp":1132378185000},"page":"169-187","source":"Crossref","is-referenced-by-count":2,"title":["Uniform PERs and comportment analysis"],"prefix":"10.1007","author":[{"given":"Alan","family":"Mycroft","sequence":"first","affiliation":[]},{"given":"Kirsten Lackner","family":"Solberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"12_CR1","unstructured":"Nick Benton. Strictness Analysis of Functional Programs. PhD thesis, University of Cambridge, 1993. Available as Computer Laboratory Technical Report No. 309."},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0167-6423(86)90010-9","volume":"7","author":"G. L. Burn","year":"1986","unstructured":"Geoffrey L. Burn, Chris Hankin and Samson Abramsky. Strictness analysis for higher-order functions. Science of Computer Programming, 7:249\u2013278, 1986.","journal-title":"Science of Computer Programming"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Galois connections based abstract interpretation for strictness analysis. In D. Bj\u00f8rner, M. Broy and I. V. Pottosin, editors, Proceedings of the International Conference on Formal Methods in Programming and their Applications, LNCS 735, pages 98\u2013127, 1993. [Currently available via http:\/\/www.ens.fr\/\"cousot\/]","DOI":"10.1007\/BFb0039703"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Patrick Cousot and Radhia Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper. In Proceedings of the 1994 International Conference on Computer Languages, ICCL'94, pages 95\u2013112, IEEE Computer Society Press, 1994. [Currently available via http:\/\/www.ens.fr\/-cousot\/]","DOI":"10.1109\/ICCL.1994.288389"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Christine Ernoult and Alan Mycroft. Uniform ideals and strictness analysis. In ICALP 91, LNCS 510, 1991. [Currently available via http: \/\/www.cl. cam.ac.uk\/users\/am]","DOI":"10.1007\/3-540-54233-7_124"},{"key":"12_CR6","volume-title":"PhD thesis","author":"S. Hunt","year":"1991","unstructured":"Sebastian Hunt. Abstract Interpretation of Functional Languages: From Theory to Practice. PhD thesis, Imperial College, London, 1991."},{"key":"12_CR7","volume-title":"PhD thesis","author":"T. P. Jensen","year":"1992","unstructured":"Thomas P. Jensen. Abstract Interpretation in Logical Form. PhD thesis, Imperial College, London, 1992."},{"key":"12_CR8","unstructured":"Alan Mycroft. Abstract Interpretation and Optimising Transformation for Applicative programs. PhD thesis, University of Edinburgh, 1981."},{"key":"12_CR9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(89)90091-1","volume":"69","author":"F. Nielson","year":"1989","unstructured":"Flemming Nielson. Two-level semantics and abstract interpretation. Theoretical Computer Science, 69:117\u2013242, 1989.","journal-title":"Theoretical Computer Science"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Kirsten Lackner Solberg, Hanne R\u00fcs Nielson and Flemming Nielson. Strictness and totality analysis. In Proceedings of Static Analysis Symposium, LNCS 864, 1994.","DOI":"10.1007\/3-540-58485-4_55"},{"key":"12_CR11","unstructured":"Kirsten Lackner Solberg. Annotated Type Systems for Program Analysis. PhD thesis, Odense University, to appear."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Philip Wadler and John Hughes. Projections for strictness analysis. In Proceedings of Functional Programming Languages and Computer Architectures '87, LNCS 274, 1987.","DOI":"10.1007\/3-540-18317-5_21"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026820","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T19:52:36Z","timestamp":1549309956000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0026820","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}