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
 
                             71 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A comparison of Cobol, Fortran, PL-I and Spitbol Tharp, Alan L.
 1977
 4 p. 171-178
8 p.
 artikel
2 A controlling scheme for Prolog through count terms Nam, Young K
 1993
 4 p. 235-245
11 p.
 artikel
3 Action semantics-directed prototyping Doh, Kyung-Goo
 1993
 4 p. 213-233
21 p.
 artikel
4 Active objects as atomic control structures in BaLinda K Yuen, C.K.
 1998
 4 p. 229-244
16 p.
 artikel
5 A lambda-calculus model of programming languages—II. Jumps and procedures Abdali, S.Kamal
 1975
 4 p. 303-320
18 p.
 artikel
6 A lambda-calculus model of programming languages—I. Simple constructs Abdali, S.Kamal
 1975
 4 p. 287-301
15 p.
 artikel
7 Algebraic tools for language processing Rus, Teodor
 1994
 4 p. 213-238
26 p.
 artikel
8 An abstract programming language and correctness proofs Liu, Shaoying
 1993
 4 p. 273-282
10 p.
 artikel
9 An operational semantics for Icon: Implementation of a procedural goal-directed language O'Bagy, Janalee
 1993
 4 p. 217-239
23 p.
 artikel
10 An SR approach to multiway rendezvous Coffin, Michael
 1989
 4 p. 255-262
8 p.
 artikel
11 A parallel implementation of the SCAN language Bourbakis, Nikolaos G.
 1989
 4 p. 239-254
16 p.
 artikel
12 APL: The language and its usage 1975
 4 p. 344-
1 p.
 artikel
13 A practical minimum distance method for syntax error handling Dain, J.A.
 1994
 4 p. 239-252
14 p.
 artikel
14 A process oriented semantics of the PRAM-language FORK Rünger, Gudula
 1994
 4 p. 253-265
13 p.
 artikel
15 A statistical analysis of syntax errors Ripley, G.David
 1978
 4 p. 227-240
14 p.
 artikel
16 A synthesis of type-checking and parsing McCrosky, Carl
 1993
 4 p. 241-250
10 p.
 artikel
17 BaLinda Lisp: Design and implementation Feng, M.D.
 1996
 4 p. 205-214
10 p.
 artikel
18 Building efficient incremental LL parsers by augmenting LL tables and threading parse trees Li, Warren X.
 1996
 4 p. 225-235
11 p.
 artikel
19 C-Flavours: A Scheme-based flavour system with coroutines and its application to the design of object-oriented simulation software Kreutzer, Wolfgang
 1990
 4 p. 225-249
25 p.
 artikel
20 Closure generation based on viewing lambda as epsilon plus compile Feeley, Marc
 1992
 4 p. 251-267
17 p.
 artikel
21 Compiling lambda-expressions using continuations and factorizations Wand, Mitchell
 1978
 4 p. 241-263
23 p.
 artikel
22 Conference on Applications on Numerical Software—Needs and Availability 1977
 4 p. 187-
1 p.
 artikel
23 Copyright protection for computer programs and other computer readable works Joseloff, Samuel H.
 1978
 4 p. 265-266
2 p.
 artikel
24 Distributed logic objects Ciampolini, A.
 1996
 4 p. 237-258
22 p.
 artikel
25 Dynamic composition of parameterised logic modules Brogi, Antonio
 1999
 4 p. 211-242
32 p.
 artikel
26 Elements of a distributed programming system White, James E.
 1977
 4 p. 117-134
18 p.
 artikel
27 Error handling in a parallel LR substring parser Clarke, Gwen
 1993
 4 p. 247-259
13 p.
 artikel
28 Etudes for programmers 1978
 4 p. 268-269
2 p.
 artikel
29 Facet Grammars: Towards static semantic analysis by context-free parsing Bailes, Paul A
 1993
 4 p. 251-271
21 p.
 artikel
30 Fail-safety techniques and their extensions to concurrent systems Drew, Steven J.
 1996
 4 p. 193-203
11 p.
 artikel
31 Functional semantics of programs with exceptions Bolot, Jean-Chrysostome
 1990
 4 p. 251-265
15 p.
 artikel
32 Fundamentals of structured programming using FORTRAN with SF/k and WATFIV-S 1978
 4 p. 267-268
2 p.
 artikel
33 Grammar partitioning and modular deterministic parsing 1 1 Work supported by CNR-CESTIA, ESPRIT P6333 IDEA and by Politecnico di Milano-Progetto Prometeus. Crespi Reghizzi, Stefano
 1998
 4 p. 197-227
