Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             204 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A closer look at export and import statements Felleisen, Matthias
 1986
 1 p. 29-37
9 p.
 artikel
2 A compiler writing system based on affix grammars Haripriyan, H.K.
 1988
 1 p. 1-11
11 p.
 artikel
3 A continuation-based language embedded in Scheme Wang, Ching-Lin
 1992
 1 p. 19-37
19 p.
 artikel
4 Activity simulation in Modula-2: An exercise in language extension Salzman, Eric
 1992
 1 p. 39-60
22 p.
 artikel
5 A denotational approach for type-checking in object-oriented programming languages Ierusalimschy, Roberto
 1993
 1 p. 19-40
22 p.
 artikel
6 Advanced programming: Design and structure using pascal 1987
 1 p. 67-
1 p.
 artikel
7 A formal notation for specifying static semantic rules Williams, M.H.
 1980
 1 p. 37-55
19 p.
 artikel
8 A grammatical specification of human-computer dialogue Nymeyer, Albert
 1995
 1 p. 1-16
16 p.
 artikel
9 A guide for programmers 1979
 1 p. 67-
1 p.
 artikel
10 A logical basis for nested array data structures Jenkins, Michael A.
 1989
 1 p. 35-51
17 p.
 artikel
11 Altering and applying predicates Justin Coven, H
 1993
 1 p. 57-75
19 p.
 artikel
12 An approach to software system behavior description Riddle, William E.
 1979
 1 p. 29-47
19 p.
 artikel
13 An approach to software system modelling and analysis Riddle, William E.
 1979
 1 p. 49-66
18 p.
 artikel
14 A new approach to code motion and its application to hoisting Crawford, John H.
 1980
 1 p. 29-36
8 p.
 artikel
15 A new programming environment with a multi-display terminal and early experiences with it Mano, Yoshihisa
 1984
 1 p. 39-49
11 p.
 artikel
16 An executable specification language for fast prototyping parallel responsive systems Heping, H.
 1996
 1 p. 1-13
13 p.
 artikel
17 An interpreter for slips—An applicative language based on LAMBDA-Calculus Gehlot, Vijay
 1986
 1 p. 1-13
13 p.
 artikel
18 An introduction to object-oriented programming and Smalltalk 1989
 1 p. 61-
1 p.
 artikel
19 Announcement Trumpy, S.
 1975
 1 p. 2-
1 p.
 artikel
20 Announcement 1985
 1 p. i-
1 p.
 artikel
21 A portable implementation of UNITY on von Neumann machines Radha, S
 1993
 1 p. 17-30
14 p.
 artikel
22 Applied APL programming 1980
 1 p. 62-
1 p.
 artikel
23 Applying Turbo Pascal library units 1989
 1 p. 61-
1 p.
 artikel
24 A primer on disciplined programming using PL/I, PL/CS and PL/CT 1979
 1 p. 67-
1 p.
 artikel
25 A primitive-based strategy for producing efficient code for very high level programs Ching, Wai-Mee
 1993
 1 p. 41-50
10 p.
 artikel
26 A programming language engineered for beginners Hughes, Herman D.
 1985
 1 p. 23-36
14 p.
 artikel
27 A programming logic 1980
 1 p. 59-
1 p.
 artikel
28 A proposal for a genuinely-lazy streams facility for Ada Bailes, Paul A
 1993
 1 p. 31-55
25 p.
 artikel
29 Arabic Text Formatter: Comments and implementation Abi-Akar, Ramez
 1989
 1 p. 53-60
8 p.
 artikel
30 A semantic view of ALGOL 68 Schwartz, Richard L.
 1979
 1 p. 1-15
15 p.
 artikel
31 A sketch-based technique for the derivation of self-interpreters Reeves, A.C.
 1999
 1 p. 1-37
37 p.
 artikel
32 A solution of the syntactical induction-inference problem for regular languages Pao, Tsyh-Wen
 1978
 1 p. 53-64
