-
1
-
-
67049162578
-
-
[ACH+08] Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Jr. Guy L. Steele, and Sam Tobin-Hochstadt. The Fortress Language Specification 1.0. Sun Microsystems, 2008.
-
[ACH+08] Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Jr. Guy L. Steele, and Sam Tobin-Hochstadt. The Fortress Language Specification 1.0. Sun Microsystems, 2008.
-
-
-
-
2
-
-
84991702310
-
Unlocking concurrency
-
ATKS07
-
[ATKS07] Ali-Reza Adl-Tabatabai, Christos Kozyrakis, and Bratin Saha. Unlocking concurrency. Queue, 4(10):24-33, 2007.
-
(2007)
Queue
, vol.4
, Issue.10
, pp. 24-33
-
-
Adl-Tabatabai, A.-R.1
Kozyrakis, C.2
Saha, B.3
-
3
-
-
11344295053
-
Modern concurrency abstractions for C#
-
BCF04, :769-804
-
[BCF04] Nick Benton, Luca Cardelli, and Cédric Fournet. Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst., 26(5):769-804, 2004.
-
(2004)
ACM Trans. Program. Lang. Syst
, vol.26
, Issue.5
-
-
Benton, N.1
Cardelli, L.2
Fournet, C.3
-
4
-
-
0345884636
-
Making the future safe for the past: Adding genericity to the Java programming language
-
BOSW98, Vancouver, October, ACM
-
[BOSW98] Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, October 1998. ACM.
-
(1998)
Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
-
-
Bracha, G.1
Odersky, M.2
Stoutamire, D.3
Wadler, P.4
-
5
-
-
17644372438
-
Curriculum 2001 draft found lacking in programming languages
-
Bru00
-
[Bru00] Kim B. Bruce. Curriculum 2001 draft found lacking in programming languages. SIGPLAN Not., 35(4):26-28, 2000.
-
(2000)
SIGPLAN Not
, vol.35
, Issue.4
, pp. 26-28
-
-
Bruce, K.B.1
-
6
-
-
84976755024
-
-
[CCH+89] P. Canning, W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded quantification for object-oriented programming. In Functional Prog. and Computer Architecture, pages 273-280, 1989.
-
[CCH+89] P. Canning, W. Cook, W. Hill, J. Mitchell, and W. Olthoff. F-bounded quantification for object-oriented programming. In Functional Prog. and Computer Architecture, pages 273-280, 1989.
-
-
-
-
8
-
-
33745200313
-
-
[CGS+05] Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar. X10: an object-oriented approach to non-uniform cluster computing. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 519-538, New York, NY, USA, 2005. ACM.
-
[CGS+05] Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, and Vivek Sarkar. X10: an object-oriented approach to non-uniform cluster computing. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 519-538, New York, NY, USA, 2005. ACM.
-
-
-
-
9
-
-
34250004088
-
Computer Science Consortium. A 2007 model curriculum for a liberal arts degree in computer science
-
Con07
-
[Con07] Liberal Arts Computer Science Consortium. A 2007 model curriculum for a liberal arts degree in computer science. J. Educ. Resour. Comput., 7(2):2, 2007.
-
(2007)
J. Educ. Resour. Comput
, vol.7
, Issue.2
, pp. 2
-
-
Liberal Arts1
-
10
-
-
0022333721
-
On understanding types, data abstraction, and polymorphism
-
CW85
-
[CW85] L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, 1985.
-
(1985)
Computing Surveys
, vol.17
, Issue.4
, pp. 471-522
-
-
Cardelli, L.1
Wegner, P.2
-
11
-
-
0004335754
-
-
For01] CC2001 Joint Task Force, Computer Science. December 15, 2001. Available online at
-
[For01] CC2001 Joint Task Force. Computing Curricula 2001: Computer Science. December 15, 2001. Available online at http://www.acm.org/sigcse/ cc2001/.
-
Computing Curricula 2001
-
-
-
12
-
-
49249136642
-
Beautiful concurrency
-
Jon07, Greg Wilson, editor, O'Reilly
-
[Jon07] Simon Peyton Jones. Beautiful concurrency. In Greg Wilson, editor, Beautiful code. O'Reilly, 2007.
-
(2007)
Beautiful code
-
-
Peyton Jones, S.1
-
14
-
-
0017526283
-
Abstraction mechanisms in CLU
-
LSAS77
-
[LSAS77] B. Liskov, A. Snyder, R. Atkinson, and C. Schaffert. Abstraction mechanisms in CLU. Comm. ACM, 20:564-576, 1977.
-
(1977)
Comm. ACM
, vol.20
, pp. 564-576
-
-
Liskov, B.1
Snyder, A.2
Atkinson, R.3
Schaffert, C.4
-
15
-
-
17044378871
-
The Java memory model
-
MPA05, New York, NY, USA, ACM
-
[MPA05] Jeremy Manson, William Pugh, and Sarita V. Adve. The Java memory model. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 378-391, New York, NY, USA, 2005. ACM.
-
(2005)
Proceedings of the ACM Symposium on Principles of Programming Languages
, pp. 378-391
-
-
Manson, J.1
Pugh, W.2
Adve, S.V.3
|