Author : Michael Sperber
Publisher : Cambridge University Press
Page : 312 pages
File Size : 44,76 MB
Release : 2009
Category : Computers
ISBN : 9780521193993
A series of reports describing the innovative programming language Scheme.
Author : Michael Scott
Publisher : Morgan Kaufmann
Page : 941 pages
File Size : 47,71 MB
Release : 2009-03-23
Category : Computers
ISBN : 0080922996
Programming Language Pragmatics, Third Edition, is the most comprehensive programming language book available today. Taking the perspective that language design and implementation are tightly interconnected and that neither can be fully understood in isolation, this critically acclaimed and bestselling book has been thoroughly updated to cover the most recent developments in programming language design, inclouding Java 6 and 7, C++0X, C# 3.0, F#, Fortran 2003 and 2008, Ada 2005, and Scheme R6RS. A new chapter on run-time program management covers virtual machines, managed code, just-in-time and dynamic compilation, reflection, binary translation and rewriting, mobile code, sandboxing, and debugging and program analysis tools. Over 800 numbered examples are provided to help the reader quickly cross-reference and access content. This text is designed for undergraduate Computer Science students, programmers, and systems and software engineers. - Classic programming foundations text now updated to familiarize students with the languages they are most likely to encounter in the workforce, including including Java 7, C++, C# 3.0, F#, Fortran 2008, Ada 2005, Scheme R6RS, and Perl 6. - New and expanded coverage of concurrency and run-time systems ensures students and professionals understand the most important advances driving software today. - Includes over 800 numbered examples to help the reader quickly cross-reference and access content.
Author : R. Kent Dybvig
Publisher : MIT Press
Page : 318 pages
File Size : 45,43 MB
Release : 2003
Category : Computers
ISBN : 9780262541480
The thoroughly updated third edition of a popular introductory and reference text for standard Scheme, with examples and exercises.
Author : R. Kent Dybvig
Publisher : MIT Press
Page : 505 pages
File Size : 17,67 MB
Release : 2009-07-31
Category : Computers
ISBN : 026251298X
A thoroughly updated and expanded edition brings this popular introductory text and reference up to date with the current Scheme standard, the Revised6 Report on Scheme. Scheme is a general-purpose programming language, descended from Algol and Lisp, widely used in computing education and research and a broad range of industrial applications. This thoroughly updated edition of The Scheme Programming Language provides an introduction to Scheme and a definitive reference for standard Scheme, presented in a clear and concise manner. Written for professionals and students with some prior programming experience, it begins by leading the programmer gently through the basics of Scheme and continues with an introduction to some of the more advanced features of the language. The fourth edition has been substantially revised and expanded to bring the content up to date with the current Scheme standard, the Revised6 Report on Scheme. All parts of the book were updated and three new chapters were added, covering the language's new library, exception handling, and record-definition features. The book offers three chapters of introductory material with numerous examples, eight chapters of reference material, and one chapter of extended examples and additional exercises. All of the examples can be entered directly from the keyboard into an interactive Scheme session. Answers to many of the exercises, a complete formal syntax of Scheme, and a summary of forms and procedures are provided in appendixes. The Scheme Programming Language is the only book available that serves both as an introductory text in a variety of courses and as an essential reference for Scheme programmers.
Author : Shin-ya Nishizaki
Publisher : World Scientific
Page : 258 pages
File Size : 24,88 MB
Release : 2017-10-27
Category : Computers
ISBN : 9813234083
This is the proceedings of the Sixth Workshop on Computing: Theory and Practice, WCTP 2016 devoted to theoretical and practical approaches to computation. This workshop was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, University of the Philippines - Diliman, and De La Salle University. The proceedings provides a view of the current movement in research in these two countries. The papers included in the proceedings focus on the two research areas: theoretical and practical aspects of computation.
Author : Maria Garcia Banda
Publisher : Springer Science & Business Media
Page : 842 pages
File Size : 48,45 MB
Release : 2008-12-02
Category : Computers
ISBN : 3540899812
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.
Author : Saverio Perugini
Publisher : Jones & Bartlett Learning
Page : 889 pages
File Size : 29,20 MB
Release : 2021-12-02
Category : Computers
ISBN : 1284222721
Programming Languages: Concepts and Implementation teaches language concepts from two complementary perspectives: implementation and paradigms. It covers the implementation of concepts through the incremental construction of a progressive series of interpreters in Python, and Racket Scheme, for purposes of its combined simplicity and power, and assessing the differences in the resulting languages.
Author : Xinyu Feng
Publisher : Springer
Page : 507 pages
File Size : 23,88 MB
Release : 2015-12-08
Category : Computers
ISBN : 3319265296
This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.
Author :
Publisher : Pearson Education
Page : 364 pages
File Size : 22,1 MB
Release : 1998
Category : Computers
ISBN : 9781581130249
Author : Hongseok Yang
Publisher : Springer
Page : 395 pages
File Size : 22,94 MB
Release : 2011-12-04
Category : Computers
ISBN : 3642253180
This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. The 22 revised full papers presented together with 4 invited talks and one system and tool presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as certification and logic.
