Author: Association for Computing MachineryPublisher: Pearson Education
ISBN: 9780897914819
Category : Computer programming
Languages : en
Pages : 370
Book Description
Proceedings of the 1992 ACM Conference on LISP and Functional Programming
Author: Association for Computing MachineryPublisher: Pearson Education
ISBN: 9780897914819
Category : Computer programming
Languages : en
Pages : 370
Book Description
Proceedings of the ACM Conference on LISP and Functional Programming
Author: Proceedings of the 1990 ACM Conference on LISP and Functional Programming
Author: Association for Computing MachineryPublisher: Pearson Education
ISBN: 9780897913683
Category : Computer science
Languages : en
Pages : 362
Book Description
Proceedings of the 1994 ACM Conference on LISP and Functional Programming
Author: Publisher: Pearson Education
ISBN: 9780897916431
Category : Computer science
Languages : en
Pages : 338
Book Description
Conference Record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Author: Publisher: Pearson Education
ISBN: 9780897916363
Category : Computer programming
Languages : en
Pages : 494
Book Description
Proceedings -- Parallel Computing.
Proceedings of the ... ACM Conference on LISP and Functional Programming
Author: Association for Computing MachineryPublisher:
ISBN:
Category : Functional programming (Computer science)
Languages : en
Pages :
Book Description
Proceedings of the ACM Twentieth Annual Southeast Regional Conference
Author: Association for Computing Machinery. Southeast Regional ConferencePublisher: Pearson Education
ISBN: 9780897917704
Category : Computer programming
Languages : en
Pages : 284
Book Description
Advanced Functional Programming
Author: Pieter KoopmanPublisher: Springer
ISBN: 3642046525
Category : Computers
Languages : en
Pages : 331
Book Description
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, spider spinning, reduction-based normalization and Haskell programming.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'97
Author: Publisher: Pearson Education
ISBN: 9780897919173
Category : Computer science
Languages : en
Pages : 228
Book Description
"Sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)."
Static Analysis
Author: Agostino CortesiPublisher: Springer
ISBN: 3540482946
Category : Computers
Languages : en
Pages : 360
Book Description
Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS’99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.