Volume 28; Issue 2

ACM Computing Surveys

Volume 28; Issue 2
1

Imperative functional programming

Reddy, U. S.
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 296 KB
english, 1996
2

Software reuse: metrics and models

Frakes, William, Terry, Carol
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 577 KB
english, 1996
3

Abstract interpretation

Cousot, Patrick
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 426 KB
english, 1996
4

Resource-bounded partial evaluation

Danvy, Olivier, Hentze, Nevin, Malmkjær, Karoline
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 159 KB
english, 1996
5

Enhanced operational semantics

Degano, Pierpaolo, Priami, Corrado
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 178 KB
english, 1996
6

Integrated computational paradigms for flexible client-server communication

Andreoli, Jean-Marc, Pareschi, Remo
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 155 KB
english, 1996
8

Integration of functional and logic programming

Hanus, Michael, Kuchen, Herbert
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 200 KB
english, 1996
9

Rules and strategies for transforming functional and logic programs

Pettorossi, Alberto, Proietti, Maurizio
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 746 KB
english, 1996
10

On integration of programming paradigms

Mycroft, Alan
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 274 KB
english, 1996
11

On the systematic design of Web languages

Volpano, Dennis, Smith, Geoffrey
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 210 KB
english, 1996
12

On the relationship between formal semantics and static analysis

Benton, P. N.
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 157 KB
english, 1996
13

A unifying view of abstract domain design

Filé, Gilberto, Giacobazzi, Roberto, Ranzato, Francesco
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 316 KB
english, 1996
14

Structural operational semantics as a basis for static program analysis

Le Métayer, Daniel, Schmidt, David
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 159 KB
english, 1996
15

Annotated type and effect systems

Nielson, Flemming
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 153 KB
english, 1996
16

Program verification through soft typing

Cartwright, Robert, Felleisen, Matthias
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 155 KB
english, 1996
17

Shape in computing

Jay, C. Barry
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 154 KB
english, 1996
18

Type inference for objects

Palsberg, Jens
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 174 KB
english, 1996
19

Computing Surveys symposium on models of programming languages and computation

Hankin, Chris, Nielson, Hanne Riis
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 148 KB
english, 1996
20

Coordination models and languages as software integrators

Ciancarini, Paolo
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 156 KB
english, 1996
21

Modalities in analysis and verification

Dam, Mads
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 176 KB
english, 1996
22

Compiling functional languages with flow analysis

Jagannathan, Suresh, Wright, Andrew
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 158 KB
english, 1996
23

Lazy versus strict

Wadler, Philip
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 201 KB
english, 1996
24

Linguistic paradigms for programming complex distributed systems

Agha, Gul A.
Journal:
ACM Computing Surveys
Year:
1996
Language:
english
File:
PDF, 173 KB
english, 1996