71. Facilitating the development of cross-platform software via automated code synthesis from web-based programming resources. (June 2017) Authors: Chadha, Sanchit; Byalik, Antuan; Tilevich, Eli; Rozovskaya, Alla Journal: Computer languages, systems & structures Issue: Volume 48(2017) Page Start: 3 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
72. Financial information description language and visualization/analysis tools. (December 2017) Authors: Horry, Youichi Journal: Computer languages, systems & structures Issue: Volume 50(2017) Page Start: 31 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
73. FLANDM: a development framework of domain-specific languages for data mining democratisation. (December 2018) Authors: de la Vega, Alfonso; García-Saiz, Diego; Zorrilla, Marta; Sánchez, Pablo Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 316 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
74. Flexary connectives in Mizar. (December 2015) Authors: Korniłowicz, Artur Journal: Computer languages, systems & structures Issue: Volume 44:Part C(2015) Page Start: 238 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
75. Formal specification and integration of distributed security policies. (September 2017) Authors: Mejri, Mohamed; Yahyaoui, Hamdi Journal: Computer languages, systems & structures Issue: Volume 49(2017) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
76. FP-ABC: Fuzzy-Pareto dominance driven artificial bee colony algorithm for many-objective software module clustering. (January 2018) Authors: Amarjeet, ; Chhabra, Jitender Kumar Journal: Computer languages, systems & structures Issue: Volume 51(2017) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
77. Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements. (December 2018) Authors: Przigoda, Nils; Niemann, Philipp; Filho, Jonas Gomes; Wille, Robert; Drechsler, Rolf Journal: Computer languages, systems & structures Issue: Volume 54(2018) Page Start: 512 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
78. Fully abstract trace semantics for protected module architectures. (July 2015) Authors: Patrignani, Marco; Clarke, Dave Journal: Computer languages, systems & structures Issue: Volume 42(2015) Page Start: 22 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
79. Fully abstract trace semantics for protected module architectures. (July 2015) Authors: Patrignani, Marco; Clarke, Dave Journal: Computer languages, systems & structures Issue: Volume 42(2015) Page Start: 22 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
80. Generative and accumulative recursion made fun for beginners. (December 2015) Authors: Morazán, Marco T. Journal: Computer languages, systems & structures Issue: Volume 44:Part B(2015) Page Start: 181 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