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
 
                             152 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstracting timed preemption with engines Haynes, Christopher T.
 1987
 2 p. 109-121
13 p.
 artikel
2 Access control for private declarations in Ada Shen, Jun
 1994
 2 p. 117-126
10 p.
 artikel
3 A complete semantics for SMALLTALK-80 Golubski, Wolfgang
 1995
 2 p. 67-79
13 p.
 artikel
4 A constraint language and its interpreter Zima, Hans P.
 1986
 2 p. 65-83
19 p.
 artikel
5 A critique of Occam channel types Fisher, A.J.
 1988
 2 p. 95-105
11 p.
 artikel
6 4974191 Adaptive natural language computer interface system Amirghodsi, Siamak
 1992
 2 p. i-
1 p.
 artikel
7 A distributed synchronization mechanism for interacting processes Yen, W.C.
 1983
 2 p. 51-60
10 p.
 artikel
8 A formal design of an Arabic Text Formatter for microcomputers Zaki, M.
 1987
 2 p. 123-143
21 p.
 artikel
9 A high level data structure—The grid Gehani, Narain
 1979
 2 p. 93-98
6 p.
 artikel
10 A layered, operational model of data control in programming languages Oudshoorn, Michael J
 1991
 2 p. 147-165
19 p.
 artikel
11 A mechanism for exception handling and its verification rules Cocco, N.
 1982
 2 p. 89-102
14 p.
 artikel
12 A methodology for procedure cloning Cooper, Keith D
 1993
 2 p. 105-117
13 p.
 artikel
13 Anatomy of a text analysis package Reed, Alan
 1984
 2 p. 89-96
8 p.
 artikel
14 An empirical study of the run-time behavior of quicksort, Shellsort and mergesort for medium to large size data Mansoor Sarwar, S.
 1994
 2 p. 127-134
8 p.
 artikel
15 An extension of SQL for querying graph relations Biskup, Joachim
 1990
 2 p. 65-82
18 p.
 artikel
16 An implementation of generators in C Budd, Timothy A.
 1982
 2 p. 69-87
19 p.
 artikel
17 An improved version of the Cocke-Younger-Kasami algorithm Manacher, Glenn K.
 1978
 2 p. 127-133
7 p.
 artikel
18 An LR parsing technique for extended context-free grammars Celentano, Augusto
 1981
 2 p. 95-107
13 p.
 artikel
19 Announcement 1980
 2 p. i-
1 p.
 artikel
20 Announcements 1981
 2 p. 114-
1 p.
 artikel
21 An outline of the programming language SIMULA Papazoglou, M.P.
 1984
 2 p. 107-131
25 p.
 artikel
22 ANS COBOL programming 1978
 2 p. 144-
1 p.
 artikel
23 A portable syntax analyzer for microcomputers Zaki, M.
 1985
 2 p. 127-146
20 p.
 artikel
24 Approximate techniques for modeling the performance of complex systems Spragins, John
 1979
 2 p. 99-129
31 p.
 artikel
25 A practical approach to type-sensitive parsing Sailor, Ken
 1994
 2 p. 101-116
16 p.
 artikel
26 A Primer on PASCAL 1978
 2 p. 143-
1 p.
 artikel
27 A probabilistic analysis of loop programs Szabo, M.E.
 1989
 2 p. 125-136
12 p.
 artikel
28 A proposal for comparison of types in Pascal and associated semantic models Fleck, A.C.
 1984
 2 p. 71-87
17 p.
 artikel
29 A relational model for the specification of data types Boudriga, N
 1992
 2 p. 101-131
31 p.
 artikel
30 A simplified approach to S/370 assembly language programming 1978
 2 p. 143-
1 p.
 artikel
31 A to Z: C language shortcomings Pohl, Ira
 1988
 2 p. 51-64
14 p.
 artikel
32 A unifying model for lookahead LR parsing Bermudez, Manuel E
 1991
 2 p. 167-178
12 p.
 artikel
33 A usually linear algorithm for register assignment using edge placement of load and store instructions Dhamdhere, D.M.
 1990
 2 p. 83-94
12 p.
 artikel
34 Automatically generating SL parsers from LL(1) grammars Barnard, David T.
 1989
 2 p. 93-98
6 p.
 artikel
35 BASIC: An introduction to programming 1981
 2 p. 111-
1 p.
 artikel
36 BASIC Made Easy: A guide to programming microcomputers and minicomputers 1981
 2 p. 109-
1 p.
 artikel
37 Binding strategies and scope rules are independent Virgilio, Thomas R.
 1982
 2 p. 61-67
7 p.
 artikel
38 Black-box specification in Spec Berzins, Valdis
 1991
 2 p. 113-127
15 p.
 artikel