31 p.
 artikel
34 High level iterators and a method for automatically designing data structure representation Earley, Jay
 1975
 4 p. 321-342
22 p.
 artikel
35 Incremental attribute evaluation through recursive procedures Murching, Arvind M.
 1989
 4 p. 225-237
13 p.
 artikel
36 Incremental generation of LR parsers Horspool, R.Nigel
 1990
 4 p. 205-223
19 p.
 artikel
37 Incremental recursive descent parsing Murching, Arvind M.
 1990
 4 p. 193-204
12 p.
 artikel
38 Index 1998
 4 p. VI-
1 p.
 artikel
39 Index 1998
 4 p. V-
1 p.
 artikel
40 Index to Volume 27, 2001 2001
 4 p. I-V
nvt p.
 artikel
41 Inter-entry selection control mechanisms: Implementation and evaluation McNamee, Carole M.
 1996
 4 p. 259-278
20 p.
 artikel
42 Inter-entry selection: Non-determinism and explicit control mechanisms Olsson, Ronald A
 1992
 4 p. 269-282
14 p.
 artikel
43 LAILA: a language for coordinating abductive reasoning among logic agents Ciampolini, Anna
 2001
 4 p. 137-161
25 p.
 artikel
44 List of contents and author index 1992
 4 p. iii-iv
nvt p.
 artikel
45 List of contents and author index 1993
 4 p. iii-iv
nvt p.
 artikel
46 List of contents and author index 1994
 4 p. iii-iv
nvt p.
 artikel
47 List of contents and author index 1993
 4 p. i-iv
nvt p.
 artikel
48 List of contents and author index 1990
 4 p. iii-iv
nvt p.
 artikel
49 List of contents and author index 1989
 4 p. i-iv
nvt p.
 artikel
50 Minicomputer systems: Organization and programming (PDP-11) 1975
 4 p. 343-
1 p.
 artikel
51 New mechanisms for invocation handling in concurrent programming languages 1 1 This research is supported in part by the National Science Foundation under Grant CCR-9527295 Chung, M
 1998
 4 p. 245-270
26 p.
 artikel
52 Non-technical FORTRAN 1978
 4 p. 268-
1 p.
 artikel
53 Parallel arithmetic expression evaluation on reconfigurable meshes Pradeep, B.
 1994
 4 p. 267-277
11 p.
 artikel
54 Parallel programming with logic languages: A survey Ciancarini, Paolo
 1992
 4 p. 213-239
27 p.
 artikel
55 Pointers and data abstractions in high level languages—II: Correctness proofs Berry, D.M.
 1977
 4 p. 149-170
22 p.
 artikel
56 Pointers and data abstractions in high level languages—I: Language proposals Berry, D.M.
 1977
 4 p. 135-148
14 p.
 artikel
57 Polymorphic type-checking in scheme Jenkins, Steven L.
 1996
 4 p. 215-223
9 p.
 artikel
58 Problem solving with FORTRAN 1978
 4 p. 267-
1 p.
 artikel
59 Programming language/one 1975
 4 p. 344-
1 p.
 artikel
60 Removing partial parametrization for efficient implementation of functional languages Liao, Husheng
 1992
 4 p. 241-250
10 p.
 artikel
61 RISS: A relational data base management system for minicomputers 1978
 4 p. 267-
1 p.
 artikel
62 Simulating multiple inheritance and generics in Java Thirunarayan, Krishnaprasad
 1999
 4 p. 189-210
22 p.
 artikel
63 Some steps towards a better PASCAL Knobe, Bruce
 1975
 4 p. 277-286
10 p.
 artikel
64 State inference for dynamically changing interfaces Puntigam, Franz
 2001
 4 p. 163-202
40 p.
 artikel
65 Structured flowcharts for multiprocessing Cohen, A.Toni
 1978
 4 p. 209-226
18 p.
 artikel
66 Structured programming and problem solving with Algol W 1975
 4 p. 343-
1 p.
 artikel
67 Symbolic execution of concurrent systems using Petri nets Ghezzi, Carlo
 1989
 4 p. 263-281
19 p.
 artikel
68 The 1978 CODASYL COBOL language specifications 1978
 4 p. 271-
1 p.
 artikel
69 Time-based operators for relational algebra query languages Bassiouni, M.A
 1993
 4 p. 261-276
16 p.
 artikel
70 Volume 25 index 1999
 4 p. I-V
nvt p.
 artikel
71 Why automatic error correctors fail Wetherell, Charles
 1977
 4 p. 179-186
8 p.
 artikel
                             71 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland