- importsource = "01640925-2009-03.txt"
- Artículo:
Separation and information hiding
- Autor:
Peter W. O'Hearn
Hongseok Yang
John C. Reynolds
- Resumen:
We investigate proof rules for information hiding, using the formalism of separation logic
- Página:
11.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
3
- Periodo:
Abril 2009
- ISSN:
01640925
- SrcID:
01640925-2009-03.txt
- Documento número 625718
- Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
- Creado el martes, 10 de julio de 2018 10:24:12 a. m.
- Enlace directo
- Artículo:
Operational semantics for multi-language programs
- Autor:
Jacob Matthews
Robert Bruce Findler
- Resumen:
Interoperability is big business, a fact to which .NET, the JVM, and COM can attest. Language designers are well aware of this
- Página:
12.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
3
- Periodo:
Abril 2009
- ISSN:
01640925
- SrcID:
01640925-2009-03.txt
- Documento número 625719
- Actualizado el martes, 10 de julio de 2018 10:24:12 a. m.
- Creado el martes, 10 de julio de 2018 10:24:12 a. m.
- Enlace directo
- Artículo:
Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system
- Autor:
Steve MacDonald
Kai Tan
Jonathan Schaeffer
Duane Szafron
- Resumen:
In the design phase of software development, the designer must make many fundamental design decisions concerning the architecture of the system
- Página:
9.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
3
- Periodo:
Abril 2009
- ISSN:
01640925
- SrcID:
01640925-2009-03.txt
- Documento número 892547
- 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:
Ranking functions for size-change termination
- Autor:
Chin Soon Lee
- Resumen:
his article explains how to construct a ranking function for any program that is proved terminating by size-change analysis
- Página:
10.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
3
- Periodo:
Abril 2009
- ISSN:
01640925
- SrcID:
01640925-2009-03.txt
- Documento número 892548
- 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:
Separation and information hiding
- Autor:
Peter W. O'Hearn
Hongseok Yang
John C. Reynolds
- Resumen:
We investigate proof rules for information hiding, using the formalism of separation logic
- Página:
11.1
- Publicación:
ACM Transactions on Programing Languajes and Systems
- Volúmen:
31
- Número:
3
- Periodo:
Abril 2009
- ISSN:
01640925
- SrcID:
01640925-2009-03.txt
- Documento número 892549
- 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
