Search Results - "Semantics of Programming Languages General Terms Design"

Semantics of static pointcuts in AspectJ

Authors: Pavel Avgustinov Elnar Hajiyev Neil Ongkingco et al.

Contributors: Pavel Avgustinov Elnar Hajiyev Neil Ongkingco et al.

Source: http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf.

Subject Terms: Programs, Semantics of Programming Languages General Terms Design, Experimentation, Languages Keywords Aspect-oriented programming, pointcuts, logic programming, Datalog, term rewriting

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.1796; http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.1796
http://progtools.comlab.ox.ac.uk/members/oege/publications/documents/pcsemantics.pdf

An overview of the SATURN project

Authors: Alex Aiken Suhabe Bugrara Isil Dillig et al.

Contributors: Alex Aiken Suhabe Bugrara Isil Dillig et al.

Source: http://www.stanford.edu/~suhabe/paste07.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages General Terms Design, Experimentation, Languages Keywords program analysis, verification, boolean satisfiability

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.7169; http://www.stanford.edu/~suhabe/paste07.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.7169
http://www.stanford.edu/~suhabe/paste07.pdf