Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
On the Impact of Programming Languages on Code Quality: A Reproduction StudyBerger, Emery D. ; Hollenbeck, Celeste ; Maj, Petr ; Vitek, Olga ; Vitek, JanACM transactions on programming languages and systems, 2019-12, Vol.41 (4), p.1-24, Article 21 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
Locally Abstract, Globally Concrete Semantics of Concurrent Programming LanguagesDin, Crystal Chang ; Hähnle, Reiner ; Henrio, Ludovic ; Johnsen, Einar Broch ; Pun, Violet Ka I ; Tarifa, S. Lizeth TapiaACM transactions on programming languages and systems, 2024-03, Vol.46 (1), p.1-58, Article 3 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
3 |
Material Type: Artigo
|
Safe-by-default Concurrency for Modern Programming LanguagesLiu, Lun ; Millstein, Todd ; Musuvathi, MadanlalACM transactions on programming languages and systems, 2021-09, Vol.43 (3), p.1-50 [Periódico revisado por pares]Texto completo disponível |
|
4 |
Material Type: Artigo
|
Lowering the barriers to programming: A taxonomy of programming environments and languages for novice programmersKelleher, Caitlin ; Pausch, RandyACM computing surveys, 2005-06, Vol.37 (2), p.83-137 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
A Programming Language for Data Privacy with Accuracy EstimationsLobo-Vesga, Elisabet ; Russo, Alejandro ; Gaboardi, MarcoACM transactions on programming languages and systems, 2021-06, Vol.43 (2), p.1-42, Article 6 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
POP-PL: A Patient-Oriented Prescription Programming LanguageFlorence, Spencer P. ; Fetscher, Burke ; Flatt, Matthew ; Temps, William H. ; St-Amour, Vincent ; Kiguradze, Tina ; West, Dennis P. ; Niznik, Charlotte ; Yarnold, Paul R. ; Findler, Robert Bruce ; Belknap, Steven M.ACM transactions on programming languages and systems, 2018-08, Vol.40 (3), p.1-37, Article 10 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: Artigo
|
Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16toroACM transactions on programming languages and systems, 2020-06, Vol.42 (2), p.1-2, Article 11 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
A Survey of Active Object LanguagesBoer, Frank De ; Serbanescu, Vlad ; Hähnle, Reiner ; Henrio, Ludovic ; Rochas, Justine ; Din, Crystal Chang ; Johnsen, Einar Broch ; Sirjani, Marjan ; Khamespanah, Ehsan ; Fernandez-Reyes, Kiko ; Yang, Albert MingkunACM computing surveys, 2017-10, Vol.50 (5), p.1-39, Article 76 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
A Domain-theoretic Approach to Statistical Programming LanguagesGoubault-Larrecq, Jean ; Jia, Xiaodong ; Théron, ClémentJournal of the ACM, 2023-10, Vol.70 (5), p.1-63, Article 35 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
The Design and Formalization of Mezzo, a Permission-Based Programming LanguageBalabonski, Thibaut ; Pottier, François ; Protzenko, JonathanACM transactions on programming languages and systems, 2016-10, Vol.38 (4), p.1-94, Article 14 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |