Testing Automation of Context-Oriented Programs Using Separation Logic
A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP). This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programmin...
Saved in:
| Main Author: | Mohamed A. El-Zawawy |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | Applied Computational Intelligence and Soft Computing |
| Online Access: | http://dx.doi.org/10.1155/2014/930186 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs
by: Mohamed A. El-Zawawy
Published: (2014-01-01) -
Automated Generation of Business Process Models using Constraint Logic Programming in Python
by: Tymoteusz Paszun, et al.
Published: (2019-09-01) -
Program Logic Foundations: Putting the Logic Back into Program Logic
by: Andrew J. Hawkins
Published: (2020-12-01) -
Assessment of information security risks of automated system using neuro-fuzzy logic
by: A. R. Aydinyan, et al.
Published: (2023-08-01) -
Increasing the Number of Sciences: Logical Foundations of the Classification of the Sciences and the Separation of the Sciences
by: Eşref Altaş
Published: (2022-03-01)