Specialized heaps for creation of objects in object-oriented...

Specific runtime generators in a visual modeling language...

Specification and verification for concurrent systems with...

Specification generation from implementations

Specification to ABAP code converter

Specification to ABAP code converter

Specifying an invariant property (range of addresses) in the...

Specifying implementations of code for code generation from...

Speculative compilation

Speculative multi-threading for instruction prefetch and/or...

Speeding up application downloading from a remote server

Spreadsheet recalculation engine version stamp

SQL debugging using XML dataflows

Stable transitions in the presence of conditionals for an...

Stack clearing device and method

Stack unique signatures for program procedures and methods

Stack unique signatures for program procedures and methods

Stack-based callbacks for diagnostic data generation

Stack-based callbacks for diagnostic data generation

Stack-based problem identification for a software component