12 p.
 artikel
33 A stream data type that supports goal-directed pattern matching on unbounded sequences of values Nilsen, Kelvin
 1990
 1 p. 41-54
14 p.
 artikel
34 A survey on syntactic error recovery and repair Hammond, K.
 1984
 1 p. 51-67
17 p.
 artikel
35 A text editing interface: Definition and use Thimbleby, Harold
 1982
 1 p. 25-40
16 p.
 artikel
36 BASIC for business for the PDP-11 1981
 1 p. 59-
1 p.
 artikel
37 Basic programming for business 1980
 1 p. 57-
1 p.
 artikel
38 BASIC programming for scientists and engineers 1980
 1 p. 58-
1 p.
 artikel
39 BASIC programming: Self-taught 1981
 1 p. 60-
1 p.
 artikel
40 Beginning COBOL: An interactive and structured approach 1987
 1 p. 67-68
2 p.
 artikel
41 Broadcasting buffering communication Broy, Manfred
 1988
 1 p. 31-47
17 p.
 artikel
42 Case study: The PAISLey approach applied to its own software tools Zave, Pamela
 1986
 1 p. 15-28
14 p.
 artikel
43 COBOL a pragmatic approach 1980
 1 p. 57-58
2 p.
 artikel
44 COBOL for beginners 1980
 1 p. 58-
1 p.
 artikel
45 COBOL for students: A programming primer 1979
 1 p. 67-
1 p.
 artikel
46 Computationally extended logic programming Rubenstein, Michael C.
 1987
 1 p. 1-7
7 p.
 artikel
47 Computer acronyms, abbreviations, etc 1983
 1 p. 49-
1 p.
 artikel
48 Computer Languages: A perspective Rine, David C.
 1991
 1 p. 1-3
3 p.
 artikel
49 Computer programming made simple 1987
 1 p. 67-
1 p.
 artikel
50 Computing, a problem-solving approach with FORTRAN 77 1983
 1 p. 48-
1 p.
 artikel
51 ConC: A language for concurrent programming Garg, Vijay K.
 1991
 1 p. 5-18
14 p.
 artikel
52 Concurrency in Ada and multicomputers Gehani, N.H.
 1982
 1 p. 21-23
3 p.
 artikel
53 Context-free parsing on O(n) processors Barnard, D.T
 1992
 1 p. 61-66
6 p.
 artikel
54 Creating efficient programs by exchanging data for procedures Franco, John
 1989
 1 p. 11-23
13 p.
 artikel
55 Data structures and P1/1 programming 1981
 1 p. 62-
1 p.
 artikel
56 Data structures using Pascal 1983
 1 p. 47-
1 p.
 artikel
57 Direct microprogrammed execution of the intermediate text from a high-level language compiler Merwin, Richard E.
 1975
 1 p. 17-28
12 p.
 artikel
58 Discourse production 1980
 1 p. 61-
1 p.
 artikel
59 Distributed termination of concurrent processes in Occam Talia, Domenico
 1993
 1 p. 51-62
12 p.
 artikel
60 Editing symbols to be used by all authors in submitted manuscripts 1986
 1 p. i-ii
nvt p.
 artikel
61 Editing symbols to be used by all authors in submitted manuscripts 1983
 1 p. iii-iv
nvt p.
 artikel
62 Editing symbols to be used by all authors in submitted manuscripts 1987
 1 p. i-ii
nvt p.
 artikel
63 Editing symbols to be used by all authors in submitted manuscripts 1984
 1 p. i-ii
nvt p.
 artikel
64 Editing symbols to be used by all authors in submitted manuscripts 1985
 1 p. iii-iv
nvt p.
 artikel
65 Editorial Ledley, Robert S.
 1975
 1 p. 1-2
2 p.
 artikel
66 Editorial Board 1979
 1 p. IFC-
1 p.
 artikel
67 Editorial Board 1978
 1 p. IFC-
