Infinite executions of lazy and strict computations
Saved in:
| Published in: | Journal of logical and algebraic methods in programming Vol. 84; no. 3; pp. 326 - 340 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
01.05.2015
|
| ISSN: | 2352-2208 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Guttmann, Walter |
|---|---|
| Author_xml | – sequence: 1 givenname: Walter orcidid: 0000-0003-2969-1688 surname: Guttmann fullname: Guttmann, Walter |
| BookMark | eNp9j71qwzAUhTWk0DTNE3TRC9i9-o08ltCfQKBLOwtVlkDGlo2kQNOnr5N06pDpwrl8h_PdoUUco0PogUBNgMjHru56M0w1BcJrUDUAWaAlZYJWlIK6ReucO5hTqTaKkSViu-hDDMVh9-3soYQxZjx63JufIzaxxbmkYAu24zAdijn_79GNN31267-7Qp8vzx_bt2r__rrbPu0rS3lTKiKZE4IrSZR37RdjrJGeU9KwVoEBkMoTgI1XtvGCCdWCVdJwR6hw3LGWrVBz6bVpzDk5r224TCjJhF4T0Cdp3emztD5Ja1B61ptZ9o-dUhhMOl6lfgHdoWB6 |
| CitedBy_id | crossref_primary_10_1016_j_jlamp_2015_11_009 |
| Cites_doi | 10.1016/j.jlap.2009.07.002 10.1145/343369.343378 10.2307/2268577 10.1007/s002360050163 10.1016/j.scico.2006.01.010 10.1007/s00236-012-0162-2 10.1016/j.scico.2003.09.002 10.1145/363235.363259 10.1145/1183278.1183285 10.14236/ewic/IWFM2001.1 10.1145/69558.69559 10.1016/j.tcs.2005.09.069 10.1006/inco.1994.1037 10.1145/256167.256195 10.1016/j.scico.2012.07.009 10.1007/BF00290146 10.1016/0304-3975(86)90172-6 10.1016/j.jlap.2010.07.015 10.1016/0304-3975(95)00082-8 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2014.08.001 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 340 |
| ExternalDocumentID | 10_1016_j_jlamp_2014_08_001 |
| GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AATTM AAXKI AAXUO AAYFN AAYWO AAYXX ABBOA ABJNI ABMAC ABXDB ACDAQ ACGFS ACLOT ACRLP ACVFH ADBBV ADCNI ADEZE ADVLN AEBSH AEIPS AEKER AENEX AEUPX AFJKZ AFPUW AFTJW AGHFR AGUBO AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD AXJTR BKOJK BLXMC CITATION EBS EFJIC EFKBS EFLBG EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 O9- OAUVE ROL SPC SPCBC SSV SSZ T5K ~G- |
| ID | FETCH-LOGICAL-c249t-163e5548618fedb33396f42193d80a0068f1007f8c9f5358d0c86a4e125e4e3d3 |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000353093100004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2352-2208 |
| IngestDate | Sat Nov 29 01:44:43 EST 2025 Tue Nov 18 20:54:30 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c249t-163e5548618fedb33396f42193d80a0068f1007f8c9f5358d0c86a4e125e4e3d3 |
| ORCID | 0000-0003-2969-1688 |
| PageCount | 15 |
| ParticipantIDs | crossref_citationtrail_10_1016_j_jlamp_2014_08_001 crossref_primary_10_1016_j_jlamp_2014_08_001 |
| PublicationCentury | 2000 |
| PublicationDate | 2015-05-01 |
| PublicationDateYYYYMMDD | 2015-05-01 |
| PublicationDate_xml | – month: 05 year: 2015 text: 2015-05-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2015 |
| References | Kozen (10.1016/j.jlamp.2014.08.001_br0280) 1997; 19 Nipkow (10.1016/j.jlamp.2014.08.001_br0380) 2002; vol. 2283 Möller (10.1016/j.jlamp.2014.08.001_br0330) 2006; vol. 4014 Dunne (10.1016/j.jlamp.2014.08.001_br0120) 2001 Tarski (10.1016/j.jlamp.2014.08.001_br0410) 1941; 6 Berghammer (10.1016/j.jlamp.2014.08.001_br0030) 1986; 43 Blanchette (10.1016/j.jlamp.2014.08.001_br0050) 2011; vol. 6803 Guttmann (10.1016/j.jlamp.2014.08.001_br0130) 2006; vol. 3929 Möller (10.1016/j.jlamp.2014.08.001_br0350) 2006; 351 Maddux (10.1016/j.jlamp.2014.08.001_br0310) 1996; 160 De Carufel (10.1016/j.jlamp.2014.08.001_br0070) 2006; vol. 4136 Desharnais (10.1016/j.jlamp.2014.08.001_br0100) 2006; 7 Hoare (10.1016/j.jlamp.2014.08.001_br0250) 1998 Kozen (10.1016/j.jlamp.2014.08.001_br0300) 2000; 1 Schmidt (10.1016/j.jlamp.2014.08.001_br0400) 1989 Kozen (10.1016/j.jlamp.2014.08.001_br0290) 1998 Blanchette (10.1016/j.jlamp.2014.08.001_br0060) 2010; vol. 6172 Guttmann (10.1016/j.jlamp.2014.08.001_br0210) 2013; 78 Möller (10.1016/j.jlamp.2014.08.001_br0360) 2006; vol. 3929 Dijkstra (10.1016/j.jlamp.2014.08.001_br0110) 1976 Cohen (10.1016/j.jlamp.2014.08.001_br0080) 2000; vol. 1837 Guttmann (10.1016/j.jlamp.2014.08.001_br0200) 2012; vol. 7560 Nelson (10.1016/j.jlamp.2014.08.001_br0370) 1989; 11 Back (10.1016/j.jlamp.2014.08.001_br0010) 1999; 36 de Bakker (10.1016/j.jlamp.2014.08.001_br0020) 1976 Kozen (10.1016/j.jlamp.2014.08.001_br0270) 1994; 110 Guttmann (10.1016/j.jlamp.2014.08.001_br0150) 2010; 79 Guttmann (10.1016/j.jlamp.2014.08.001_br0160) 2010; vol. 6120 Möller (10.1016/j.jlamp.2014.08.001_br0340) 2007; 65 Conway (10.1016/j.jlamp.2014.08.001_br0090) 1971 McCune (10.1016/j.jlamp.2014.08.001_br0320) 2003 Jacobs (10.1016/j.jlamp.2014.08.001_br0260) 1985; 22 Hoare (10.1016/j.jlamp.2014.08.001_br0240) 1969; 12 von Wright (10.1016/j.jlamp.2014.08.001_br0420) 2004; 51 Birkhoff (10.1016/j.jlamp.2014.08.001_br0040) 1967; vol. XXV Guttmann (10.1016/j.jlamp.2014.08.001_br0180) 2011; vol. 6663 Guttmann (10.1016/j.jlamp.2014.08.001_br0220) 2010; 79 Guttmann (10.1016/j.jlamp.2014.08.001_br0140) 2009; vol. 5827 Guttmann (10.1016/j.jlamp.2014.08.001_br0190) 2012; 49 Hayes (10.1016/j.jlamp.2014.08.001_br0230) 2010; vol. 6120 Guttmann (10.1016/j.jlamp.2014.08.001_br0170) 2010; vol. 6445 Paulson (10.1016/j.jlamp.2014.08.001_br0390) 2010 |
| References_xml | – volume: 79 start-page: 144 issue: 2 year: 2010 ident: 10.1016/j.jlamp.2014.08.001_br0220 article-title: Normal design algebra publication-title: J. Log. Algebr. Program. doi: 10.1016/j.jlap.2009.07.002 – start-page: 3 year: 2010 ident: 10.1016/j.jlamp.2014.08.001_br0390 article-title: Three years of experience with Sledgehammer, a practical link between automatic and interactive theorem provers – volume: vol. 3929 start-page: 108 year: 2006 ident: 10.1016/j.jlamp.2014.08.001_br0130 article-title: Non-termination in Unifying Theories of Programming – volume: vol. 7560 start-page: 17 year: 2012 ident: 10.1016/j.jlamp.2014.08.001_br0200 article-title: Unifying lazy and strict computations – volume: 1 start-page: 60 issue: 1 year: 2000 ident: 10.1016/j.jlamp.2014.08.001_br0300 article-title: On Hoare logic and Kleene algebra with tests publication-title: ACM Trans. Comput. Log. doi: 10.1145/343369.343378 – volume: vol. 4014 start-page: 338 year: 2006 ident: 10.1016/j.jlamp.2014.08.001_br0330 article-title: The linear algebra of UTP – volume: vol. 1837 start-page: 45 year: 2000 ident: 10.1016/j.jlamp.2014.08.001_br0080 article-title: Separation and reduction – volume: 6 start-page: 73 issue: 3 year: 1941 ident: 10.1016/j.jlamp.2014.08.001_br0410 article-title: On the calculus of relations publication-title: J. Symb. Log. doi: 10.2307/2268577 – year: 1976 ident: 10.1016/j.jlamp.2014.08.001_br0110 – year: 1989 ident: 10.1016/j.jlamp.2014.08.001_br0400 – volume: 36 start-page: 295 issue: 4 year: 1999 ident: 10.1016/j.jlamp.2014.08.001_br0010 article-title: Reasoning algebraically about loops publication-title: Acta Inform. doi: 10.1007/s002360050163 – volume: 65 start-page: 195 issue: 2 year: 2007 ident: 10.1016/j.jlamp.2014.08.001_br0340 article-title: Kleene getting lazy publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2006.01.010 – volume: vol. XXV year: 1967 ident: 10.1016/j.jlamp.2014.08.001_br0040 article-title: Lattice Theory – volume: vol. 6172 start-page: 131 year: 2010 ident: 10.1016/j.jlamp.2014.08.001_br0060 article-title: Nitpick: a counterexample generator for higher-order logic based on a relational model finder – start-page: 435 year: 1976 ident: 10.1016/j.jlamp.2014.08.001_br0020 article-title: Semantics and termination of nondeterministic recursive programs – volume: vol. 5827 start-page: 150 year: 2009 ident: 10.1016/j.jlamp.2014.08.001_br0140 article-title: General correctness algebra – volume: vol. 6120 start-page: 178 year: 2010 ident: 10.1016/j.jlamp.2014.08.001_br0230 article-title: Unifying theories of programming that distinguish nontermination and abort – volume: vol. 3929 start-page: 200 year: 2006 ident: 10.1016/j.jlamp.2014.08.001_br0360 article-title: WP is WLP – volume: 49 start-page: 343 issue: 5 year: 2012 ident: 10.1016/j.jlamp.2014.08.001_br0190 article-title: Algebras for iteration and infinite computations publication-title: Acta Inform. doi: 10.1007/s00236-012-0162-2 – volume: 51 start-page: 23 issue: 1–2 year: 2004 ident: 10.1016/j.jlamp.2014.08.001_br0420 article-title: Towards a refinement algebra publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2003.09.002 – volume: vol. 4136 start-page: 120 year: 2006 ident: 10.1016/j.jlamp.2014.08.001_br0070 article-title: Demonic algebra with domain – volume: 12 start-page: 576 issue: 10 year: 1969 ident: 10.1016/j.jlamp.2014.08.001_br0240 article-title: An axiomatic basis for computer programming publication-title: Commun. ACM doi: 10.1145/363235.363259 – volume: vol. 6663 start-page: 196 year: 2011 ident: 10.1016/j.jlamp.2014.08.001_br0180 article-title: Towards a typed omega algebra – volume: 7 start-page: 798 issue: 4 year: 2006 ident: 10.1016/j.jlamp.2014.08.001_br0100 article-title: Kleene algebra with domain publication-title: ACM Trans. Comput. Log. doi: 10.1145/1183278.1183285 – year: 2001 ident: 10.1016/j.jlamp.2014.08.001_br0120 article-title: Recasting Hoare and He's Unifying Theory of Programs in the context of general correctness doi: 10.14236/ewic/IWFM2001.1 – volume: 11 start-page: 517 issue: 4 year: 1989 ident: 10.1016/j.jlamp.2014.08.001_br0370 article-title: A generalization of Dijkstra's calculus publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/69558.69559 – year: 1998 ident: 10.1016/j.jlamp.2014.08.001_br0290 – volume: vol. 6803 start-page: 116 year: 2011 ident: 10.1016/j.jlamp.2014.08.001_br0050 article-title: Extending Sledgehammer with SMT solvers – volume: 351 start-page: 221 issue: 2 year: 2006 ident: 10.1016/j.jlamp.2014.08.001_br0350 article-title: Algebras of modal operators and partial correctness publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2005.09.069 – volume: 110 start-page: 366 issue: 2 year: 1994 ident: 10.1016/j.jlamp.2014.08.001_br0270 article-title: A completeness theorem for Kleene algebras and the algebra of regular events publication-title: Inf. Comput. doi: 10.1006/inco.1994.1037 – volume: 19 start-page: 427 issue: 3 year: 1997 ident: 10.1016/j.jlamp.2014.08.001_br0280 article-title: Kleene algebra with tests publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/256167.256195 – year: 2003 ident: 10.1016/j.jlamp.2014.08.001_br0320 – volume: vol. 2283 year: 2002 ident: 10.1016/j.jlamp.2014.08.001_br0380 article-title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic – year: 1971 ident: 10.1016/j.jlamp.2014.08.001_br0090 – volume: vol. 6120 start-page: 157 year: 2010 ident: 10.1016/j.jlamp.2014.08.001_br0160 article-title: Partial, total and general correctness – volume: vol. 6445 start-page: 207 year: 2010 ident: 10.1016/j.jlamp.2014.08.001_br0170 article-title: Unifying recursion in partial, total and general correctness – volume: 78 start-page: 2064 issue: 11 year: 2013 ident: 10.1016/j.jlamp.2014.08.001_br0210 article-title: Extended designs algebraically publication-title: Sci. Comput. Program. doi: 10.1016/j.scico.2012.07.009 – volume: 22 start-page: 67 issue: 1 year: 1985 ident: 10.1016/j.jlamp.2014.08.001_br0260 article-title: General correctness: a unification of partial and total correctness publication-title: Acta Inform. doi: 10.1007/BF00290146 – volume: 43 start-page: 123 year: 1986 ident: 10.1016/j.jlamp.2014.08.001_br0030 article-title: Relational algebraic semantics of deterministic and nondeterministic programs publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(86)90172-6 – volume: 79 start-page: 768 issue: 8 year: 2010 ident: 10.1016/j.jlamp.2014.08.001_br0150 article-title: Imperative abstractions for functional actions publication-title: J. Log. Algebr. Program. doi: 10.1016/j.jlap.2010.07.015 – year: 1998 ident: 10.1016/j.jlamp.2014.08.001_br0250 – volume: 160 start-page: 1 issue: 1–2 year: 1996 ident: 10.1016/j.jlamp.2014.08.001_br0310 article-title: Relation-algebraic semantics publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(95)00082-8 |
| SSID | ssj0001687831 |
| Score | 1.9537932 |
| SourceID | crossref |
| SourceType | Enrichment Source Index Database |
| StartPage | 326 |
| Title | Infinite executions of lazy and strict computations |
| Volume | 84 |
| WOSCitedRecordID | wos000353093100004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 issn: 2352-2208 databaseCode: AIEXJ dateStart: 20140301 customDbUrl: isFulltext: true dateEnd: 20180131 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0001687831 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV27TuQwFLXQQEEDuzzEY1m52JIgx3aSmxIhEFCgLVgxXZRxbDSjISDIIMTXc_1IJjASgmIbK7IS53Gc6xvn-BxC_hjGKkw0VATpKI9kCXEEOjaRUaNUpzzTSVI5s4ns6gqGw_xvcNt8cnYCWV3Dy0v-8F-hxjoE2y6d_QbcXaNYgdsIOpYIO5ZfAv6iNmObSFo3JTXriG7T8tVLLVmjDtU4Lvms6c3XLWaobVh0eq7TW_uLeayC57Snn3ty1107_Fkez6xp7oLx8o37Fd-fV4iTOYvPhx-OqVnEOYN-rPR2bqFPiF7gEzztjaHCSzAthGc_UzA5mmBvt2KhsXT6qeG078SwPwxSHXWwZaVNCtdIYRsprJOmXcS3zLMkhwFZPr44HV7O59pSyMBZU3Y31QpQOarfwuX0kpRetnH9g6wFEOixh_cnWdL1BllvLThoiMibRLRo0zna9N5QizZF3KhHm_bR3iL_zk6vT86j4IMRKfw4biJMmfGVkZDGYHQ1EkLkqZE41IgKWGkX-RjLdTGgcpOIBCqmIC2lxtxVSy0qsU0G9X2tdwhlFcejc-CZYTKOc4BSSg1sxLQsZcl2CW9vvFBBJN56lUyLT577LjnsDnrwGimf7b73vd33yeq8e_4ig-Zxpg_Iinpuxk-PvwPUb-szYVw |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Infinite+executions+of+lazy+and+strict+computations&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Guttmann%2C+Walter&rft.date=2015-05-01&rft.issn=2352-2208&rft.volume=84&rft.issue=3&rft.spage=326&rft.epage=340&rft_id=info:doi/10.1016%2Fj.jlamp.2014.08.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2014_08_001 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |