Revised [6] Report on the Algorithmic Language Scheme
Title | Revised [6] Report on the Algorithmic Language Scheme PDF eBook |
Author | Michael Sperber |
Publisher | Cambridge University Press |
Total Pages | 312 |
Release | 2009 |
Genre | Computers |
ISBN | 9780521193993 |
A series of reports describing the innovative programming language Scheme.
Programming Languages: Concepts and Implementation
Title | Programming Languages: Concepts and Implementation PDF eBook |
Author | Saverio Perugini |
Publisher | Jones & Bartlett Learning |
Total Pages | 889 |
Release | 2021-12-02 |
Genre | 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.
Programming Languages and Systems
Title | Programming Languages and Systems PDF eBook |
Author | Hongseok Yang |
Publisher | Springer Science & Business Media |
Total Pages | 395 |
Release | 2011-11-18 |
Genre | Computers |
ISBN | 3642253172 |
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.
Theory and Practice of Computation
Title | Theory and Practice of Computation PDF eBook |
Author | Nishizaki Shin-ya |
Publisher | World Scientific |
Total Pages | 260 |
Release | 2017-10-27 |
Genre | Mathematics |
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.
The Scheme Programming Language, fourth edition
Title | The Scheme Programming Language, fourth edition PDF eBook |
Author | R. Kent Dybvig |
Publisher | MIT Press |
Total Pages | 505 |
Release | 2009-07-31 |
Genre | 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.
A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach
Title | A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach PDF eBook |
Author | Tassilo Horn |
Publisher | Logos Verlag Berlin GmbH |
Total Pages | 475 |
Release | 2015-07-11 |
Genre | Computers |
ISBN | 3832542914 |
This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.
Logic Programming
Title | Logic Programming PDF eBook |
Author | Maria Garcia Banda |
Publisher | Springer Science & Business Media |
Total Pages | 842 |
Release | 2008-12-02 |
Genre | 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.