1 p.
 artikel
68 Editorial Board 1975
 1 p. IFC-
1 p.
 artikel
69 Editorial Board 1984
 1 p. IFC-
1 p.
 artikel
70 Editorial Board 1987
 1 p. IFC-
1 p.
 artikel
71 Editorial Board 1995
 1 p. IFC-
1 p.
 artikel
72 Editorial Board 1996
 1 p. IFC-
1 p.
 artikel
73 Editorial Board 1997
 1 p. IFC-
1 p.
 artikel
74 Editorial Board 1994
 1 p. IFC-
1 p.
 artikel
75 Editorial Board 1991
 1 p. IFC-
1 p.
 artikel
76 Editorial Board 1993
 1 p. IFC-
1 p.
 artikel
77 Editorial Board 1992
 1 p. IFC-
1 p.
 artikel
78 Editorial Board 1993
 1 p. IFC-
1 p.
 artikel
79 Editorial Board 1990
 1 p. IFC-
1 p.
 artikel
80 Editorial Board 1981
 1 p. IFC-
1 p.
 artikel
81 Editorial Board 1985
 1 p. IFC-
1 p.
 artikel
82 Editorial Board 1986
 1 p. IFC-
1 p.
 artikel
83 Editorial Board 1982
 1 p. IFC-
1 p.
 artikel
84 Editorial Board 1989
 1 p. IFC-
1 p.
 artikel
85 Editorial Board 1983
 1 p. IFC-
1 p.
 artikel
86 Editorial Board 1988
 1 p. IFC-
1 p.
 artikel
87 Editorial Board 1980
 1 p. IFC-
1 p.
 artikel
88 Elementary computer programming in FORTRAN IV—2nd Edition 1981
 1 p. 64-
1 p.
 artikel
89 Elements of style among machine-generated COBOL flowcharts Peterson, Norman D.
 1978
 1 p. 1-11
11 p.
 artikel
90 Engineering quicksort Sarwar, S.Mansoor
 1996
 1 p. 39-47
9 p.
 artikel
91 EQL: A language for numerical computation Nagata, Hiroyasu
 1979
 1 p. 17-27
11 p.
 artikel
92 Experience with a dataflow datatype Weiser, Mark
 1985
 1 p. 37-42
6 p.
 artikel
93 Extending PL/I for structured programming Sullivan, Joseph E.
 1975
 1 p. 29-43
15 p.
 artikel
94 Extending temporal query languages to handle imprecise time intervals Bassiouni, M.A.
 1999
 1 p. 39-54
16 p.
 artikel
95 Extracting program structure for packaging in a component-based environment Purtilo, James M.
 1995
 1 p. 39-48
10 p.
 artikel
96 First-class stores and partial continuations in a programming language and environment Johnson, Gregory F
 1994
 1 p. 53-68
16 p.
 artikel
97 FLEX: Towards flexible real-time programs Lin, Kwei-Jay
 1991
 1 p. 65-79
15 p.
 artikel
98 Formal integration: A program transformation technique Sharir, Micha
 1981
 1 p. 35-46
12 p.
 artikel
99 Formal semantics of a SNOBOL4 subset Pagan, F.G.
 1978
 1 p. 13-30
18 p.
 artikel
100 Formal specification of programming languages 1983
 1 p. 47-48
2 p.
 artikel
101 FORTH: A text and reference 1987
 1 p. 67-
1 p.
 artikel
102 FORTRAN 77 featuring structured programming 1983
 1 p. 47-
1 p.
 artikel
103 FORTRAN, PL/1 and the ALGOLS 1980
 1 p. 61-62
2 p.
 artikel
104 From Babbage to Babel and beyond: A brief history of programming languages Friedman, Linda Weiser
 1992
 1 p. 1-17
17 p.
 artikel
105 Functional combination Friedman, Daniel P.
 1978
 1 p. 31-35
5 p.
 artikel
