Source program checking device and program and method for same

Source program processing method

Source server

Source-code-generation supporting method and computer product

Space-efficient object models for object-oriented...

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