Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer software
5
Execution environments
4
Java programming language
4
Programming language
4
Static analysis
4
Abstract data types
3
Algorithms
3
Dynamic frame
3
Formal methods
3
Java-like programs
3
Machinery
3
Memory management
3
Memory requirements
3
Metaobject protocol
3
Non-circular
3
Non-trivial
3
Optimization
3
Program compilers
3
Reflection
3
Semantics
3
Software engineering
3
Structural invariants
3
Theory of dynamics
3
Trees (mathematics)
3
Verification
3
Automatic programming
2
C (programming language)
2
Compile time
2
Data flow analysis
2
Dynamic memory
2
-
1Materias: “...Application programs...”
CONF -
2Materias: “...Java-like programs...”
CONF -
3Materias: “...Programming language...”
Artículo publishedVersion -
4Materias: “...Programming language...”
Artículo publishedVersion -
5Materias: “...Programming language...”
SER -
6Materias: “...automated program verification...”
JOUR -
7por Garbervetsky, D., Zoppi, E., Livshits, B., Zisman A., Bodden E., Schafer W., van Deursen A., Special Interest Group on Software Engineering (ACM SIGSOFT)Materias: “...Program analysis...”
CONF -
8Materias: “...Program optimization...”
JOUR -
9Materias: “...Java-like programs verification...”
JOUR -
10por Chari, G., Garbervetsky, D., Marr, S., ACM Special Interest Group on Programming Languages (SIGPLAN); Assoc Internationale por les Technologies Objects (AITO)Materias: “...Object oriented programming...”
CONF -
11Materias: “...Programming tasks...”
SER -
12Materias: “...Live Programming...”
CONF -
13Materias: “...Program variables...”
JOUR -
14Materias: “...Program compilers...”
CONF -
15Materias: “...Computer programming...”
JOUR -
16por Braberman, V., Garbervetsky, D., Godoy, J., Uchitel, S., De Caso, G., Perez, I., Perez, S., Garci A., Pasareanu C.S., Leavens G.T.Materias: “...Program Analysis...”
CONF -
17Materias: “...Programming language semantics...”
INPR -
18Materias: “...Java programming language...”
CHAP -
19Materias: “...Bounded program verifications...”
SER -
20Materias: “...Programming language...”
CONF