Behavioural types : : from theory to tools /

Open Access

Behavioural types : : from theory to tools / / editors, Simon Gay, University of Glasgow, UK, António Ravara, Universidade Nova de Lisboa, Portugal.

Show other versions (2)

Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, mot...

Full description

Saved in:
Bibliographic Details
Superior document:River Publishers series in automation, control and robotics
TeilnehmendeR:
Gay, Simon,
Ravara, António,
Place / Publishing House:Delft, The Netherlands : : River Publishers,, [2017]
©2017
Year of Publication:2017
Edition:1st ed.
Language:English
Series:River Publishers series in automation, control and robotics.
Physical Description:1 online resource (412 pages) :; illustrations (some color).
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993573568804498
ctrlnum (CKB)4340000000203772
(MiAaPQ)EBC5050188
(MiAaPQ)EBC30251776
(Au-PeEL)EBL30251776
(oapen)https://directory.doabooks.org/handle/20.500.12854/94363
(EXLCZ)994340000000203772
collection bib_alma
record_format marc
spelling Gay, Simon edt
Behavioural types : from theory to tools / editors, Simon Gay, University of Glasgow, UK, António Ravara, Universidade Nova de Lisboa, Portugal.
1st ed.
Taylor & Francis 2017
Delft, The Netherlands : River Publishers, [2017]
©2017
1 online resource (412 pages) : illustrations (some color).
text rdacontent
computer rdamedia
online resource rdacarrier
River Publishers series in automation, control and robotics
Includes bibliographical references and index.
Open access Unrestricted online access star
Description based on online resource; title from PDF title page (ebrary, viewed October 17, 2017).
Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.
English
European Commission
Programming languages (Electronic computers)
Computer programming / software engineering;Energy
87-93519-82-6
Gay, Simon, editor.
Ravara, António, editor.
River Publishers series in automation, control and robotics.
language English
format eBook
author2 Gay, Simon,
Ravara, António,
author_facet Gay, Simon,
Ravara, António,
author2_variant s g sg
s g sg
a r ar
author2_role TeilnehmendeR
TeilnehmendeR
title Behavioural types : from theory to tools /
spellingShingle Behavioural types : from theory to tools /
River Publishers series in automation, control and robotics
title_sub from theory to tools /
title_full Behavioural types : from theory to tools / editors, Simon Gay, University of Glasgow, UK, António Ravara, Universidade Nova de Lisboa, Portugal.
title_fullStr Behavioural types : from theory to tools / editors, Simon Gay, University of Glasgow, UK, António Ravara, Universidade Nova de Lisboa, Portugal.
title_full_unstemmed Behavioural types : from theory to tools / editors, Simon Gay, University of Glasgow, UK, António Ravara, Universidade Nova de Lisboa, Portugal.
title_auth Behavioural types : from theory to tools /
title_new Behavioural types :
title_sort behavioural types : from theory to tools /
series River Publishers series in automation, control and robotics
series2 River Publishers series in automation, control and robotics
publisher Taylor & Francis
River Publishers,
publishDate 2017
physical 1 online resource (412 pages) : illustrations (some color).
edition 1st ed.
isbn 1-000-79939-5
1-00-333733-3
1-003-33733-3
1-000-79925-5
87-93519-81-8
87-93519-82-6
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.7 B44 42017
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005.1
dewey-sort 15.1
dewey-raw 005.1
dewey-search 005.1
work_keys_str_mv AT gaysimon behaviouraltypesfromtheorytotools
AT ravaraantonio behaviouraltypesfromtheorytotools
status_str n
ids_txt_mv (CKB)4340000000203772
(MiAaPQ)EBC5050188
(MiAaPQ)EBC30251776
(Au-PeEL)EBL30251776
(oapen)https://directory.doabooks.org/handle/20.500.12854/94363
(EXLCZ)994340000000203772
hierarchy_parent_title River Publishers series in automation, control and robotics
is_hierarchy_title Behavioural types : from theory to tools /
container_title River Publishers series in automation, control and robotics
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1798645489741070336
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02865nam a2200541 i 4500</leader><controlfield tag="001">993573568804498</controlfield><controlfield tag="005">20240509193029.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr#cnu||||||||</controlfield><controlfield tag="008">171016t20172017ne a ob 001 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1-000-79939-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1-00-333733-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1-003-33733-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1-000-79925-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">87-93519-81-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4340000000203772</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC5050188</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC30251776</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL30251776</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/94363</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994340000000203772</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.7</subfield><subfield code="b">.B44 2017</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gay, Simon</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Behavioural types :</subfield><subfield code="b">from theory to tools /</subfield><subfield code="c">editors, Simon Gay, University of Glasgow, UK, António Ravara, Universidade Nova de Lisboa, Portugal.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="b">Taylor &amp; Francis</subfield><subfield code="c">2017</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Delft, The Netherlands :</subfield><subfield code="b">River Publishers,</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (412 pages) :</subfield><subfield code="b">illustrations (some color).</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">River Publishers series in automation, control and robotics</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="a">Open access</subfield><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (ebrary, viewed October 17, 2017).</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Behavioural type systems in programming languages support the specification and verification of properties of programs beyond the traditional use of type systems to describe data processing. A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types: from Theory to Tools presents programming languages and software tools produced by members of COST Action IC1201: Behavioural Types for Reliable Large-Scale Software Systems, a European research network that was funded from October 2012 to October 2016. As a survey of the most recent developments in the application of behavioural type systems, it is a valuable reference for researchers in the field, as well as an introduction to the area for graduate students and software developers.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="536" ind1=" " ind2=" "><subfield code="a">European Commission</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer programming / software engineering;Energy</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">87-93519-82-6</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gay, Simon,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ravara, António,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">River Publishers series in automation, control and robotics.</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-05-10 07:47:40 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2017-11-11 16:18:22 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5341790290004498&amp;Force_direct=true</subfield><subfield code="Z">5341790290004498</subfield><subfield code="b">Available</subfield><subfield code="8">5341790290004498</subfield></datafield></record></collection>

Similar Items