ACM DL

Computing Surveys (CSUR)

Menu

Search Issue
enter search term and/or author name below:

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
Herbert Kuchen, Michael Hanus
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
Nevin Hentze, Olivier Danvy, Karoline Malmkjær
Pages: 329-332
DOI: 10.1145/234528.234741

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

Compiling functional languages with flow analysis
Andrew Wright, Suresh Jagannathan
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
Matthias Felleisen, Robert Cartwright
Pages: 349-351
DOI: 10.1145/234528.234747

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