Journal: Computer languages, systems & structures / Issue: Volume 44:Part C(2015) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Journal Computer languages, systems & structures Issue Volume 44:Part C(2015)

1. A lightweight approach to component-level exception mechanism for robust android apps. (December 2015)

Authors:: Choi, Kwanghoon; Chang, Byeong-Mo
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 283
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Approaches to interpreter composition. (December 2015)

Authors:: Barrett, Edd; Bolz, Carl Friedrich; Tratt, Laurence
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 199
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. (December 2015)

Authors:: Park, Heejong; Malik, Avinash; Salcic, Zoran
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 251
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Concepts and evaluation of the extended entity-relationship approach to database design in a multi-paradigm information system modeling tool. (December 2015)

Authors:: Dimitrieski, Vladimir; Čeliković, Milan; Aleksić, Slavica; Ristić, Sonja; Alargt, Abdalla; Luković, Ivan
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 299
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. DSML4CP: A Domain-specific Modeling Language for Concurrent Programming. (December 2015)

Authors:: Azadi Marand, Elaheh; Azadi Marand, Elham; Challenger, Moharram
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 319
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. 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) ↗

7. On the verification of architectural reconfigurations. (December 2015)

Authors:: Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 218
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Supporting comprehensible presentation of clone candidates through two-dimensional maximisation. (December 2015)

Authors:: Fördős, Viktória; Tóth, Melinda
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 355
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. The intelligent memory allocator selector. (December 2015)

Authors:: Ülgen, Onur; Avci, Mutlu
Journal:: Computer languages, systems & structures
Issue:: Volume 44:Part C(2015)
Page Start:: 342
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