|
Showing 1 - 3 of
3 matches in All Departments
This book constitutes the refereed proceedings of the Third
International Static Analysis Symposium, SAS '96, held in Aachen,
Germany, in September 1996 in conjunction with ALP and PLILP.
The volume presents 22 highly-quality revised full papers selected
from a total of 79 submissions; also included are three system
descriptions and invited contributions by Alex Aiken (abstract
only), Flemming Nielson, and Bernhard Steffen. Among the topics
addressed are program analysis, incremental analysis, abstract
interpretation, partial evaluation, logic programming, functional
programming, and constraint programming.
|
Mathematical Foundations of Programming Semantics - 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings (Paperback, 1990 ed.)
Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt
|
R1,632
Discovery Miles 16 320
|
Ships in 10 - 15 working days
|
This is the latest in a series of proceedings of conferences on the
Mathematical Foundations of Programming Semantics. The purpose of
the series is to bring together mathematicians and theoretical
computer scientists who share the common interests of working on
problems related to programming language semantics. The purpose of
the book is to bring into print as quickly as possible papers which
reflect the state of research on the topics comprising this area.
The intended audience for the book consists of those researchers
and graduate students with an interest in the research areas which
are related to those presented in the book: programming language
semantics, including algebraic, denotational and operational
semantics, logics of programs, specification techniques, etc., and
the relevant areas of mathematics research, including category
theory, domain theory, ordered structures and lattice theory, and
metric space methods. The papers included in the book represent the
latest results in various facets of this rather broad research
area, and this is the first time some of the ideas contained in
these works are appearing in print.
|
You may like...
Midnights
Taylor Swift
CD
R418
Discovery Miles 4 180
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R66
Discovery Miles 660
|