- isn = "01640925"
- Artículo:
Automated termination proofs for haskell by term rewriting
- Autor:
Jürgen Giesl,
Matthias Raffelsieper,
Peter Schneider-Kamp,
Stephan Swiderski,
René Thiemann
- Página:
Article No.: 7
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
2
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-02.txt
- Documento número 892590
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
Refinement types for secure implementations
- Autor:
Jesper Bengtson,
Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Sergio Maffeis
- Página:
Article No.: 8
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
2
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-02.txt
- Documento número 892591
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
- Autor:
Stefan Wehr
Peter Thiemann
- Página:
12.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 892592
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
An Abstract Model of Certificate Translation
- Autor:
Gilles Barthe
César Kunz
- Página:
13.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 892593
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
A Theory of Synchronous Relational Interfaces
- Autor:
Stavros Tripakis
Ben Lickly
Thomas A. Henzinge
Edward A. Lee
- Página:
14.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 892594
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
