Search Results - "Semantics of Programming Languages—Program analysis General Terms Design"

Inductive Verification of Data Model Invariants for Web Applications ∗

Authors: Ivan Bocić Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

Contributors: Ivan Bocić Tevfik Bultan The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Invariants, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Verification Keywords Automated verification, data model, inductive invariants, Ruby on Rails

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629; http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.1629
http://www.cs.ucsb.edu/~bultan/publications/icse14.pdf

SPL LIFT -- Statically Analyzing Software Product Lines in Minutes Instead of Years

Authors: Eric Bodden Társis Tolêdo Márcio Ribeiro et al.

Contributors: Eric Bodden Társis Tolêdo Márcio Ribeiro et al.

Source: http://www.bodden.de/pubs/bmb+13spllift.pdf.

Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599; http://www.bodden.de/pubs/bmb+13spllift.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.360.1599
http://www.bodden.de/pubs/bmb+13spllift.pdf

SPL LIFT -- Transparent and Efficient Reuse of IFDS-based Static Program Analyses for Software Product Lines

Authors: Eric Bodden Mira Mezini Claus Brabrand et al.

Contributors: Eric Bodden Mira Mezini Claus Brabrand et al.

Source: http://www.bodden.de/pubs/bmb%2B13spllift.pdf.

Subject Terms: Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Program analysis General Terms Design, Languages, Performance Keywords Software product lines, inter-procedural static analysis, context

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682; http://www.bodden.de/pubs/bmb%2B13spllift.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7682
http://www.bodden.de/pubs/bmb%2B13spllift.pdf