Is Part Of: Computer languages, systems & structures. Volume 42(2015) - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Is Part Of Computer languages, systems & structures. Volume 42(2015)

1. A formal semantics of nested atomic sections with thread escape. (July 2015)

Authors:: Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas
Journal:: Computer languages, systems & structures
Issue:: Volume 42(2015)
Page Start:: 2
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A formal semantics of nested atomic sections with thread escape. (July 2015)

Authors:: Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas
Journal:: Computer languages, systems & structures
Issue:: Volume 42(2015)
Page Start:: 2
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. An on-the-fly grammar modification mechanism for composing and defining extensible languages. (July 2015)

Authors:: Reis, Leonardo V.S.; Di Iorio, Vladimir O.; Bigonha, Roberto S.
Journal:: Computer languages, systems & structures
Issue:: Volume 42(2015)
Page Start:: 46
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. An on-the-fly grammar modification mechanism for composing and defining extensible languages. (July 2015)

Authors:: Reis, Leonardo V.S.; Di Iorio, Vladimir O.; Bigonha, Roberto S.
Journal:: Computer languages, systems & structures
Issue:: Volume 42(2015)
Page Start:: 46
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

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

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

7. Special issue on the Programming languages track at the 29th ACM symposium on applied computing. (July 2015)

Authors:: Bryant, Barrett R.
Journal:: Computer languages, systems & structures
Issue:: Volume 42(2015)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Special issue on the Programming languages track at the 29th ACM symposium on applied computing. (July 2015)

Authors:: Bryant, Barrett R.
Journal:: Computer languages, systems & structures
Issue:: Volume 42(2015)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