ACM transactions on programming languages and systems. 2011, Vol. 33, Nº 3 - Dialnet

Ir al contenido

Ayuda

ACM transactions on programming languages and systems

Año 2011, Vol. 33, Número 3
- Refactoring using type constraints
  F. Tip, Robert M. Fuhrer, A. Kiezun, Michael D. Ernst, I. Balaban, B. De Sutter
  pág. 9
- Mathematical foundation of trace scheduling
  Utpal Banerjee
  pág. 10
- Solving systems of rational equations through strategy iteration
  T. M. Gawlitza, Helmut Seidl
  pág. 11

Página 1 de 1

Fundación Dialnet

Acceso de usuarios registrados

Imagen de identificación

¿Olvidó su contraseña?

¿Es nuevo? Regístrese

Ventajas de registrarse

Dialnet Plus

Opciones de compartir

© 2001-2025 Fundación Dialnet · Todos los derechos reservados

Coordinado por: