Self Sustaining Systems

Self Sustaining Systems

First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings Robert Hirschfeld, Kim Rose ... In: Proceedings of the 1986 ACM Symposium on LISP and Functional Programming, pp. ... McCarthy, J.: LISP 1.5 Programmer's Manual.

Author: Robert Hirschfeld

Publisher: Springer Science & Business Media

ISBN: 9783540892748

Category: Computers

Page: 157

View: 766

This book constitutes the refereed proceedings of the First Workshop on Self-sustaining Systems, S3, held in Potsdam, Germany, in May 2008. S3 is a forum for discussion of topics relating to computer systems and languages that are able to bootstrap, implement, modify, and maintain themselves. One property of these systems is that their implementation is based on small but powerful abstractions; examples include (amongst others) Squeak/Smalltalk, COLA, Klein/Self, PyPy/Python, Rubinius/Ruby, and Lisp. Such systems are the engines of their own replacement, giving researchers and developers great power to experiment with, and explore future directions from within their own small language kernels.
Categories: Computers

Programming Languages and Systems

Programming Languages and Systems

21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, ... ACM Press, Charleston (2006) [15] McCarthy, J.: LISP 1.5 Programmer's Manual.

Author: Helmut Seidl

Publisher: Springer

ISBN: 9783642288692

Category: Computers

Page: 602

View: 702

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
Categories: Computers

LISP Lore and Logic

LISP  Lore  and Logic

—1960, The LISP Programmer's Manual, MIT Computing Center, Cambridge, Mass. —1960, Recursive functions of symbolic expressions and their computation by machine, part I; Communications of the ACM; v.3, n.4.

Author: W. Richard Stark

Publisher: Springer Science & Business Media

ISBN: 9781461389316

Category: Computers

Page: 278

View: 536

Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance of LISP's approach to artificial intelligence are discussed. As the title suggests, the book reaches beyond the technical side of LISP to present colorful applications, historical comments and quotations, computational philosophy, consequences of LISP's exceptional power, and much more. The material has been designed to appeal to a variety of readers, from the bright freshman to the practicing professional, and from computer scientists and mathematicians to chemists, engineers, and philosophers.
Categories: Computers

Lisp in Small Pieces

Lisp in Small Pieces

[lfp94] Proceedings ofthe1994 ACM Conferenceon Lisp andFunctional Programming, Orlando (Florida USA), June 1994. ACMPress. ... [LLSt93] Bil Lewis, DanLaLiberte, Richard Stallman, and the GNU Manual Group. ... 15:13–27, July 1970.

Author: Christian Queinnec

Publisher: Cambridge University Press

ISBN: 9781139643283

Category: Computers

Page:

View: 673

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.
Categories: Computers

Technical Abstract Bulletin

Technical Abstract Bulletin

PROGRAMMING LANGUAGES AUTOMATION OF A PORTION OF NCO LEADERSHIP PREPARATION TRAINING .. AD - 646 771 67-7 FLD . ... AD - 815 374 67-15 FLD . ... 912 LISP 2 COMPILER CONTEXT RESOLVER LANGUAGE AND PROCESSOR SPECIFICATIONS .

Author:

Publisher:

ISBN: CORNELL:31924057185294

Category: Science

Page:

View: 823

Categories: Science

Information Theoretic Incompleteness

Information Theoretic Incompleteness

And in Rio I obtained a copy of the original MIT LISP 1.5 manual.15 When I returned to Buenos Aires I learned LISP by writing a ... TIMOTHY P. Hart , and MICHAEL I. LEVIN , LISP 1.5 Programmer's Manual , Cambridge : MIT Press ( 1985 ) .

Author: Gregory J. Chaitin

Publisher: World Scientific

ISBN: 9810236956

Category: Computers

Page: 227

View: 473

In this mathematical autobiography, Gregory Chaitin presents a technical survey of his work and a nontechnical discussion of its significance. The volume is an essential companion to the earlier collection of Chaitin's papers Information, Randomness and Incompleteness, also published by World Scientific.The technical survey contains many new results, including a detailed discussion of LISP program size and new versions of Chaitin's most fundamental information-theoretic incompleteness theorems. The nontechnical part includes the lecture given by Chaitin in G?del's classroom at the University of Vienna, a transcript of a BBC TV interview, and articles from New Scientist, La Recherche, and the Mathematical Intelligencer.
Categories: Computers

Programming Languages and Their Definition

Programming Languages and Their Definition

e.g. , in ALGOL and LISP . This conceptual difference is caused by the fact that , within PL ... 4 / J. McCARTHY , LISP 1.5 Programmers Manual M.I.T. 1962 . 15 / K. BANDAT , H. BEKIĆ , Scope of Names in NPL - LR 25.0.002 , July 1964 .

Author: H. Bekic

Publisher: Springer Science & Business Media

ISBN: 354013378X

Category: Computers

Page: 254

View: 308

Categories: Computers

ACM SIGPLAN Notices

ACM SIGPLAN Notices

A Monthly Publication of the Special Interest Group on Programming Languages ... 15th ACM Symposium on Principles of Programming Languages , pages 180-190 , 1988 . [ 8 ] R. Harper . ... Lisp 1.5 Programmer's Manual .

Author:

Publisher:

ISBN: UOM:39015026539034

Category: Programming languages (Electronic computers)

Page:

View: 560

Categories: Programming languages (Electronic computers)

Readings in Artificial Intelligence and Software Engineering

Readings in Artificial Intelligence and Software Engineering

On the other hand, I believe that the programmer would be more comfortable writing task descriptions in the style associated with the brand of analysis described in this paper, for these are in terms ... LISP 15 Programmer's Manual.

Author: Charles Rich

Publisher: Morgan Kaufmann

ISBN: 9781483214429

Category: Computers

Page: 624

View: 717

Readings in Artificial Intelligence and Software Engineering covers the main techniques and application of artificial intelligence and software engineering. The ultimate goal of artificial intelligence applied to software engineering is automatic programming. Automatic programming would allow a user to simply say what is wanted and have a program produced completely automatically. This book is organized into 11 parts encompassing 34 chapters that specifically tackle the topics of deductive synthesis, program transformations, program verification, and programming tutors. The opening parts provide an introduction to the key ideas to the deductive approach, namely the correspondence between theorems and specifications and between constructive proofs and programs. These parts also describes automatic theorem provers whose development has be designed for the programming domain. The subsequent parts present generalized program transformation systems, the problems involved in using natural language input, the features of very high level languages, and the advantages of the programming by example system. Other parts explore the intelligent assistant approach and the significance and relation of programming knowledge in other programming system. The concluding parts focus on the features of the domain knowledge system and the artificial intelligence programming. Software engineers and designers and computer programmers, as well as researchers in the field of artificial intelligence will find this book invaluable.
Categories: Computers

TAPSOFT 89 Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona Spain March 13 17 1989

TAPSOFT  89  Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona  Spain  March 13 17  1989

In Proceedings of the 1986 ACM Conference on Lisp and Functional Programming , Cambridge , pages 198–307 , ACM , August 1986 . ( 4 ) Daniel P. Friedman and Mitchell Wand . ... LISP 1.5 Programmer's Manual . ... [ 15 ] John Reynolds .

Author: Josep Diaz

Publisher: Springer Science & Business Media

ISBN: 3540509402

Category: Computers

Page: 392

View: 762

TAPSOFT '89 is the Third International Joint Conference on Theory and Practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP '89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT '89 Conference Proceedings are published in two volumes. The first volume includes the papers from CAAP plus the more theoretical ones of the invited papers. The second volume comprises the papers from CCIPL and the invited papers more relevant to current issues in programming languages.
Categories: Computers

Trends in Functional Programming

Trends in Functional Programming

... Part I. CACM 3(4), 184–195 (1960) McCarthy, J., Abrahams, P.W., Edwards, D.J., Hart, T.P., Levin, M.I.: LISP 1.5 Programmer's Manual, 106 pages. MIT Press (1962); 2nd edn. 15th printing (1985) McCarthy, J.: History of LISP.

Author: Hans Wolfgang Loidl

Publisher: Springer

ISBN: 9783642404474

Category: Computers

Page: 311

View: 174

This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.
Categories: Computers

Clojure Programming

Clojure Programming

More information can be found in the Emacs manual at http://www.gnu.org/software/ emacs/manual/emacs.html. clojure-mode ... 15. An acronym of Superior Lisp Interaction Mode for Emacs: 406 | Chapter10: REPL-OrientedProgramming ...

Author: Chas Emerick

Publisher: "O'Reilly Media, Inc."

ISBN: 9781449394707

Category: Computers

Page: 607

View: 188

Describes the fundamentals of Clojure, covering such topics as data structures, concurrency, macros, multimethods, JVM, REPL-oriented programming, and relational databases.
Categories: Computers

Automata Languages and Programming

Automata  Languages and Programming

( 22 ) KNUTH , D. E. The Art of Computer Programming , vol . 3 : Sorting and Searching . Addison - Wesley , 1973 . ( 23 ) MACSYMA . VAX UNIX MACSYMA Reference manual , 1985 . ( 24 ) MCCARTHY , J. LISP 1.5 Programmer's Manual .

Author: Michael S. Paterson

Publisher: Springer Science & Business Media

ISBN: 3540528261

Category: Computers

Page: 780

View: 161

In subvolume 27C1 magnetic and related properties of binary lanthanide oxides have been compiled. This subvolume covers data obtained since 1980 and can therefore be regarded as supplement to volume III/12c. While in the previous volume the majority of magnetic data was obtained either from magnetometric measurements or from neutron diffraction, for the present data the main emphasis is devoted to 'related' properties without which, however, the understanding of classical magnetic properties is impossible. A second part 27C2 will deal with binary oxides of the actinide elements.
Categories: Computers

IJCAI Proceedings 1979

IJCAI Proceedings 1979

[ 12 ] CARTHY J. Mc , ABRAHAMS P.W. , EDWARDS D.J. , HART T.P. , LEVIN M.E. : LISP 1.5 . programmer's manual ( M.I.T. ... ( 15 ) SMITH J.P. : " A class of synthesizeable LISP programs " , Report Cs - 1977-4 , Dpt . of Computer Sciences ...

Author: Ijcai

Publisher: Elsevier

ISBN: 0934613478

Category: Computers

Page: 800

View: 590

Categories: Computers

GI 3 Fachtagung ber Programmiersprachen

GI   3  Fachtagung   ber Programmiersprachen

[ 2 ] Asai , K. , und Inami , Y .: Implementation of LISP - Compilers ( japanisch ) . J. of the Inform . ... [ 7 ] McCarthy , J. , und andere ( Hrsg . ) : LISP 1.5 Programmer's Manual . ... 15 , 13-27 ( 1970 ) . [ 10 ] PDP - 6 LISP ...

Author: B. Schlender

Publisher: Springer

ISBN: 3540066667

Category: Computers

Page: 225

View: 823

Categories: Computers

Intelligent Computing

Intelligent Computing

Gropp, W., Lusk, E., Skjellum, A.: Portable Parallel Programming with the Message-Passing Interface. The MIT Press, Using MPI (2014) 9. ... McCarthy, J., Levin, M.I.: LISP 1.5 programmer's manual. MIT Press, Cambridge (1965) 15.

Author: Kohei Arai

Publisher: Springer Nature

ISBN: 9783030801199

Category: Computer science

Page:

View: 207

This book is a comprehensive collection of chapters focusing on the core areas of computing and their further applications in the real world. Each chapter is a paper presented at the Computing Conference 2021 held on 15-16 July 2021. Computing 2021 attracted a total of 638 submissions which underwent a double-blind peer review process. Of those 638 submissions, 235 submissions have been selected to be included in this book. The goal of this conference is to give a platform to researchers with fundamental contributions and to be a premier venue for academic and industry practitioners to share new ideas and development experiences. We hope that readers find this volume interesting and valuable as it provides the state-of-the-art intelligent methods and techniques for solving real-world problems. We also expect that the conference and its publications is a trigger for further related research and technology improvements in this important subject. .
Categories: Computer science

3 i e Dritte Fachtagung ber Programmiersprachen Kiel 5 7 M rz 1974

3   i e  Dritte  Fachtagung   ber Programmiersprachen  Kiel  5  7  M  rz 1974

[ 2 ] Asai , k . , und Inami , Y .: Implementation of LISP - Compilers ( japanisch ) . J. of the Inform . ... [ 7 ] McCarthy , J. , und andere ( Hrsg . ) : LISP 1.5 Programmer's Manual . ... 15 , 13-27 ( 1970 ) . [ 10 ] PDP - 6 LISP ...

Author: Gesellschaft für Informatik

Publisher:

ISBN: CORNELL:31924004908632

Category: Programming languages (Electronic computers)

Page: 225

View: 257

Categories: Programming languages (Electronic computers)

Fachtagung ber Programmiersprachen

Fachtagung   ber Programmiersprachen

[ 2 ] Asai , K. , und Inami , Y .: Implementation of LISP - Compilers ( japanisch ) . J. of the Inform . ... [ 7 ] McCarthy , J. , und andere ( Hrsg . ) : LISP 1.5 Programmer's Manual . ... 15 , 13-27 ( 1970 ) . [ 10 ] PDP - 6 LISP ...

Author:

Publisher:

ISBN: UCAL:B3622108

Category: Programming languages (Electronic computers)

Page:

View: 140

Categories: Programming languages (Electronic computers)

Encyclopedia of Microcomputers

Encyclopedia of Microcomputers

J. McCarthy et al . , LISP 1-5 Programmer's Manual , 2nd ed . , MIT Press , Cambridge , MA , 1965 . D. S. Touretzky , A Summary of MacLisp Functions and Flags , 4th ed . , Carnegie - Mellon University Computer Science Department ...

Author: Allen Kent

Publisher: CRC Press

ISBN: 9781000444322

Category: Computers

Page: 448

View: 497

"The Encyclopedia of Microcomputers serves as the ideal companion reference to the popular Encyclopedia of Computer Science and Technology. Now in its 10th year of publication, this timely reference work details the broad spectrum of microcomputer technology, including microcomputer history; explains and illustrates the use of microcomputers throughout academe, business, government, and society in general; and assesses the future impact of this rapidly changing technology."
Categories: Computers