39 Building Microsoft SQL Server 7 Applications with COM; By Sanjiv Purba. John Wiley & Sons, Inc. ISBN: 0-471-19233-3. Ledley, R.S
 1999
 2 p. 114-115
2 p.
 artikel
40 Building N-Tier Applications with COM And Visual Basic 6.0; Ash Rofail, Tony Martin. John Wiley & Sons, Inc. ISBN: 0-471-29549-3. Ledley, R.S
 1999
 2 p. 115-116
2 p.
 artikel
41 C as a second language for native speakers of Pascal 1988
 2 p. 107-
1 p.
 artikel
42 Characterization of program loops in code optimization Dhamdhere, D.M.
 1983
 2 p. 69-76
8 p.
 artikel
43 COBOL programming: A structured approach 1978
 2 p. 144-
1 p.
 artikel
44 Compositional Petri net models of advanced tasking in Ada-95 Gedela, Ravi K.
 1999
 2 p. 55-87
33 p.
 artikel
45 Concurrent applicative implementations of nondeterministic algorithms Salter, Richard
 1983
 2 p. 61-68
8 p.
 artikel
46 Constructors for composed objects Messerschmidt, Jan
 1982
 2 p. 53-59
7 p.
 artikel
47 Countdown Y2K; Peter de Jager, Richard Bergeon. John Wiley & Sons, Inc. ISBN: 0-471-32734-4. Ledley, R.S
 1999
 2 p. 113-
1 p.
 artikel
48 Data structures and program correctness: Bridging the gap Yelowitz, Lawrence
 1978
 2 p. 135-142
8 p.
 artikel
49 Denotational semantics: The scott-strachey approach to programming language theory 1983
 2 p. 94-
1 p.
 artikel
50 Deriving a compiler from an operational semantics written in VDL Mazaher, Shahrzade
 1985
 2 p. 147-164
18 p.
 artikel
51 Designing programming languages for the analyzability of pointer data structures Hendren, Laurie J
 1993
 2 p. 119-134
16 p.
 artikel
52 Development of computer languages and software Hsia, Pei
 1991
 2 p. 109-111
3 p.
 artikel
53 DFL: A Data Flow Language Patnaik, L.M.
 1984
 2 p. 97-106
10 p.
 artikel
54 Discrete mathematics in computer science 1978
 2 p. 144-
1 p.
 artikel
55 Dispel: A run-time debugging language Johnson, Mark Scott
 1981
 2 p. 79-94
16 p.
 artikel
56 Distributed programming with shared data Bal, Henri E
 1991
 2 p. 129-146
18 p.
 artikel
57 Editing symbols to be used by all authors in submitted manuscripts 1987
 2 p. i-ii
nvt p.
 artikel
58 Editing symbols to be used by all authors in submitted manuscripts 1983
 2 p. i-ii
nvt p.
 artikel
59 Editing symbols to be used by all authors in submitted manuscripts 1984
 2 p. i-ii
nvt p.
 artikel
60 Editing symbols to be used by all authors in submitted manuscripts 1985
 2 p. i-ii
nvt p.
 artikel
61 Editing symbols to be used by all authors in submitted manuscripts 1986
 2 p. i-ii
nvt p.
 artikel
62 Elements of functional languages 1988
 2 p. 107-
1 p.
 artikel
63 Elimination of single productions and merging nonterminal symbols of LR(1) grammars Demers, A.J.
 1975
 2 p. 105-119
15 p.
 artikel
64 Engines from continuations Dybvig, R.Kent
 1989
 2 p. 109-123
15 p.
 artikel
65 Evaluating inlining techniques Kaser, Owen
 1998
 2 p. 55-72
18 p.
 artikel
66 Exception handling: Expecting the unexpected Drew, Steven J.
 1994
 2 p. 69-87
19 p.
 artikel
67 4984151 Flexible, next-address generation microprogram sequencer Dujari, Vineet
 1992
 2 p. ii-
1 p.
 artikel
68 FORMAL: A language with a macro-oriented extension facility Nagata, Hiroyasu
 1980
 2 p. 65-76
12 p.
 artikel
69 Formal semantics of visual occam Al-Mulhem, Muhammed
 1998
 2 p. 99-113
15 p.
 artikel
70 Functional programming: Application and implementation 1981
 2 p. 111-
1 p.
 artikel
71 G: A functional language with generic abstract data types Bailes, Paul A.
 1987
 2 p. 69-94
26 p.
 artikel
72 Generating optimal contiguous evaluations for expression DAGs Keβler, Christoph W.
 1995
 2 p. 113-127
15 p.
 artikel
73 Generation of node lists using segment analysis Wadia, Aspi B.
 1980
 2 p. 115-129
15 p.
 artikel
74 Good programming practice in Ada 1988
 2 p. 107-
1 p.
 artikel
75 Grammar transformations for optimizing backtrack parsers Sarbo, Janos J.
 1994
 2 p. 89-100
12 p.
 artikel
76 Gras: A general framework for combining automatic code generation and register allocation Bryant, Kelvin S.
 1995
 2 p. 101-112
12 p.
 artikel
77 High level COBOL programming 1978
 2 p. 144-
1 p.
 artikel
78 I +: A multiparadigm language for object-oriented declarative programming Ng, K.W.
 1995
 2 p. 81-100
20 p.
 artikel
79 Implementing a data definition facility driven by graph grammars Barroso, P.B.
 1978
 2 p. 65-74
10 p.
 artikel
80 Implementing SNOBOL4 pattern matching in Icon Griswold, Ralph E.
 1983
 2 p. 77-92
16 p.
 artikel
81 Index 1998
 2 p. 115-118
4 p.
 artikel
82 Inference for transition network grammars Chou, S.M.
 1979
 2 p. 83-92
10 p.
 artikel
83 Integrating Emerald into a system for mixed-language programming Hayes, Roger
 1990
 2 p. 95-108
14 p.
 artikel
84 Integrating relational databases and constraint languages Hansen, Michael R.
 1989
 2 p. 63-82
20 p.
 artikel
85 Interface type checking of large C applications Myers, Heidi E
 1992
 2 p. 147-154
8 p.
 artikel
86 Interfacing microcomputers to the real world 1983
 2 p. 93-
1 p.
 artikel
87 Intermediate container removal McCrosky, Carl
 1991
 2 p. 179-195
17 p.
 artikel
88 Interpreters from functions and grammars Michaelson, Greg
 1986
 2 p. 85-104
20 p.
 artikel
89 Introduction to the special issue on ICCL '92 Cordy, James R
 1993
 2 p. 63-64
2 p.
 artikel
90 Language- and machine-independent global optimization on intermediate code Bal, Henri E.
 1986
 2 p. 105-121
17 p.
 artikel
91 Language features for prototyping and simulation support of the software life cycle Hooper, James W.
 1989
 2 p. 83-92
10 p.
 artikel
92 Languages and machines: An introduction to the theory of computer science 1988
 2 p. 108-
1 p.
 artikel
93 Learning BASIC fast 1981
 2 p. 110-
1 p.
 artikel
94 LINDA sub system on transputers Shekhar, K.H
 1993
 2 p. 125-136
12 p.
 artikel
95 LR techniques for handling syntax errors Degano, Pierpaolo
 1998
 2 p. 73-98
26 p.
 artikel
96 Making macrospace effective Flores, Ivan
 1978
 2 p. 95-113
19 p.
 artikel
97 4980819 Mechanism for automatically updating multiple unit register file memories in successive cycles for a pipelined processing system Cushing, David E
 1992
 2 p. i-
1 p.
 artikel
98 4992971 Method and apparatus for an automatic check of whether or not calling parameters correspond to called parameters during linkage operation Hayashi, Kazuhisa
 1992
 2 p. iii-
1 p.
 artikel
99 4991086 Microprogram controlled microprocessor having a plurality of internal buses and including transfer register designation system Kojima, Shingo
 1992
 2 p. ii-
1 p.
 artikel
100 MIS concepts and design 1981
 2 p. 110-
1 p.
 artikel
101 Mobile Processing in Distributed and Open Environments; Peter Sapaty. John Wiley and Sons, Inc. ISBN: 0-471-19572-3. Ledley, R.S
 1999
 2 p. 113-114
2 p.
 artikel
102 Multi-way streams in Scheme Franco, John
 1990
 2 p. 109-125
17 p.
 artikel
103 4991130 Normalization control system for floating point arithmetic operation Kojima, Shingo
 1992
 2 p. iii-
1 p.
 artikel
104 4989132 Object-oriented, logic, and database programming tool with garbage collection Mellender, Fredric H
 1992
 2 p. ii-
1 p.
 artikel
105 On context-free programmed grammars Sebesta, Robert W.
 1989
 2 p. 99-108
10 p.
 artikel
106 On the power of abstract interpretation Reddy, Uday S
 1993
 2 p. 79-89
11 p.
 artikel
107 Optimization of very high level languages—I Schwartz, J.T.
 1975
 2 p. 161-194
34 p.
 artikel
108 Optimizing floating point operations in Scheme Wong, W.F.
 1999
 2 p. 89-112
24 p.
 artikel
109 Optimizing structural recursion in functional programs Thiemann, Peter J
 1993
 2 p. 91-103
13 p.
 artikel
110 Orthogonal languages: A framework for program development Rotenstreich, Shmuel
 1992
 2 p. 83-100
18 p.
 artikel
111 Parallel compilation: A design and its application to SIMULA 67 Schwartz, Richard L.
 1978
 2 p. 75-94
