The REDCap consortium: Building an international community of software platform partners.

From the Publisher:
Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) programming language If you want to know the precise meaning of the language's constructs, this is the source for you 
The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java programming language It describes all aspects of the language, including the semantics of all types, statements, and expressions, as well as threads and binary compatibility

/pdf/the-java-language-specification-1s92cud0yi.pdf

The Java Language Specification

Aspect-oriented programming (AOP) is a technique for improving separation of concerns in software design and implementation. AOP works by providing explicit mechanisms for capturing the structure of crosscutting concerns. This tutorial shows how to use AOP to implement crosscutting conerns in a concise modular way. It works with AspectJ, a seamless aspect-oriented extension to the Java(tm) programming language, and with AspectC, an aspect-oriented extension to C in the style of AspectJ. It also includes a description of their underlying model, in terms of which a wide range of AOP languages can be understood.

Aspect-oriented programming

The Personal Interview

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.

https://www.seas.upenn.edu/~bcpierce/tapl/contents.pdf

Types and Programming Languages

: The U. S. Department of Defense (DoD) has a goal of information dominance to achieve and exploit superior collection, fusion, analysis, and use of information to meet mission objectives. This goal depends on increasingly complex systems characterized by thousands of platforms, sensors, decision nodes, weapons, and warfighters connected through heterogeneous wired and wireless networks. These systems will push far beyond the size of today s systems and systems of systems by every measure: number of lines of code; number of people employing the system for different purposes; amount of data stored, accessed, manipulated, and refined; number of connections and interdependencies among software components; and number of hardware elements. They will be ultra-largescale (ULS) systems. The sheer scale of ULS systems will change everything. ULS systems will necessarily be decentralized in a variety of ways, developed and used by a wide variety of stakeholders with conflicting needs, evolving continuously, and constructed from heterogeneous parts. People will not just be users of a ULS system; they will be elements of the system. Software and hardware failures will be the norm rather than the exception. The acquisition of a ULS system will be simultaneous with its operation and will require new methods for control. These characteristics are beginning to emerge in today s DoD systems of systems; in ULS systems they will dominate. Consequently, ULS systems will place unprecedented demands on software acquisition, production, deployment, management, documentation, usage, and evolution practices.

/pdf/ultra-large-scale-systems-the-software-challenge-of-the-23wh4oixng.pdf

Ultra-Large-Scale Systems: The Software Challenge of the Future

IntroductionThe Common Lisp Object System is an object-oriented extension to Common Lisp as defined in Common Lisp: The Language, by Guy L. Steele Jr. It is based on generic functions, multiple inheritance, declarative method combination, and a meta-object protocol.The first two chapters of this specification present a description of the standard Programmer Interface for the Common Lisp Object System. The first chapter contains a description of the concepts of the Common Lisp Object System, and the second contains a description of the functions and macros in the Common Lisp Object System Programmer Interface. The chapter "The Common Lisp Object System Meta-Object Protocol" describes how the Common Lisp Object System can be customized.The fundamental objects of the Common Lisp Object System are classes, instances, generic functions, and methods.A class object determines the structure and behavior of a set of other objects, which are called its instances. Every Common Lisp object is an instance of a class. The class of an object determines the set of operations that can be performed on the object.A generic function is a function whose behavior depends on the classes or identities of the arguments supplied to it. A generic function object contains a set of methods, a lambda-list, a method combination type, and other information. The methods define the class-specific behavior and operations of the generic function; a method is said to specialize a generic function. When invoked, a generic function executes a subset of its methods based on the classes of its arguments.A generic function can be used in the same ways that an ordinary function can be used in Common Lisp; in particular, a generic function can be used as an argument to funcall and apply and can be given a global or a local name.A method is an object that contains a method function, a sequence of parameter speclalizers that specify when the given method is applicable, and a sequence of qualifiers that is used by the method combination facility to distinguish among methods. Each required formal parameter of each method has an associated parameter specializer, and the method will be invoked only on arguments that satisfy its parameter specializers.The method combination facility controls the selection of methods, the order in which they are run, and the values that are returned by the generic function. The Common Lisp Object System offers a default method combination type and provides a facility for declaring new types of method combination.

Common Lisp Object System specification

This final report of the Stanford Lisp Performance Study, conducted over a three year period by the author, describes implementation techniques, performance tradeoffs, benchmarking techniques, and performance results for all of the major Lisp dialects in use today. A popular highlevel programming language used predominantly in artificial intelligence, Lisp was the first language to concentrate on working with symbols instead of numbers. Lisp was introduced by John McCarthy in the early 1960s (McCarthy's "LISP 1.5 Programmer's Manual" published in 1962 is available in paperback from The MIT Press) and its continuous development has enabled it to remain dominant in artificial intelligence."Performance and Evaluation of Lisp Systems" is the first book to present descriptions on the Lisp implementation techniques actually in use and can serve as a handbook to the implementation details of all of the various current Lisp expressions. It provides detailed performance information using the tools of benchmarking (the process of utilizing standardized computer programs to test the processing power of different computer systems) to measure the various Lisp systems, and provides an understanding of the technical tradeoffs made during the implementation of a Lisp system.The study is divided into three major parts. The first provides the theoretical background, outlining the factors that go into evaluating the performance of a Lisp system. The second part presents the Lisp implementations: MacLisp, MIT CADR, LMI Lambda, S-I Lisp, Franz Lisp, MIL, Spice Lisp, Vax Common Lisp, Portable Standard Lisp, and Xerox D-Machine. A final part describes the benchmark suite that was used during the major portion of the study and the results themselves.Richard P. Gabriel is President and Chief Technical Officer, Lucid, Inc., and Consulting Associate Professor, Stanford University. "Performance and Evaluation of Lisp Systems" is included in the Computer Systems series, Research Reports and Notes, edited by Herb Schwetman.

/pdf/performance-and-evaluation-of-lisp-systems-3ixat1nx52.pdf

Performance and evaluation of Lisp systems

Foreword Preface Acknowledgements Introduction Innovation Happens Elsewhere What is Open Source? Why Consider Open Source? Licenses How to Do Open Source Development Going with Open Source How to Build Momentum What to AvoidKnown Problems and Failures Closing Thoughts Appendix A: Resources B: Licenses C: Contributor Agreements D: Article from XML.com

Innovation Happens Elsewhere: Open Source as Business Strategy

In homes, schools, and businesses, computers play an ever-increasing role. But while most people today can work a computer - albeit with the help of the ever-present computer software manual - they know little about what goes on inside the box and virtually nothing about software design or the world of computer programming. This guide gives the reader an informative inside look at the world of software design and computer programming and the business that surrounds them. Of particular interest is the presentation of the ideas behind patterns and pattern languages as developed by the architect Christopher Alexander and their relation to software technology.

/pdf/patterns-of-software-tales-from-the-software-community-1sn5xpygb7.pdf

Richard P. Gabriel

Papers

Ultra-Large-Scale Systems: The Software Challenge of the Future

Common Lisp Object System specification

Performance and evaluation of Lisp systems

Innovation Happens Elsewhere: Open Source as Business Strategy

Patterns of Software: Tales from the Software Community