A Tour Through the Programming Choices:Semantics and Applications

Ribeiro, Pedro orcid.org/0000-0003-4319-4872, Ye, Kangfeng, Zeyda, Frank et al. (1 more author) (2024) A Tour Through the Programming Choices:Semantics and Applications. In: Foster, Simon and Sampaio, Auguto, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , pp. 261-305.

Abstract

Metadata

Item Type: Book Section
Authors/Creators:
Editors:
  • Foster, Simon
  • Sampaio, Auguto
Copyright, Publisher and Additional Information:

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Keywords: choice,programming,refinement,relations,semantics,UTP
Dates:
  • Published: 1 September 2024
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 22 Nov 2024 10:40
Last Modified: 16 Dec 2024 00:25
Published Version: https://doi.org/10.1007/978-3-031-67114-2_11
Status: Published
Publisher: Springer Science and Business Media Deutschland GmbH
Series Name: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Identification Number: 10.1007/978-3-031-67114-2_11
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: JWFS2024_A_tour_through_the_programming_choices_semantics_and_applications.pdf

Description: JWFS2024___A_tour_through_the_programming_choices__semantics_and_applications

Export

Statistics