106 Fundamentals of FORTRAN programming 1981
 1 p. 64-
1 p.
 artikel
107 How to plan, design and implement a bad system 1983
 1 p. 48-
1 p.
 artikel
108 Implementing polymorphic typing in a logic programming language Kwon, Keehang
 1994
 1 p. 25-42
18 p.
 artikel
109 Interactive development of object handling programs Gini, Giuseppina C.
 1982
 1 p. 1-10
10 p.
 artikel
110 Introducing C to Pascal programmers 1989
 1 p. 61-
1 p.
 artikel
111 Introduction to COBOL: A primer and programming guide 1987
 1 p. 67-
1 p.
 artikel
112 Introduction to formal language theory 1980
 1 p. 60-61
2 p.
 artikel
113 Introduction to microprocessor programming using PLZ 1981
 1 p. 60-
1 p.
 artikel
114 Introduction to SIMULA 67 1983
 1 p. 49-
1 p.
 artikel
115 Introductory experiments in digital electronics and 8080A microcomputer programming and interfacing 1980
 1 p. 63-
1 p.
 artikel
116 Introductory experiments in digital electronics and 8080A microcomputer programming and interfacing—Book 2 1981
 1 p. 59-
1 p.
 artikel
117 Language aspects of ENVISAGER: An object-oriented environment for the specification of real-time systems Diaz-Gonzalez, JoséP.
 1991
 1 p. 19-37
19 p.
 artikel
118 Language constructs for real-time distributed systems Berry, D.M.
 1982
 1 p. 11-20
10 p.
 artikel
119 Language features for discrete simulation Hooper, James W.
 1987
 1 p. 39-46
8 p.
 artikel
120 Learning COBOL fast 1979
 1 p. 68-
1 p.
 artikel
121 Lenient evaluation and parallelism Tremblay, G.
 2000
 1 p. 27-41
15 p.
 artikel
122 Lenient evaluation is neither strict nor lazy Tremblay, G.
 2000
 1 p. 43-66
24 p.
 artikel
123 Letter to the editor Berry, Daniel M.
 1984
 1 p. 69-
1 p.
 artikel
124 List and execute forms of macros Flores, Ivan
 1975
 1 p. 45-60
16 p.
 artikel
125 List processing primitives for parallel computation Axford, Tom
 1993
 1 p. 1-17
17 p.
 artikel
126 Logical programming for the telegram analysis problem Torii, Koji
 1987
 1 p. 9-20
12 p.
 artikel
127 Mealy machines are a better model of lexical analyzers Yang, Wuu
 1996
 1 p. 27-38
12 p.
 artikel
128 Mechanical proof testing Rich, Robert P.
 1980
 1 p. 1-28
28 p.
 artikel
129 Mechanizing bankers' morality McKeeman, W.M.
 1975
 1 p. 73-82
10 p.
 artikel
130 Methods for specifying static semantics Williams, M.H.
 1981
 1 p. 1-17
17 p.
 artikel
131 Microprocessor programming & software development 1981
 1 p. 61-
1 p.
 artikel
132 Microprocessors and microcomputers: Hardware and software 1981
 1 p. 61-
1 p.
 artikel
133 Microprogramming techniques with sample programs 1981
 1 p. 62-
1 p.
 artikel
134 Modeling the Ada task system by Petri nets Mandrioli, D.
 1985
 1 p. 43-61
19 p.
 artikel
135 Notice 1983
 1 p. i-
1 p.
 artikel
136 Object logic integration: A multiparadigm design methodology and a programming language Lee, J.H.M.
 1997
 1 p. 25-42
18 p.
 artikel
137 Occam—A programming language for multiprocessor systems Elizabeth, M.
 1987
 1 p. 27-37
11 p.
 artikel
138 On display optimization for Algol-like languages Nawrocki, J.R.
 1990
 1 p. 27-39
13 p.
 artikel
139 On open arrays and variable number of parameters de Carvalho, Claudio Sergio Da Rós
 1992
 1 p. 67-74