20 p.
 artikel
112 Parallel developments in programming languages and operating systems Crowley, Charles
 1979
 2 p. 71-82
12 p.
 artikel
113 Parallel programming: An axiomatic approach Hoare, C.A.R.
 1975
 2 p. 151-160
10 p.
 artikel
114 Parametric composable modules in a logic programming language Lamma, Evelina
 1993
 2 p. 105-123
19 p.
 artikel
115 Partial evaluation grammars Nederhof, Mark-Jan
 1993
 2 p. 137-151
15 p.
 artikel
116 Pascal: A considerate approach 1983
 2 p. 93-
1 p.
 artikel
117 Problem-solving principles: Programming with Pascal 1983
 2 p. 94-
1 p.
 artikel
118 Procedural operators considered as fundamental programming devices Symes, D.M.
 1985
 2 p. 75-89
15 p.
 artikel
119 Programming FORTRAN 77: A structured approach 1981
 2 p. 109-
1 p.
 artikel
120 Programming in standard FORTRAN 77 1981
 2 p. 110-
1 p.
 artikel
121 Programming language 1978
 2 p. 144-
1 p.
 artikel
122 Programming language theory and its implementation 1988
 2 p. 107-
1 p.
 artikel
123 Programming the TI-55 slide rule calculator 1983
 2 p. 93-
1 p.
 artikel
124 Program structure as basis for the parallelization of global register allocation Zobel, Angelika
 1993
 2 p. 135-155
21 p.
 artikel
125 PROGRAPH: A preliminary report Matwin, S.
 1985
 2 p. 91-126
36 p.
 artikel
126 Real-time constraints in a rapid prototyping language Luqi,
 1993
 2 p. 77-103
27 p.
 artikel
127 Register assignment using code placement techniques Dhamdhere, D.M.
 1988
 2 p. 75-93
19 p.
 artikel
128 RPG and RPG II Programming: Applied Fundamentals 1981
 2 p. 111-
1 p.
 artikel
129 SIMPLE: A program development system Celentano, Augusto
 1980
 2 p. 103-114
12 p.
 artikel
130 SL parses the LR languages Barnard, David T.
 1988
 2 p. 65-74
10 p.
 artikel
131 Software debugging for microcomputers 1981
 2 p. 109-
1 p.
 artikel
132 Software for educational computing 1983
 2 p. 94-
1 p.
 artikel
133 Software manual for the elementary functions 1981
 2 p. 110-
1 p.
 artikel
134 Software reliability guidebook 1981
 2 p. 112-
1 p.
 artikel
135 Software verification and validation: Realistic project approaches 1983
 2 p. 93-
1 p.
 artikel
136 Source statement libraries and IBM System/370 Flores, I.
 1975
 2 p. 139-150
12 p.
 artikel
137 Static analysis of PostScript code Nigel Horspool, R
 1993
 2 p. 65-78
14 p.
 artikel
138 4980821 Stock-memory-based writable instruction set computer having a single data bus Koopman, Philip
 1992
 2 p. ii-
1 p.
 artikel
139 Structured program lookahead Strothotte, Thomas W.
 1987
 2 p. 95-108
14 p.
 artikel
140 Structured programming with PL/I: An introduction 1978
 2 p. 143-
1 p.
 artikel
141 Structured system programming 1981
 2 p. 112-
1 p.
 artikel
142 Structuring FP-style functional programs Fleck, A.C.
 1986
 2 p. 55-63
9 p.
 artikel
143 Sublist assertions for listless and lazy evaluation Jayaraman, Bharat
 1992
 2 p. 133-146
14 p.
 artikel
144 The Cobol Environment 1981
 2 p. 112-113
2 p.
 artikel
145 The data processing security game: Safeguarding against the real dangers of computer abuse 1978
 2 p. 143-
1 p.
 artikel
146 The effect of operators on parsing and evaluation in APL Georgeff, M.P.
 1981
 2 p. 67-78
12 p.
 artikel
147 The formal definition of semantics by string automata Kampen, G.
 1975
 2 p. 121-138
18 p.
 artikel
148 Three simple node list algorithms Warren Jr., Henry S.
 1978
 2 p. 115-126
12 p.
 artikel
149 3-Tier Client/Server at Work — Revised Edition; By Jeri Edwards. John Wiley & Sons, Inc. ISBN: 0-471-31502-8. Ledley, R.S
 1999
 2 p. 116-117
2 p.
 artikel
150 Toward modular verifiable exception handling Berry, D.M.
 1980
 2 p. 77-101
25 p.
 artikel
151 Turbo C: The essentials of C programming 1988
 2 p. 107-
1 p.
 artikel
152 Utilizing system 360/370 OS and VS job control language and utility programs 1981
 2 p. 112-
1 p.
 artikel
                             152 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland