Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Reactive imperative programming with dataflow constraints.(Author abstract)Demetrescu, Camil ; Finocchi, Irene ; Ribichini, AndreaACM Transactions on Programming Languages & Systems, 2015, Vol.37(1), p.3(53) [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
DRFx: an understandable, high performance, and flexible memory model for concurrent languages.(Report)(Author abstract)Marino, Daniel ; Singh, Abhayendra ; Millstein, Todd ; Musuvathi, Madanlal ; Narayanasamy, SatishACM Transactions on Programming Languages & Systems, 2016, Vol.38(4), p.16(40) [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Natural and flexible error recovery for generated modular language environments.(Report)(Author abstract)De Jonge, Maartje ; Kats, Lennart C. L. ; Visser, Eelco ; Soderberg, EmmaACM Transactions on Programming Languages & Systems, July, 2012, Vol.34(4), p.15(50) [Periódico revisado por pares]Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Automated classification of data races under both strong and weak memory models.(Report)(Author abstract)Kasikci, Baris ; Zamfir, Cristian ; Candea, GeorgeACM Transactions on Programming Languages & Systems, 2015, Vol.37(3), p.8(44) [Periódico revisado por pares]Texto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Behavioral subtyping, specification inheritance, and modular reasoning.(Report)(Author abstract)Leavens, Gary T. ; Naumann, David A.ACM Transactions on Programming Languages & Systems, 2015, Vol.37(4), p.13(88) [Periódico revisado por pares]Texto completo disponível |
6 |
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 (TOPLAS), August 2016, Vol.38(4), p.94 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Global sparse analysis framework.(Report)(Author abstract)Oh, Hakjoo ; Heo, Kihong ; Lee, Wonchan ; Lee, Woosuk ; Park, Daejun ; Kang, Jeehoon ; Yi, KwangkeunACM Transactions on Programming Languages & Systems, 2014, Vol.36(3), p.8(44) [Periódico revisado por pares]Texto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Optimizing XML Querying using Type-based Document ProjectionBenzaken, Véronique ; Castagna, Giuseppe ; Colazzo, Dario ; Nguyễn, KimACM Transactions on Database Systems, 01 March 2013, Vol.38(1), pp.1-45 [Periódico revisado por pares]Texto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Essential AOP: The A CalculusDe Fraine, Bruno ; Ernst, Erik ; Südholt, MarioACM Transactions on Programming Languages and Systems (TOPLAS), 2012 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Comparación de tendencias tecnológicas en aplicaciones webValarezo Pardo, Milton Rafael ; Honores Tapia, Joofre Antonio ; Gómez Moreno, Antonio Steeven ; Vinces Sánchez, Luis Fernando3c Tecnología, 2018, Vol.7(3), pp.28-49 [Periódico revisado por pares]Texto completo disponível |