8 p.
 artikel
140 On string pattern matching: A quantitative analysis and a proposal Ken-Chih Liu,
 1988
 1 p. 23-29
7 p.
 artikel
141 Operating data entry systems 1980
 1 p. 57-
1 p.
 artikel
142 Optimal code from flow graphs Ramanath, M.V.S.
 1982
 1 p. 41-52
12 p.
 artikel
143 Optimization of hierarchical directed graphs Lepage, M.T.
 1981
 1 p. 19-34
16 p.
 artikel
144 Parallel recognition and parsing on mesh connected computers with multiple broadcasting Pradeep, B
 1994
 1 p. 43-51
9 p.
 artikel
145 Parsing in parallel Lozinskii, Eliezer L.
 1986
 1 p. 39-51
13 p.
 artikel
146 Pascal from begin to end 1988
 1 p. 49-
1 p.
 artikel
147 Performance issues in C language fault-tolerant software Coleman, Don M.
 1989
 1 p. 1-9
9 p.
 artikel
148 Personal computers: What they are & how to use them 1980
 1 p. 59-
1 p.
 artikel
149 Practical exception handling and resolution in concurrent programs Romanovsky, Alexander
 1997
 1 p. 43-58
16 p.
 artikel
150 Principles of software engineering and design 1980
 1 p. 61-
1 p.
 artikel
151 Problems for computer solutions using BASIC 1981
 1 p. 64-65
2 p.
 artikel
152 Problem solving and the computer: A structured concept with PL/1 (PL/C) 1981
 1 p. 59-
1 p.
 artikel
153 Program design and construction 1981
 1 p. 62-
1 p.
 artikel
154 Programming expert systems in OPS5 1986
 1 p. 53-
1 p.
 artikel
155 Programming for poets: A gentle introduction using PASCAL 1981
 1 p. 63-64
2 p.
 artikel
156 Programming in standard FORTRAN 77 1981
 1 p. 61-
1 p.
 artikel
157 Programming languages 1986
 1 p. 53-
1 p.
 artikel
158 Programming standards and guidelines: COBOL edition 1988
 1 p. 49-
1 p.
 artikel
159 Programming with Ada: An introduction by means of graduated examples 1981
 1 p. 62-63
2 p.
 artikel
160 Program testing by specification mutation Budd, Timothy A.
 1985
 1 p. 63-73
11 p.
 artikel
161 PROTOB: An object oriented methodology for developing discrete event dynamic systems Baldassari, Marco
 1991
 1 p. 39-63
25 p.
 artikel
162 Recent developments in the theory of data structures Fleck, A.C.
 1978
 1 p. 37-52
16 p.
 artikel
163 Recursive ascent-descent parsing Nigel Horspool, R
 1993
 1 p. 1-15
15 p.
 artikel
164 Register allocation via coloring Chaitin, Gregory J.
 1981
 1 p. 47-57
11 p.
 artikel
165 Result sequences Wampler, Stephen B.
 1983
 1 p. 1-14
14 p.
 artikel
166 RPG II with business applications 1980
 1 p. 60-
1 p.
 artikel
167 RT-CDL: A distributed real-time design language and its operational semantics Liu, Leo YuHsiang
 1994
 1 p. 1-23
23 p.
 artikel
168 Scheduling expression DAGs for minimal register need Kessler1 , Christoph W.
 1998
 1 p. 33-53
21 p.
 artikel
169 Scheduling expression trees with reusable registers on delayed-load architectures Venugopal, R.
 1995
 1 p. 49-65
17 p.
 artikel
170 Scientific analysis for programmable calculators 1983
 1 p. 48-49
2 p.
 artikel
171 Semantic issues in the design of languages for debugging Crawford, Richard H.
 1995
 1 p. 17-37
21 p.
 artikel
172 Semantic predicates in parser generators Ganapathi, Mahadevan
 1989
 1 p. 25-33
9 p.
 artikel
173 Semantics of well-moded input-consuming logic programs Bossi, Annalisa
 2000
 1 p. 1-25
25 p.
 artikel
174 Seque: A programming language for manipulating sequences Griswold, Ralph E.
 1988
 1 p. 13-22
10 p.
 artikel
175 SequenceL provides a different way to view programming Cooke, Daniel E.
 1998
 1 p. 1-32
32 p.
 artikel
176 Software debugging for microcomputers 1981
 1 p. 63-
1 p.
 artikel
177 Software design for microcomputers 1980
 1 p. 59-
1 p.
 artikel
178 Specification and testing of abstract data types Jalote, Pankaj
 1992
 1 p. 75-82
8 p.
 artikel
179 Standard relational and network database languages 1989
 1 p. 61-
1 p.
 artikel
180 Staple, an experimental structured programming language Stewart, S.L.
 1975
 1 p. 61-71
11 p.
 artikel
181 Structured FORTRAN with WATIV 1980
 1 p. 63-
1 p.
 artikel
182 Structured programming and problem-solving with Pascal 1980
 1 p. 59-
1 p.
 artikel
183 Structured programming and problem-solving with PL/1 1980
 1 p. 62-
1 p.
 artikel
184 Structured programming in APL 1980
 1 p. 62-63
2 p.
 artikel
185 Supporting control definition in programming languages Colombetti, Marco
 1984
 1 p. 1-23
23 p.
 artikel
186 Synchronisation, concurrent object-oriented programming and the inheritance anomaly Mitchell, S.E.
 1996
 1 p. 15-26
12 p.
 artikel
187 The contraction of control implementations Coon, Lawrence A.
 1983
 1 p. 15-25
11 p.
 artikel
188 The design of algorithms in Pascal 1988
 1 p. 49-
1 p.
 artikel
189 The design of Apple—A language for modular programs Kieburtz, Richard B.
 1985
 1 p. 1-22
22 p.
 artikel
190 The equational specification of efficient compiler code generation Hatcher, P.J.
 1991
 1 p. 81-95
15 p.
 artikel
191 The hierarchical development of a generic type mechanism for functional languages Bailes, Paul A.
 1990
 1 p. 1-26
26 p.
 artikel
192 The network nation. Human communication via computer 1980
 1 p. 60-
1 p.
 artikel
193 The precise handling of qualitative relationships Ledley, Robert S.
 1975
 1 p. 83-99
17 p.
 artikel
194 The Synthesizer Generator: A system for constructing language-based editors 1989
 1 p. 61-
1 p.
 artikel
195 The 7th International Symposium on Computer Architecture 1979
 1 p. 69-
1 p.
 artikel
196 The use of combinators in translating a purely functional language to low-level data-flow graphs Maurer, Peter M.
 1983
 1 p. 27-45
19 p.
 artikel
197 Top-down, modular programming in FORTRAN with WATFIV 1981
 1 p. 60-
1 p.
 artikel
198 Towards a facility for lexically scoped, dynamic mutual recursion in Scheme Franco, John
 1990
 1 p. 55-64
10 p.
 artikel
199 Two implementation models of abstract data types Gannon, John D.
 1987
 1 p. 21-25
5 p.
 artikel
200 TXL: A rapid prototyping system for programming language dialects Cordy, James R.
 1991
 1 p. 97-107
11 p.
 artikel
201 Using closures for code generation Feeley, Marc
 1987
 1 p. 47-66
20 p.
 artikel
202 Using FP as a query language for relational data-bases Bossi, Annalisa
 1984
 1 p. 25-37
13 p.
 artikel
203 Very high-level language design: A viewpoint Tucker, Allen
 1975
 1 p. 3-16
14 p.
 artikel
204 Visual Occam: Syntax and semantics Al-Mulhem, Muhammed
 1997
 1 p. 1-24
24 p.
 artikel
                             204 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland