Abstraction in Programming - working definition (1999)

Cached

Download Links

by John N. Shutt , John N. Shutt
Citations:2 - 1 self

Documents Related by Co-Citation

1 On the Expressive Power of Programming Languages", Science of Computer Programming 17 nos. 1--3 – Matthias Felleisen - 1991
9 Recursive Adaptable Grammars – John N. Shutt, John N. Shutt, Dr. Roy, S. Rubinstein, Major Advisor, Dr. Robert, E. Kinicki, Head Of Department - 1998
180 The next 700 programming languages – P J Landin - 1966
8 A Classical Automata Approach to Noninterference Type Problems – Ira S. Moskowitz, Ira S. Moskowitz, Oliver L. Costich, Oliver L. Costich - 1992
23 Interference control and unwinding – Joseph Goguen, J Meseguer - 1984
1 CSP + Clocks: a Process Algebra for Timed Automata – Stefano Cattani, Marta Kwiatkowska - 2003
2 Composition and Refinement of Specifications of Parameterized Data Types – Yngve Lamo - 2002
3 Power simulation and its relation to traces and failures refinement – Paul Gardiner
1 Jif: Java information jif: Java information flow – Andrew C Myers, Lantian Zheng, Steve Zdancewic, Stephen Chong, Nathaniel Nystrom
1 Decidability issues for infinite-state processes -asurvey – Hans Huttel, Søren Christensen - 1994
1 Results on the propositional mu-calculs – Dexter Kozen - 1983
1 Evaluation of program speciation and verification tools for high assurance software – Sonali Ubhayakar, David L Bibighaus, George Dinolt, Tim Levin - 2003
1 The varieties of refinement (rev 3 – Jeremy L Jacob - 1999
1 and Eerke Boiten. Recent advances in refinement – John Derrick - 2003
1 and Eerke Boiten. Refinement of objects and operations in ObjectZ – John Derrick - 2000
1 Preliminary notes on the design of secure military computer systems – Roger R Schell, P J Downey, Gerald J Popek - 1973
9 Structure-Preserving Binary Relations for Program Abstraction – David A. Schmidt - 2002
12 Comparison paper between the Bell and LaPadula model and the SRI model – Tad Taylor - 1984
12 End-to-end availability policies and noninterference – Lantian Zheng, Andrew C. Myers - 2005