Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system
Steve MacDonald, Kai Tan, Jonathan Schaeffer, Duane Szafron
Ranking functions for size-change termination
Chin Soon Lee
Separation and information hiding
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
Operational semantics for multi-language programs
Jacob Matthews, Robert Bruce Findler
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: