| |
Amato, Gianluca
|
FTfJP '22: "On the Need for a Common API ..."
On the Need for a Common API for Abstract Domains of Object-Oriented Programs
Gianluca Amato, Maria Chiara Meo, and Francesca Scozzari
(Università di Chieti-Pescara, Italy)
@InProceedings{FTfJP22p25,
author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari},
title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3611096.3611100},
year = {2022},
}
 Publisher's Version
Article: ftfjp22main-id4753-p doi:10.1145/3611096.3611100
|
| |
Cok, David R.
|
FTfJP '22: "Automated Reasoning Repair ..."
Automated Reasoning Repair
Amirfarhad Nilizadeh, Gary T. Leavens, and David R. Cok
(University of Central Florida, USA; Safer Software Consulting, USA)
@InProceedings{FTfJP22p17,
author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok},
title = {Automated Reasoning Repair},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3611096.3611099},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id9061-p doi:10.1145/3611096.3611099
FTfJP '22: "Documentation and Educational ..."
Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language
David R. Cok
(Safer Software Consulting, USA)
@InProceedings{FTfJP22p41,
author = {David R. Cok},
title = {Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3611096.3611102},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id9035-p doi:10.1145/3611096.3611102
|
| |
De Koster, Joeri
|
FTfJP '22: "A Graph-Based Formal Semantics ..."
A Graph-Based Formal Semantics of Reactive Programming from First Principles
Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{FTfJP22p33,
author = {Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter},
title = {A Graph-Based Formal Semantics of Reactive Programming from First Principles},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3611096.3611101},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id3977-p doi:10.1145/3611096.3611101
|
| |
De Meuter, Wolfgang |
FTfJP '22: "A Graph-Based Formal Semantics ..."
A Graph-Based Formal Semantics of Reactive Programming from First Principles
Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{FTfJP22p33,
author = {Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter},
title = {A Graph-Based Formal Semantics of Reactive Programming from First Principles},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3611096.3611101},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id3977-p doi:10.1145/3611096.3611101
|
| |
Homer, Michael
|
FTfJP '22: "Using Functional Reactive ..."
Using Functional Reactive Programming to Define Safe Actor Systems
Nick Webster, Marco Servetto, and Michael Homer
(Victoria University of Wellington, New Zealand)
@InProceedings{FTfJP22p9,
author = {Nick Webster and Marco Servetto and Michael Homer},
title = {Using Functional Reactive Programming to Define Safe Actor Systems},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3611096.3611098},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id382-p doi:10.1145/3611096.3611098
|
| |
Kudasov, Nikolai
|
FTfJP '22: "Formalizing 𝜑-Calculus: ..."
Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
Nikolai Kudasov and Violetta Sim
(Innopolis University, Russian Federation)
@InProceedings{FTfJP22p49,
author = {Nikolai Kudasov and Violetta Sim},
title = {Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3611096.3611103},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id7238-p doi:10.1145/3611096.3611103
|
| |
Leavens, Gary T.
|
FTfJP '22: "Automated Reasoning Repair ..."
Automated Reasoning Repair
Amirfarhad Nilizadeh, Gary T. Leavens, and David R. Cok
(University of Central Florida, USA; Safer Software Consulting, USA)
@InProceedings{FTfJP22p17,
author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok},
title = {Automated Reasoning Repair},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3611096.3611099},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id9061-p doi:10.1145/3611096.3611099
|
| |
Mackay, Julian
|
FTfJP '22: "Rusty Links in Local Chains ..."
Rusty Links in Local Chains
James Noble, Julian Mackay, and Tobias Wrigstad
(Creative Research & Programming, New Zealand; Victoria University of Wellington, New Zealand; Uppsala University, Sweden)
@InProceedings{FTfJP22p1,
author = {James Noble and Julian Mackay and Tobias Wrigstad},
title = {Rusty Links in Local Chains},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3611096.3611097},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id9406-p doi:10.1145/3611096.3611097
|
| |
Meo, Maria Chiara |
FTfJP '22: "On the Need for a Common API ..."
On the Need for a Common API for Abstract Domains of Object-Oriented Programs
Gianluca Amato, Maria Chiara Meo, and Francesca Scozzari
(Università di Chieti-Pescara, Italy)
@InProceedings{FTfJP22p25,
author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari},
title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3611096.3611100},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id4753-p doi:10.1145/3611096.3611100
|
| |
Nilizadeh, Amirfarhad
|
FTfJP '22: "Automated Reasoning Repair ..."
Automated Reasoning Repair
Amirfarhad Nilizadeh, Gary T. Leavens, and David R. Cok
(University of Central Florida, USA; Safer Software Consulting, USA)
@InProceedings{FTfJP22p17,
author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok},
title = {Automated Reasoning Repair},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3611096.3611099},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id9061-p doi:10.1145/3611096.3611099
|
| |
Noble, James |
FTfJP '22: "Rusty Links in Local Chains ..."
Rusty Links in Local Chains
James Noble, Julian Mackay, and Tobias Wrigstad
(Creative Research & Programming, New Zealand; Victoria University of Wellington, New Zealand; Uppsala University, Sweden)
@InProceedings{FTfJP22p1,
author = {James Noble and Julian Mackay and Tobias Wrigstad},
title = {Rusty Links in Local Chains},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3611096.3611097},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id9406-p doi:10.1145/3611096.3611097
|
| |
Oeyen, Bjarno
|
FTfJP '22: "A Graph-Based Formal Semantics ..."
A Graph-Based Formal Semantics of Reactive Programming from First Principles
Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{FTfJP22p33,
author = {Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter},
title = {A Graph-Based Formal Semantics of Reactive Programming from First Principles},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3611096.3611101},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id3977-p doi:10.1145/3611096.3611101
|
| |
Scozzari, Francesca
|
FTfJP '22: "On the Need for a Common API ..."
On the Need for a Common API for Abstract Domains of Object-Oriented Programs
Gianluca Amato, Maria Chiara Meo, and Francesca Scozzari
(Università di Chieti-Pescara, Italy)
@InProceedings{FTfJP22p25,
author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari},
title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3611096.3611100},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id4753-p doi:10.1145/3611096.3611100
|
| |
Servetto, Marco |
FTfJP '22: "Using Functional Reactive ..."
Using Functional Reactive Programming to Define Safe Actor Systems
Nick Webster, Marco Servetto, and Michael Homer
(Victoria University of Wellington, New Zealand)
@InProceedings{FTfJP22p9,
author = {Nick Webster and Marco Servetto and Michael Homer},
title = {Using Functional Reactive Programming to Define Safe Actor Systems},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3611096.3611098},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id382-p doi:10.1145/3611096.3611098
|
| |
Sim, Violetta |
FTfJP '22: "Formalizing 𝜑-Calculus: ..."
Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects
Nikolai Kudasov and Violetta Sim
(Innopolis University, Russian Federation)
@InProceedings{FTfJP22p49,
author = {Nikolai Kudasov and Violetta Sim},
title = {Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3611096.3611103},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id7238-p doi:10.1145/3611096.3611103
|
| |
Webster, Nick
|
FTfJP '22: "Using Functional Reactive ..."
Using Functional Reactive Programming to Define Safe Actor Systems
Nick Webster, Marco Servetto, and Michael Homer
(Victoria University of Wellington, New Zealand)
@InProceedings{FTfJP22p9,
author = {Nick Webster and Marco Servetto and Michael Homer},
title = {Using Functional Reactive Programming to Define Safe Actor Systems},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3611096.3611098},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id382-p doi:10.1145/3611096.3611098
|
| |
Wrigstad, Tobias |
FTfJP '22: "Rusty Links in Local Chains ..."
Rusty Links in Local Chains
James Noble, Julian Mackay, and Tobias Wrigstad
(Creative Research & Programming, New Zealand; Victoria University of Wellington, New Zealand; Uppsala University, Sweden)
@InProceedings{FTfJP22p1,
author = {James Noble and Julian Mackay and Tobias Wrigstad},
title = {Rusty Links in Local Chains},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3611096.3611097},
year = {2022},
}
Publisher's Version
Article: ftfjp22main-id9406-p doi:10.1145/3611096.3611097
|