Iteration and nontermination

Mário S. Alvim; Konstantinos Chatzikokolakis; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith

doi:10.1007/978-3-319-96131-6_16

Iteration and nontermination

Mário S. Alvim
, Konstantinos Chatzikokolakis
, Annabelle McIver
, Carroll Morgan
, Catuscia Palamidessi
, Geoffrey Smith

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

Résumé

Iteration in programming-language semantics requires a more sophisticated approach than the other constructs we have seen so far: once loops are introduced, we are forced to describe the meaning of a loop’s failing to terminate, in the most extreme case for example WHILE TRUE DO SKIP.

langue originale	Anglais
titre	Information Security and Cryptography
Editeur	Springer Science and Business Media Deutschland GmbH
Pages	307-323
Nombre de pages	17
Les DOIs	https://doi.org/10.1007/978-3-319-96131-6_16
état	Publié - 1 janv. 2020

Série de publications

Nom	Information Security and Cryptography
ISSN (imprimé)	1619-7100
ISSN (Electronique)	2197-845X

Accès au document

10.1007/978-3-319-96131-6_16

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@inbook{739fc388f320446da14b64a773494e62,

title = "Iteration and nontermination",

abstract = "Iteration in programming-language semantics requires a more sophisticated approach than the other constructs we have seen so far: once loops are introduced, we are forced to describe the meaning of a loop{\textquoteright}s failing to terminate, in the most extreme case for example WHILE TRUE DO SKIP.",

author = "Alvim, \{M{\'a}rio S.\} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.",

year = "2020",

month = jan,

day = "1",

doi = "10.1007/978-3-319-96131-6\_16",

language = "English",

series = "Information Security and Cryptography",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "307--323",

booktitle = "Information Security and Cryptography",

}

Iteration and nontermination. / Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle et al.
Information Security and Cryptography. Springer Science and Business Media Deutschland GmbH, 2020. p. 307-323 (Information Security and Cryptography).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

TY - CHAP

T1 - Iteration and nontermination

AU - Alvim, Mário S.

AU - Chatzikokolakis, Konstantinos

AU - McIver, Annabelle

AU - Morgan, Carroll

AU - Palamidessi, Catuscia

AU - Smith, Geoffrey

PY - 2020/1/1

Y1 - 2020/1/1

N2 - Iteration in programming-language semantics requires a more sophisticated approach than the other constructs we have seen so far: once loops are introduced, we are forced to describe the meaning of a loop’s failing to terminate, in the most extreme case for example WHILE TRUE DO SKIP.

AB - Iteration in programming-language semantics requires a more sophisticated approach than the other constructs we have seen so far: once loops are introduced, we are forced to describe the meaning of a loop’s failing to terminate, in the most extreme case for example WHILE TRUE DO SKIP.

UR - https://www.scopus.com/pages/publications/85091577082

U2 - 10.1007/978-3-319-96131-6_16

DO - 10.1007/978-3-319-96131-6_16

M3 - Chapter

AN - SCOPUS:85091577082

T3 - Information Security and Cryptography

SP - 307

EP - 323

BT - Information Security and Cryptography

PB - Springer Science and Business Media Deutschland GmbH

ER -

Iteration and nontermination

Résumé

Série de publications

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation