MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Abstraction in Programming

Download:
pdf | ps
by John N. Shutt, John N. Shutt
ftp://ftp.cs.wpi.edu/pub/techreports/99-38.ps.gz
Add To MetaCart

Abstract:

--- working definition by

Citations

275 Denotational semantics: a methodology for language development – Schmidt - 1986
135 The next 700 programming languages – Landin - 1966
19 Fully abstract translations between functional languages – Riecke - 1991
17 Beyond Programming Languages – Winograd - 1979
9 The Calculi of Lambda-Conversion. Annals of Mathematics Studies – Church - 1941
8 Recursive adaptable grammars – Shutt - 1993
5 Draft report on requirements for a common prototyping system – Gabriel - 1989
5 Abstraction Mechanisms and Language Design – Hilfinger - 1983
2 Programming as language development", datalogiske skrifter no – Christiansen - 1988
2 The Static Semantics File", Sigplan Notices 25 no – Meek - 1990
2 S-Expressiveness and the Abstractive Power of Programming Languages – Shutt - 1999
1 This entry is about abstraction in philosophy. Corresponding entries from the early 1970's are primarily concerned with symbolic logic; but in 1911, the apotheosis of symbolic logic was still in the future – Abstraction, edition - 1911
1 A History of Philosophy, Volume III: Ockham to Su'arez – Copleston, J - 1963
1 Hierarchical Program Structures", in O – Dahl, Hoare
1 Steele Jr., Editorial: "The Failure of Abstraction – Gabriel, Guy - 1990
1 three advantages of abstraction: (1) abbreviation, (2) opacity, and (3) locality. Details nine failures of abstraction. The first six are "failures of human spirit to push the concept of abstraction to its maximum extent": (1) During modificatio – Lists
1 A theory of abstraction", Artificial Intelligence 57 nos. 2--3 – Giunchiglia, Walsh - 1992
1 The Evolution of Abstraction in Programming Languages – Guarino - 1978
1 The Genesis of Attribute Grammars", in Pierre Deransart and – Knuth - 1990
1 Recursive Adaptable Grammars", M.S. Thesis, Worcester Polytechnic Institute – Shutt - 1993
1 Revenge Theory", Harvard Magazine 93 no – Tenner - 1991