| |
Bauwens, Jim
|
Art Sci. Eng. Program., vol. 7, issue 2: "Out-of-Things Debugging: A ..."
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)
 Publisher's Version
Article: progjb23main-p23-p doi:10.22152/programming-journal.org/2023/7/5
|
| |
Bocchi, Laura |
Art Sci. Eng. Program., vol. 7, issue 2: "A Theory of Composing Protocols ..."
A Theory of Composing Protocols
Laura Bocchi, Dominic Orchard, and A. Laura Voinea
(University of Kent, UK; University of Cambridge, UK; University of Glasgow, UK)
Publisher's Version
 Published Artifact
Artifact Reusable
Article: progjb23main-p81-p doi:10.22152/programming-journal.org/2023/7/6
|
| |
Chetioui, Benjamin
|
Art Sci. Eng. Program., vol. 7, issue 2: "Revisiting Language Support ..."
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
Benjamin Chetioui, Jaakko Järvi, and Magne Haveraaen
(University of Bergen, Norway; University of Turku, Finland)
Publisher's Version
Article: progjb23main-p13-p doi:10.22152/programming-journal.org/2023/7/4
|
| |
Gonzalez Boix, Elisa
|
Art Sci. Eng. Program., vol. 7, issue 2: "Out-of-Things Debugging: A ..."
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
Article: progjb23main-p23-p doi:10.22152/programming-journal.org/2023/7/5
|
| |
Greenman, Ben |
Art Sci. Eng. Program., vol. 7, issue 2: "Little Tricky Logic: Misconceptions ..."
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Published Artifact
Artifact Reusable
Article: progjb23main-p88-p doi:10.22152/programming-journal.org/2023/7/7
|
| |
Haveraaen, Magne
|
Art Sci. Eng. Program., vol. 7, issue 2: "Revisiting Language Support ..."
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
Benjamin Chetioui, Jaakko Järvi, and Magne Haveraaen
(University of Bergen, Norway; University of Turku, Finland)
Publisher's Version
Article: progjb23main-p13-p doi:10.22152/programming-journal.org/2023/7/4
|
| |
Järvi, Jaakko
|
Art Sci. Eng. Program., vol. 7, issue 2: "Revisiting Language Support ..."
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
Benjamin Chetioui, Jaakko Järvi, and Magne Haveraaen
(University of Bergen, Norway; University of Turku, Finland)
Publisher's Version
Article: progjb23main-p13-p doi:10.22152/programming-journal.org/2023/7/4
|
| |
Krishnamurthi, Shriram
|
Art Sci. Eng. Program., vol. 7, issue 2: "Little Tricky Logic: Misconceptions ..."
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Published Artifact
Artifact Reusable
Article: progjb23main-p88-p doi:10.22152/programming-journal.org/2023/7/7
|
| |
Marra, Matteo
|
Art Sci. Eng. Program., vol. 7, issue 2: "Out-of-Things Debugging: A ..."
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
Article: progjb23main-p23-p doi:10.22152/programming-journal.org/2023/7/5
|
| |
Nelson, Tim
|
Art Sci. Eng. Program., vol. 7, issue 2: "Little Tricky Logic: Misconceptions ..."
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Published Artifact
Artifact Reusable
Article: progjb23main-p88-p doi:10.22152/programming-journal.org/2023/7/7
|
| |
Orchard, Dominic
|
Art Sci. Eng. Program., vol. 7, issue 2: "A Theory of Composing Protocols ..."
A Theory of Composing Protocols
Laura Bocchi, Dominic Orchard, and A. Laura Voinea
(University of Kent, UK; University of Cambridge, UK; University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifact Reusable
Article: progjb23main-p81-p doi:10.22152/programming-journal.org/2023/7/6
|
| |
Rojas Castillo, Carlos
|
Art Sci. Eng. Program., vol. 7, issue 2: "Out-of-Things Debugging: A ..."
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo, Matteo Marra, Jim Bauwens, and Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
Article: progjb23main-p23-p doi:10.22152/programming-journal.org/2023/7/5
|
| |
Saarinen, Sam
|
Art Sci. Eng. Program., vol. 7, issue 2: "Little Tricky Logic: Misconceptions ..."
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson, and Shriram Krishnamurthi
(Brown University, USA)
Publisher's Version
Published Artifact
Artifact Reusable
Article: progjb23main-p88-p doi:10.22152/programming-journal.org/2023/7/7
|
| |
Voinea, A. Laura
|
Art Sci. Eng. Program., vol. 7, issue 2: "A Theory of Composing Protocols ..."
A Theory of Composing Protocols
Laura Bocchi, Dominic Orchard, and A. Laura Voinea
(University of Kent, UK; University of Cambridge, UK; University of Glasgow, UK)
Publisher's Version
Published Artifact
Artifact Reusable
Article: progjb23main-p81-p doi:10.22152/programming-journal.org/2023/7/6
|