Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specifications
Abstracting
1
Client code
1
Codes (symbols)
1
Computational linguistics
1
Contract specifications
1
Contract strengthening
1
Dynamic memory
1
Enabledness abstractions
1
Finite state
1
Formal methods
1
Level of abstraction
1
Memory consumption
1
Memory manager
1
MicroSoft
1
Points-to analysis
1
Proof of concept
1
Resource consumption
1
Resource usage
1
Software artifacts
1
Source codes
1
Specification languages
1
Static analyzers
1
Two-step process
1
Typestate
1
Typestate inference
1
Visual studios
1
Windows operating system
1
-
1Materias: “...Codes (symbols)...”
CONF -
2Materias: “...Client code...”
CONF