ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Computing Surveys (CSUR), Volume 28 Issue 2, June 1996

Computing Surveys symposium on models of programming languages and computation
Chris Hankin, Hanne Riis Nielson
Pages: 293-294
DOI: 10.1145/234528.234729

Linguistic paradigms for programming complex distributed systems
Gul A. Agha
Pages: 295-296
DOI: 10.1145/234528.234730

Integrated computational paradigms for flexible client-server communication
Jean-Marc Andreoli, Remo Pareschi
Pages: 297-299
DOI: 10.1145/234528.234731

Coordination models and languages as software integrators
Paolo Ciancarini
Pages: 300-302
DOI: 10.1145/234528.234732

Can computational logic provide a paradigm for both the specification and implementation of concurrent systems?
David Gilbert
Pages: 303-305
DOI: 10.1145/234528.234733

Integration of functional and logic programming
Michael Hanus, Herbert Kuchen
Pages: 306-308
DOI: 10.1145/234528.234734

On integration of programming paradigms
Alan Mycroft
Pages: 309-311
DOI: 10.1145/234528.234735

Imperative functional programming
U. S. Reddy
Pages: 312-314
DOI: 10.1145/234528.234736

On the systematic design of Web languages
Dennis Volpano, Geoffrey Smith
Pages: 315-317
DOI: 10.1145/234528.234737

Lazy versus strict
Philip Wadler
Pages: 318-320
DOI: 10.1145/234528.234738

On the relationship between formal semantics and static analysis
P. N. Benton
Pages: 321-323
DOI: 10.1145/234528.234739

Abstract interpretation
Patrick Cousot
Pages: 324-328
DOI: 10.1145/234528.234740

Resource-bounded partial evaluation
Olivier Danvy, Nevin Hentze, Karoline Malmkjær
Pages: 329-332
DOI: 10.1145/234528.234741

A unifying view of abstract domain design
Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato
Pages: 333-336
DOI: 10.1145/234528.234742

Compiling functional languages with flow analysis
Suresh Jagannathan, Andrew Wright
Pages: 337-339
DOI: 10.1145/234528.234743

Structural operational semantics as a basis for static program analysis
Daniel Le Métayer, David Schmidt
Pages: 340-343
DOI: 10.1145/234528.234744

Annotated type and effect systems
Flemming Nielson
Pages: 344-345
DOI: 10.1145/234528.234745

Modalities in analysis and verification
Mads Dam
Pages: 346-348
DOI: 10.1145/234528.234746

Program verification through soft typing
Robert Cartwright, Matthias Felleisen
Pages: 349-351
DOI: 10.1145/234528.234747

Enhanced operational semantics
Pierpaolo Degano, Corrado Priami
Pages: 352-354
DOI: 10.1145/234528.234748

Shape in computing
C. Barry Jay
Pages: 355-357
DOI: 10.1145/234528.234749

Type inference for objects
Jens Palsberg
Pages: 358-359
DOI: 10.1145/234528.234750

Rules and strategies for transforming functional and logic programs
Alberto Pettorossi, Maurizio Proietti
Pages: 360-414
DOI: 10.1145/234528.234529
We present an overview of the program transformation methodology, focusing our attention on the so-called “rules + strategies” approach in the case of functional and logic programs. The paper is intended to offer an introduction to...

Software reuse: metrics and models
William Frakes, Carol Terry
Pages: 415-435
DOI: 10.1145/234528.234531
As organizations implement systematic software reuse programs to improve productivity and quality, they must be able to measure their progress and identify the most effective reuse strategies. This is done with reuse metrics and models. In this...