- importsource = "01640925-2010-02.txt"
- Artículo:
JavaCOP: declarative pluggable, types for Java
- Autor:
Markstrum
Marino
Esquivel
Millstein
Angreae
Noble
- Página:
4
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
32
- Número:
2
- ISSN:
01640925
- SrcID:
01640925-2010-02.txt
- Documento número 619646
- Actualizado el martes, 10 de julio de 2018 10:23:27 a. m.
- Creado el martes, 10 de julio de 2018 10:23:27 a. m.
- Enlace directo
- Artículo:
A relational approach to interprocedural shape analusis
- Autor:
Jeannet
Loginov
Reps
Sagiv
- Página:
5
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
32
- Número:
2
- ISSN:
01640925
- SrcID:
01640925-2010-02.txt
- Documento número 619647
- Actualizado el martes, 10 de julio de 2018 10:23:27 a. m.
- Creado el martes, 10 de julio de 2018 10:23:27 a. m.
- Enlace directo
- Artículo:
Hybrid type checking
- Autor:
Knowles
Flanagan
- Página:
6
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
32
- Número:
2
- ISSN:
01640925
- SrcID:
01640925-2010-02.txt
- Documento número 619648
- Actualizado el martes, 10 de julio de 2018 10:23:27 a. m.
- Creado el martes, 10 de julio de 2018 10:23:27 a. m.
- Enlace directo
- Artículo:
JavaCOP: declarative pluggable, types for Java
- Autor:
Markstrum
Marino
Esquivel
Millstein
Angreae
Noble
- Página:
4
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
32
- Número:
2
- ISSN:
01640925
- SrcID:
01640925-2010-02.txt
- Documento número 6368
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
A relational approach to interprocedural shape analusis
- Autor:
Jeannet
Loginov
Reps
Sagiv
- Página:
5
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
32
- Número:
2
- ISSN:
01640925
- SrcID:
01640925-2010-02.txt
- Documento número 6369
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- 1-5
- 6-9
