-
1
-
-
0003527514
-
-
MIT Press, Cambridge, MA
-
Abelson, H., Sussman, G.J., Sussman, J., 1990. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, MA.
-
(1990)
Structure and Interpretation of Computer Programs
-
-
Abelson, H.1
Sussman, G.J.2
Sussman, J.3
-
2
-
-
0018455568
-
Awk - A pattern scanning and processing language
-
Aho, A.V., Kernighan, B.W., Weinberger, P.J., 1979. Awk - a pattern scanning and processing language. Software-Pract. Exper. 9 (4), 267-280.
-
(1979)
Software-Pract. Exper.
, vol.9
, Issue.4
, pp. 267-280
-
-
Aho, A.V.1
Kernighan, B.W.2
Weinberger, P.J.3
-
3
-
-
0004072686
-
-
Addison-Wesley, Reading, MA
-
Aho, A.V., Sethi, R., Ullman, J.D., 1985. Compilers, Principles, Techniques, and Tools. Addison-Wesley, Reading, MA.
-
(1985)
Compilers, Principles, Techniques, and Tools
-
-
Aho, A.V.1
Sethi, R.2
Ullman, J.D.3
-
4
-
-
0004053148
-
-
Addison-Wesley, Reading, MA
-
Aho, A.V., Kernighan, B.W., Weinberger, P.J., 1988. The AWK Programming Language. Addison-Wesley, Reading, MA.
-
(1988)
The AWK Programming Language
-
-
Aho, A.V.1
Kernighan, B.W.2
Weinberger, P.J.3
-
5
-
-
0003718668
-
-
Oxford University Press, Oxford
-
Alexander, C., Ishikawa, S., Silverstein, M., Jacobson, M., FiksdahlKing, I., Angel, S., 1977. A Pattern Language. Oxford University Press, Oxford.
-
(1977)
A Pattern Language
-
-
Alexander, C.1
Ishikawa, S.2
Silverstein, M.3
Jacobson, M.4
Fiksdahlking, I.5
Angel, S.6
-
6
-
-
34248349308
-
Software design for reliability and reuse: A proof-of-concept demonstration
-
ACM, ACM Press, New York
-
Bell, J., Bellegarde, F., Hook, J., Kieburtz, R.B., Kotov, A., Lewis, J., McKinney, L., Oliva, D.P., Sheard, T., Tong, L., Walton, L., Zhou, T., 1994. Software design for reliability and reuse: a proof-of-concept demonstration. In: Proceedings of the Conference on TRI-Ada '94, ACM, ACM Press, New York, pp. 396-404.
-
(1994)
Proceedings of the Conference on TRI-Ada '94
, pp. 396-404
-
-
Bell, J.1
Bellegarde, F.2
Hook, J.3
Kieburtz, R.B.4
Kotov, A.5
Lewis, J.6
McKinney, L.7
Oliva, D.P.8
Sheard, T.9
Tong, L.10
Walton, L.11
Zhou, T.12
-
7
-
-
84976711318
-
Programming pearls: Little languages
-
Bentley, J.L., 1986. Programming pearls: little languages. Commun. ACM 29 (8), 711-721.
-
(1986)
Commun. ACM
, vol.29
, Issue.8
, pp. 711-721
-
-
Bentley, J.L.1
-
8
-
-
84976732987
-
GRAP - A language for typesetting graphs
-
Bentley, J.L., Kernighan, B.W., 1986. GRAP - a language for typesetting graphs. Commun. ACM 29 (8), 782-792.
-
(1986)
Commun. ACM
, vol.29
, Issue.8
, pp. 782-792
-
-
Bentley, J.L.1
Kernighan, B.W.2
-
9
-
-
0026348739
-
A system for algorithm animation
-
Bentley, J.L., Kernighan, B.W., 1991. A system for algorithm animation. Comput. Syst. 4 (1), 5-30.
-
(1991)
Comput. Syst.
, vol.4
, Issue.1
, pp. 5-30
-
-
Bentley, J.L.1
Kernighan, B.W.2
-
10
-
-
0023531464
-
CHEM - A program for phototypesetting chemical structure diagrams
-
Bentley, J.L., Jelinski, L.W., Kernighan, B.W., 1987. CHEM - a program for phototypesetting chemical structure diagrams. Comput. Chem. 11 (4), 281-297.
-
(1987)
Comput. Chem.
, vol.11
, Issue.4
, pp. 281-297
-
-
Bentley, J.L.1
Jelinski, L.W.2
Kernighan, B.W.3
-
13
-
-
0345884636
-
Making the future safe for the past: Adding genericity to the Java programming language
-
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '98)
-
Bracha, G., Odersky, M., Stoutamire, D., Wadler, P., 1998. Making the future safe for the past: adding genericity to the Java programming language. In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '98), ACM SIGPLAN Not. 33 (10), pp. 183-200.
-
(1998)
ACM SIGPLAN Not.
, vol.33
, Issue.10
, pp. 183-200
-
-
Bracha, G.1
Odersky, M.2
Stoutamire, D.3
Wadler, P.4
-
14
-
-
0003447557
-
-
Addison-Wesley, Reading, MA
-
Coplien, J.O., Schmidt, D.C., 1995. Pattern Languages of Program Design. Addison-Wesley, Reading, MA.
-
(1995)
Pattern Languages of Program Design
-
-
Coplien, J.O.1
Schmidt, D.C.2
-
15
-
-
0026096342
-
TXL: A rapid prototyping system for programming language dialects
-
Cordy, J.R., Halpern-Hamu, C.D., Promislow, E., 1991. TXL: a rapid prototyping system for programming language dialects. Comput. Languages 16 (1), 97-107.
-
(1991)
Comput. Languages
, vol.16
, Issue.1
, pp. 97-107
-
-
Cordy, J.R.1
Halpern-Hamu, C.D.2
Promislow, E.3
-
17
-
-
84940653917
-
Towards an Automative 'Safer Subset' of C. Proceedings of the 16th International Conference on Computer Safety, Reliability and Security: SAFECOMP '97
-
Daniel, P. (Ed.). Springer, New York
-
Edwards, P.D., Rivett, R.S., 1997. In: Daniel, P. (Ed.), Towards an Automative 'Safer Subset' of C. Proceedings of the 16th International Conference on Computer Safety, Reliability and Security: SAFECOMP '97, European Workshop on Industrial Computer Systems: TC-7. Springer, New York, pp. 185-195.
-
(1997)
European Workshop on Industrial Computer Systems: TC-7
, pp. 185-195
-
-
Edwards, P.D.1
Rivett, R.S.2
-
18
-
-
85094164960
-
KHEPERA: A System for Rapid Implementation of Domain Specific Languages
-
1997
-
Faith, R.E., Nyland, L.S., Prins, J.F., 1997. KHEPERA: A System for Rapid Implementation of Domain Specific Languages. In: Ramming (1997).
-
(1997)
Ramming
-
-
Faith, R.E.1
Nyland, L.S.2
Prins, J.F.3
-
19
-
-
0003880013
-
-
Addison-Wesley, Reading, MA
-
Gamma, E., Helm, R., Johnson, R., Vlissides, J., 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA.
-
(1995)
Design Patterns: Elements of Reusable Object-Oriented Software
-
-
Gamma, E.1
Helm, R.2
Johnson, R.3
Vlissides, J.4
-
20
-
-
0024108777
-
DAG - A program that draws directed graphs
-
Gansner, E.R., North, S.C., Vo, K.P., 1988. DAG - a program that draws directed graphs. Software-Pract. Exper. 18 (11), 1047-1062.
-
(1988)
Software-Pract. Exper.
, vol.18
, Issue.11
, pp. 1047-1062
-
-
Gansner, E.R.1
North, S.C.2
Vo, K.P.3
-
22
-
-
0347845223
-
Specializing in software engineering
-
Jackson, M., 1999. Specializing in software engineering. IEEE Software 16 (6), 119-121.
-
(1999)
IEEE Software
, vol.16
, Issue.6
, pp. 119-121
-
-
Jackson, M.1
-
23
-
-
0003792407
-
Yacc - Yet another compiler-compiler
-
Bell Laboratories, Murray Hill, NJ, USA, July
-
Johnson, S.C., 1975. Yacc - Yet another compiler-compiler, Computer Science Technical Report 32, Bell Laboratories, Murray Hill, NJ, USA, July.
-
(1975)
Computer Science Technical Report 32
-
-
Johnson, S.C.1
-
24
-
-
0006025287
-
Language development tools
-
Johnson, S.C., Lesk, M.E., 1987. Language development tools. Bell Syst. Tech. J. 56 (6), 2155-2176.
-
(1987)
Bell Syst. Tech. J.
, vol.56
, Issue.6
, pp. 2155-2176
-
-
Johnson, S.C.1
Lesk, M.E.2
-
26
-
-
0016564702
-
Ratfor - A preprocessor for a rational Fortran
-
Kernighan, B.W., 1975. Ratfor - a preprocessor for a rational Fortran. Software-Pract. Exper. 5 (4), 395-406.
-
(1975)
Software-Pract. Exper.
, vol.5
, Issue.4
, pp. 395-406
-
-
Kernighan, B.W.1
-
27
-
-
0019911212
-
PIC - A language for typesetting graphics
-
Kernighan, B.W., 1982. PIC - a language for typesetting graphics. Software-Pract. Exper. 12, 1-21.
-
(1982)
Software-Pract. Exper.
, vol.12
, pp. 1-21
-
-
Kernighan, B.W.1
-
28
-
-
0345953894
-
A system for typesetting mathematics
-
Bell Laboratories, Murray Hill, NJ, USA, May
-
Kernighan, B.W., Cherry, L.L., 1974. A system for typesetting mathematics, Computer Science Technical Report 17, Bell Laboratories, Murray Hill, NJ, USA, May.
-
(1974)
Computer Science Technical Report
, vol.17
-
-
Kernighan, B.W.1
Cherry, L.L.2
-
29
-
-
0003733154
-
-
McGraw-Hill, New York
-
Kernighan, B.W., Plauger, P.J., 1978. The Elements of Programming Style, second ed. McGraw-Hill, New York.
-
(1978)
The Elements of Programming Style, Second Ed.
-
-
Kernighan, B.W.1
Plauger, P.J.2
-
32
-
-
84943347452
-
The next 700 programming languages
-
Landin, P.J., 1966. The next 700 programming languages. Commun. ACM 9 (3), 157-166.
-
(1966)
Commun. ACM
, vol.9
, Issue.3
, pp. 157-166
-
-
Landin, P.J.1
-
33
-
-
0004018115
-
Lex - A lexical analyzer generator
-
Bell Laboratories, Murray Hill, NJ, USA, October
-
Lesk, M.E., 1975. Lex - a lexical analyzer generator, Computer Science Technical Report 39, Bell Laboratories, Murray Hill, NJ, USA, October.
-
(1975)
Computer Science Technical Report
, vol.39
-
-
Lesk, M.E.1
-
34
-
-
3843049024
-
Some Applications of Inverted Indexes on the Unix System
-
1979
-
Lesk, M., 1979a. Some Applications of Inverted Indexes on the Unix System. In: Unix Programmer's Manual (1979).
-
(1979)
Unix Programmer's Manual
-
-
Lesk, M.1
-
35
-
-
84915862443
-
TBL - A Program to Format Tables
-
1979
-
Lesk, M.E., 1979b. TBL - A Program to Format Tables. In: Unix Programmer's Manual (1979).
-
(1979)
Unix Programmer's Manual
-
-
Lesk, M.E.1
-
37
-
-
0346585150
-
SED - A Non-interactive Text Editor
-
1979
-
McMahon, L.E., 1979. SED - A Non-interactive Text Editor. In: Unix Programmer's Manual (1979).
-
(1979)
Unix Programmer's Manual
-
-
McMahon, L.E.1
-
42
-
-
0029190161
-
OOSPEC: An executable object-oriented specification language
-
ACM, ACM Press, New York
-
Paryavi, M.N., Hankley, W.J., 1995. OOSPEC: an executable object-oriented specification language. In: Proceedings of the of ACM 23rd Annual Computer Science Conference CSC '95, ACM, ACM Press, New York, pp. 169-177.
-
(1995)
Proceedings of the of ACM 23rd Annual Computer Science Conference CSC '95
, pp. 169-177
-
-
Paryavi, M.N.1
Hankley, W.J.2
-
44
-
-
0003433273
-
-
Prentice-Hall, Englewood Cliffs, NJ
-
Potter, B., Sinclair, J., Till, D., 1991. An Introduction to Formal Specification and Z. Prentice-Hall, Englewood Cliffs, NJ.
-
(1991)
An Introduction to Formal Specification and Z
-
-
Potter, B.1
Sinclair, J.2
Till, D.3
-
45
-
-
0347845226
-
-
USENIX, Santa Monica, CA, USA, October
-
Ramming, J.C. (Ed.), 1997. In: Proceedings of the USENIX Conference on Domain-Specific Languages, USENIX, Santa Monica, CA, USA, October.
-
(1997)
Proceedings of the USENIX Conference on Domain-Specific Languages
-
-
Ramming, J.C.1
-
47
-
-
0003547470
-
-
Addison-Wesley, Reading, MA
-
Rumbaugh, J., Jacobson, I., Booch, G., 1999. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, MA.
-
(1999)
The Unified Modeling Language Reference Manual
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
49
-
-
0002328880
-
Gperf: A perfect Hash function generator
-
Usenix Association, San Francisco, CA, USA
-
Schmidt, D.C., 1990. Gperf: a perfect Hash function generator. In: Proceedings of the USENIX C++ Conference, Usenix Association, San Francisco, CA, USA, pp. 87-100.
-
(1990)
Proceedings of the USENIX C++ Conference
, pp. 87-100
-
-
Schmidt, D.C.1
-
50
-
-
0141753113
-
The Death of Computer Languages and the Birth of Intentional Programming
-
Microsoft Corporation, Redmond, WA, USA, September. Available online
-
Simonyi, C., 1995. The Death of Computer Languages and the Birth of Intentional Programming, Technical Report MSR-TR-95-52, Microsoft Corporation, Redmond, WA, USA, September. Available online at ftp://ftp.research.microsoft.com/pub/tr/tr-95-52.ps.
-
(1995)
Technical Report MSR-TR-95-52
-
-
Simonyi, C.1
-
53
-
-
0029271789
-
Object-oriented technology in multiparadigm language implementation
-
Spinellis, D., Drossopoulou, S., Eisenbach, S., 1995. Object-oriented technology in multiparadigm language implementation. J. Object-Oriented Programming 8 (1), 33-38.
-
(1995)
J. Object-Oriented Programming
, vol.8
, Issue.1
, pp. 33-38
-
-
Spinellis, D.1
Drossopoulou, S.2
Eisenbach, S.3
-
54
-
-
0021546784
-
EMACS: The extensible, customizable, self-documenting display editor
-
Barstow, D. R., Shrobe, H. E., Sandwell, E. (Eds.), McGraw-Hill, New York
-
Stallman, R.M., 1984. In: Barstow, D. R., Shrobe, H. E., Sandwell, E. (Eds.), EMACS: the extensible, customizable, self-documenting display editor, Interactive Programming Environments. McGraw-Hill, New York, pp. 300-325.
-
(1984)
Interactive Programming Environments
, pp. 300-325
-
-
Stallman, R.M.1
-
55
-
-
0004278308
-
-
MIT Press, Cambridge, MA
-
Sterling, L., Shapiro, E., 1986. The Art of Prolog. MIT Press, Cambridge, MA.
-
(1986)
The Art of Prolog
-
-
Sterling, L.1
Shapiro, E.2
-
57
-
-
0021510750
-
Data abstraction in C
-
Stroustrup, B., 1984. Data abstraction in C. Bell Syst. Tech. J. 63 (8), 1701-1732.
-
(1984)
Bell Syst. Tech. J.
, vol.63
, Issue.8
, pp. 1701-1732
-
-
Stroustrup, B.1
-
58
-
-
0004190625
-
-
Addison-Wesley, Reading, MA
-
Turski, W.M., Maibaum, T.S.E., 1987. The Specification of Computer Programs. Addison-Wesley, Reading, MA.
-
(1987)
The Specification of Computer Programs
-
-
Turski, W.M.1
Maibaum, T.S.E.2
-
59
-
-
0026886255
-
OBSERV - A prototyping language and environment
-
Tyszberowicz, S., Yehudai, A., 1992. OBSERV - a prototyping language and environment. ACM Trans. Software Eng. Methodol. 1 (3), 269-309.
-
(1992)
ACM Trans. Software Eng. Methodol.
, vol.1
, Issue.3
, pp. 269-309
-
-
Tyszberowicz, S.1
Yehudai, A.2
-
60
-
-
0347845224
-
Unix Programmer's Manual
-
Bell Telephone Laboratories, Murray Hill, NJ, USA also available online
-
Unix Programmer's Manual, 1979. UNIX Programmer's Manual. Volume 2 - Supplementary Documents, seventh ed., Bell Telephone Laboratories, Murray Hill, NJ, USA (also available online http://plan9.bell-labs.com/7thEdMan/).
-
(1979)
UNIX Programmer's Manual. Volume 2 - Supplementary Documents, Seventh Ed.
, vol.2
-
-
-
61
-
-
0004207406
-
-
O'Reilly and Associates, Sebastopol, CA, USA
-
Wall, L., Schwartz, R.L., 1990. Programming Perl, O'Reilly and Associates, Sebastopol, CA, USA.
-
(1990)
Programming Perl
-
-
Wall, L.1
Schwartz, R.L.2
-
62
-
-
0346801849
-
On the design of programming languages
-
Rosenfeld, J.L. (Ed.), International Federation for Information Processing. North-Holland, Stockholm
-
Wirth, N., 1974. In: Rosenfeld, J.L. (Ed.), On the design of programming languages. In: Information Processing 74: Proceedings of IFIP Congress 74, International Federation for Information Processing. North-Holland, Stockholm, pp. 386-393.
-
(1974)
Information Processing 74: Proceedings of IFIP Congress
, vol.74
, pp. 386-393
-
-
Wirth, N.1
|