Author:
Publisher: Pearson Education
ISBN: 9780897916431
Category : Computer science
Languages : en
Pages : 338
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
Publisher: Pearson Education
ISBN: 9780897916431
Category : Computer science
Languages : en
Pages : 338
Book Description
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997
Author:
Publisher: Pearson Education
ISBN: 9780897919180
Category : Computers
Languages : en
Pages : 340
Book Description
Publisher: Pearson Education
ISBN: 9780897919180
Category : Computers
Languages : en
Pages : 340
Book Description
Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming
Author:
Publisher: Pearson Education
ISBN: 9781581131116
Category : Computer science
Languages : en
Pages : 296
Book Description
Publisher: Pearson Education
ISBN: 9781581131116
Category : Computer science
Languages : en
Pages : 296
Book Description
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montréal, Canada, September 18-21, 2000
Author:
Publisher: Pearson Education
ISBN: 9781581132021
Category : Computer architecture
Languages : en
Pages : 308
Book Description
Publisher: Pearson Education
ISBN: 9781581132021
Category : Computer architecture
Languages : en
Pages : 308
Book Description
Proceedings of the ACM Twentieth Annual Southeast Regional Conference
Author: Association for Computing Machinery. Southeast Regional Conference
Publisher: Pearson Education
ISBN: 9780897917704
Category : Computer programming
Languages : en
Pages : 284
Book Description
Publisher: Pearson Education
ISBN: 9780897917704
Category : Computer programming
Languages : en
Pages : 284
Book Description
Programming Languages and Systems - ESOP '94
Author: Donald Sannella
Publisher: Springer Science & Business Media
ISBN: 9783540578802
Category : Computers
Languages : en
Pages : 532
Book Description
This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.
Publisher: Springer Science & Business Media
ISBN: 9783540578802
Category : Computers
Languages : en
Pages : 532
Book Description
This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.
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)."
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)."
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.
Publisher: Pearson Education
ISBN: 9780897916363
Category : Computer programming
Languages : en
Pages : 494
Book Description
Proceedings -- Parallel Computing.
Lisp in Small Pieces
Author: Christian Queinnec
Publisher: Cambridge University Press
ISBN: 1139643282
Category : Computers
Languages : en
Pages : 540
Book Description
This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally introduced. The second part focuses more on implementation techniques and discusses precompilation for fast interpretation: threaded code or bytecode; compilation towards C. Some extensions are also described such as dynamic evaluation, reflection, macros and objects. This will become the new standard reference for people wanting to know more about the Lisp family of languages: how they work, how they are implemented, what their variants are and why such variants exist. The full code is supplied (and also available over the Net). A large bibliography is given as well as a considerable number of exercises. Thus it may also be used by students to accompany second courses on Lisp or Scheme.
Publisher: Cambridge University Press
ISBN: 1139643282
Category : Computers
Languages : en
Pages : 540
Book Description
This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects. It describes 11 interpreters and 2 compilers, including very recent techniques of interpretation and compilation. The book is in two parts. The first starts from a simple evaluation function and enriches it with multiple name spaces, continuations and side-effects with commented variants, while at the same time the language used to define these features is reduced to a simple lambda-calculus. Denotational semantics is then naturally introduced. The second part focuses more on implementation techniques and discusses precompilation for fast interpretation: threaded code or bytecode; compilation towards C. Some extensions are also described such as dynamic evaluation, reflection, macros and objects. This will become the new standard reference for people wanting to know more about the Lisp family of languages: how they work, how they are implemented, what their variants are and why such variants exist. The full code is supplied (and also available over the Net). A large bibliography is given as well as a considerable number of exercises. Thus it may also be used by students to accompany second courses on Lisp or Scheme.
Proceedings
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 380
Book Description
Publisher:
ISBN:
Category : Computer programming
Languages : en
Pages : 380
Book Description