Internet of things programming with JavaScript

In the Internet of Things (IoT) era, online activities are no longer limited to desktop or laptop computers, smartphones and tablets. Instead, these activities now include ordinary tasks, such as using an internet-connected refrigerator or washing machine. At the same time, the IoT provides unlimited opportunities for household objects to serve as surveillance devices that continually monitor, collect and process vast quantities of our data. In this work, Stacy-Ann Elvy critically examines the consumer ramifications of the IoT through the lens of commercial law and privacy and security law. The book provides concrete legal solutions to remedy inadequacies in the law that will help usher in a more robust commercial law of privacy and security that protects consumer interests.

In the Internet of Things (IoT) era, online activities are no longer limited to desktop or laptop computers, smartphones and tablets. Instead, these activities now include ordinary tasks, such as using an internet-connected refrigerator or washing machine. At the same time, the IoT provides unlimited opportunities for household objects to serve as surveillance devices that continually monitor, collect and process vast quantities of our data. In this work, Stacy-Ann Elvy critically examines the consumer ramifications of the IoT through the lens of commercial law and privacy and security law. The book provides concrete legal solutions to remedy inadequacies in the law that will help usher in a more robust commercial law of privacy and security that protects consumer interests.

Learn to master basic programming tasks from scratch with real-life, scientifically relevant examples and solutions drawn from both science and engineering. Students and researchers at all levels are increasingly turning to the powerful Python programming language as an alternative to commercial packages and this fast-paced introduction moves from the basics to advanced concepts in one complete volume, enabling readers to gain proficiency quickly. Beginning with general programming concepts such as loops and functions within the core Python 3 language, and moving on to the NumPy, SciPy and Matplotlib libraries for numerical programming and data visualization, this textbook also discusses the use of Jupyter Notebooks to build rich-media, shareable documents for scientific analysis. The second edition features a new chapter on data analysis with the pandas library and comprehensive updates, and new exercises and examples. A final chapter introduces more advanced topics such as floating-p

This textbook provides in-depth coverage of the fundamentals of the C and C++ programming languages and the object-oriented programming paradigm. It follows an example-driven approach to facilitate understanding of theoretical concepts. Essential concepts, including functions, arrays, pointers and inheritance, are explained, while complex topics, such as dynamic memory allocation, object slicing, vtables, and upcasting and downcasting, are examined in detail. Concepts are explained with the help of line diagrams, student-teacher conversations and flow charts, while other useful features, such as quiz questions and points to remember, are included. Solved examples, review questions and useful case studies are interspersed throughout the text, and explanations of the logic used to implement particular functionality is also provided. This book will be useful for undergraduate students of computer science and engineering, and information technology.

Providing in-depth coverage, this book covers the fundamentals of computation and programming in C language. Essential concepts including operators and expressions, input and output statements, loop statements, arrays, pointers, functions, strings and preprocessors are described in a lucid manner. A unique approach - 'Learn by quiz' - features questions based on confidence-based learning methodology. It helps the reader to identify the right answer with adequate explanation and reasoning as to why the other options are incorrect. Computer programs and review questions are interspersed throughout the text. The book is appropriate for undergraduate students of engineering, computer science and information technology. It can be used for self-study and assists in the understanding of theoretical concepts and their applications.

Learn to master basic programming tasks from scratch with real-life scientifically relevant examples and solutions drawn from both science and engineering. Students and researchers at all levels are increasingly turning to the powerful Python programming language as an alternative to commercial packages and this fast-paced introduction moves from the basics to advanced concepts in one complete volume, enabling readers to quickly gain proficiency. Beginning with general programming concepts such as loops and functions within the core Python 3 language, and moving onto the NumPy, SciPy and Matplotlib libraries for numerical programming and data visualisation, this textbook also discusses the use of IPython notebooks to build rich-media, shareable documents for scientific analysis. Including a final chapter introducing challenging topics such as floating-point precision and algorithm stability, and with extensive online resources to support advanced study, this textbook represents a targe

Starting from first principles, this book covers all of the foundational material needed to develop a clear understanding of the Mathematica language, with a practical emphasis on solving problems. Concrete examples throughout the text demonstrate how Mathematica can be used to solve problems in science, engineering, economics/finance, computational linguistics, geoscience, bioinformatics, and a range of other fields. The book will appeal to students, researchers and programmers wishing to further their understanding of Mathematica. Designed to suit users of any ability, it assumes no formal knowledge of programming so it is ideal for self-study. Over 290 exercises are provided to challenge the reader's understanding of the material covered and these provide ample opportunity to practice using the language. Mathematica notebooks containing examples, programs and solutions to exercises are available from www.cambridge.org/wellin.

Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Avoiding overly large blocks of code used in most other database programming books, this book shows a simple and easy way to create database programs and explains how to build professional and practical databases more efficiently. In addition to Design Tools and Wizards, the runtime object method is also discussed and analyzed to let users design and implement more sophisticated data-driven applications with complicated coding techniques. Three popular database systems – Microsoft Access, SQL Server 2005, and Oracle Database 10g Express Edition (XE) – are discussed in detail, with practical examples and sample projects. This book will appeal to college students, programmers, and software engineers alike. Sample code and additional exercise questions for students, as well as solutions and lecture slides for instructors, are available via the Web (www.cambridge.org/9780521712354).

Avoiding overly large blocks of code used in most other database programming books, this book shows a simple and easy way to create database programs and explains how to build professional and practical databases more efficiently. In addition to Design Tools and Wizards, the runtime object method is also discussed and analyzed to let users design and implement more sophisticated data-driven applications with complicated coding techniques. Three popular database systems – Microsoft Access, SQL Server 2005, and Oracle Database 10g Express Edition (XE) – are discussed in detail, with practical examples and sample projects. This book will appeal to college students, programmers, and software engineers alike. Sample code and additional exercise questions for students, as well as solutions and lecture slides for instructors, are available via the Web (www.cambridge.org/9780521712354).

Michael McMillan provides a complete presentation of the object-oriented features of the Visual Basic .NET language for advanced Visual Basic programmers. Beginning with an introduction to abstract data types and their initial implementation using structures, he explains standard OOP topics including class design, inheritance, access modifiers and scoping issues, abstract classes, design and implemention of interfaces and design patterns, and refactoring in VB.NET. More advanced OOP topics are included as well, such as reflection, object persistence, and serialization. To tie everything together, McMillan demonstrates sound OOP design and implementation principles through practical examples of standard Windows applications, database applications using ADO.NET, Web-based applications using ASP.NET, and Windows service applications.

Fundamentals of Engineering Programming with C and Fortran, first published in 1998, is a beginner's guide to problem solving with computers which shows how to quickly prototype a program for a particular engineering application. The book's side by side coverage of C and Fortran, the predominant computer languages in engineering, is unique. It emphasizes the importance of developing programming skills in C while carefully presenting the importance of maintaining a good reading knowledge of Fortran. Beginning with a brief description of computer architecture, the book then covers the fundamentals of computer programming for problem solving. It devotes separate chapters to data types and operators, control flow, type conversion, arrays, and file operations. The final chapter contains case studies that illustrate particular elements of modeling and visualization. Also included are a number of appendices covering C and Fortran language summaries and other useful topics. This concise and ac

Fundamentals of Engineering Programming with C and Fortran, first published in 1998, is a beginner's guide to problem solving with computers which shows how to quickly prototype a program for a particular engineering application. The book's side by side coverage of C and Fortran, the predominant computer languages in engineering, is unique. It emphasizes the importance of developing programming skills in C while carefully presenting the importance of maintaining a good reading knowledge of Fortran. Beginning with a brief description of computer architecture, the book then covers the fundamentals of computer programming for problem solving. It devotes separate chapters to data types and operators, control flow, type conversion, arrays, and file operations. The final chapter contains case studies that illustrate particular elements of modeling and visualization. Also included are a number of appendices covering C and Fortran language summaries and other useful topics. This concise and ac

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

CUDA is now the dominant language used for programming GPUs, one of the most exciting hardware developments of recent decades. With CUDA, you can use a desktop PC for work that would have previously required a large cluster of PCs or access to a HPC facility. As a result, CUDA is increasingly important in scientific and technical computing across the whole STEM community, from medical physics and financial modelling to big data applications and beyond. This unique book on CUDA draws on the author's passion for and long experience of developing and using computers to acquire and analyse scientific data. The result is an innovative text featuring a much richer set of examples than found in any other comparable book on GPU computing. Much attention has been paid to the C++ coding style, which is compact, elegant and efficient. A code base of examples and supporting material is available online, which readers can build on for their own projects.

This third edition of Braun and Murdoch's bestselling textbook now includes discussion of the use and design principles of the tidyverse packages in R, including expanded coverage of ggplot2, and R Markdown. The expanded simulation chapter introduces the Box–Muller and Metropolis–Hastings algorithms. New examples and exercises have been added throughout. This is the only introduction you'll need to start programming in R, the computing standard for analyzing data. This book comes with real R code that teaches the standards of the language. Unlike other introductory books on the R system, this book emphasizes portable programming skills that apply to most computing languages and techniques used to develop more complex projects. Solutions, datasets, and any errata are available from www.statprogr.science. Worked examples - from real applications - hundreds of exercises, and downloadable code, datasets, and solutions make a complete package for anyone working in or learning practical data

Essentials of Programming in Mathematica® provides an introduction suitable for readers with little or no background in the language as well as for those with some experience using programs such as C, Java, or Perl. The author, an established authority on Mathematica® programming, has written an example-driven text that covers the language from first principles, as well as including material from natural language processing, bioinformatics, graphs and networks, signal analysis, geometry, computer science, and many other applied areas. The book is appropriate for self-study or as a text for a course in programming in computational science. Readers will benefit from the author's tips, which provide insight and suggestions on small and large points. He also provides more than 350 exercises from novice through to advanced level with all of the solutions available online.

New to English law? Need to know how rules are made, interpreted and applied? This popular and well-established textbook will show you how. It simplifies legal method by combining examples with an account of rules in general: the who, what, why and how of interpretation. Starting with standpoint and context, it identifies factors that give rise to doubts about the interpretation of a rule and recommends a systematic approach to analysing those factors. Questions and exercises integrated in the text and on the accompanying website will help you to develop skills in reading, interpreting and arguing about legal and other rules. The text is fully updated on developments in the legislative process and the judicial interpretation of statutes and precedent. It includes a new chapter on 'The European Dimension' reflecting the changes brought about by the Human Rights Act 1998.

New to English law? Need to know how rules are made, interpreted and applied? This popular and well-established textbook will show you how. It simplifies legal method by combining examples with an account of rules in general: the who, what, why and how of interpretation. Starting with standpoint and context, it identifies factors that give rise to doubts about the interpretation of a rule and recommends a systematic approach to analysing those factors. Questions and exercises integrated in the text and on the accompanying website will help you to develop skills in reading, interpreting and arguing about legal and other rules. The text is fully updated on developments in the legislative process and the judicial interpretation of statutes and precedent. It includes a new chapter on 'The European Dimension' reflecting the changes brought about by the Human Rights Act 1998.

Do you need to know how to write systems, services, and applications using the TinyOS operating system? Learn how to write nesC code and efficient applications with this indispensable guide to TinyOS programming. Detailed examples show you how to write TinyOS code in full, from basic applications right up to new low-level systems and high performance applications. Two leading figures in the development of TinyOS also explain the reasons behind many of the design decisions made and, for the first time, how nesC relates to and differs from other C dialects. Handy features such as a library of software design patterns, programming hints and tips, end-of-chapter exercises, and an appendix summarizing the basic application-level TinyOS APIs make this the ultimate guide to TinyOS for embedded systems programmers, developers, designers, and graduate students.

This book introduces the basic concepts of MathLink and explains how to extend Mathematica using MathLink. MathLink provides a simple and powerful way to write programs which communicate with Mathematica and it provides access to a wide range of network resources. Writing network programs is the most demanded skill in the Internet age and MathLink provides a sophisticated level of network programming to the non-programmer, scientist, engineer, and student. The text assumes that the reader is already familiar with Mathematica. Source code for a range of practical examples - ranging from elementary to advanced - is examined in detail, allowing the reader easily to adapt the code to suit their own needs. The purpose of this book is to show how to write MathLink programs and how to apply MathLink in a variety of situations. A CD-ROM accompanies the book, which includes the code accompanying the examples and the application CodeWarrior Lite.

This textbook is designed as a first book on concurrent programming for computer science undergraduates, and provides a comprehensive introduction to the problems of concurrency. Concurrency is of vital importance in many areas of computer science, particularly in operating systems. It is also increasingly being taught in undergraduate courses. The book builds on the student's familiarity with sequential programming in a high level language, which will make it very accessible to computer science students. The book is concerned mainly with the high level aspects of concurrency, which will be equally applicable to traditional time sliced or more recent truly parallel systems.

Games Programming has been written for the personal computer owner who is setting out to write fams programs. It charts the territory which lies beyond the simplistic arcade game and which leads to the more intellectually exciting game moderators and learning programs. This is not another book of program listings, nor does it present game algorithms in isolation from the computer methods which make them work. The aim is to equip the reader with an awareness of modern techniques of structured programming, a robust attitude to computer languages, and a source of valuable 'know how'.

Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-an

Haskell is a purely functional language that allows programmers to rapidly develop clear, concise, and correct software. The language has grown in popularity in recent years, both in teaching and in industry. This book is based on the author's experience of teaching Haskell for more than twenty years. All concepts are explained from first principles and no programming experience is required, making this book accessible to a broad spectrum of readers. While Part I focuses on basic concepts, Part II introduces the reader to more advanced topics. This new edition has been extensively updated and expanded to include recent and more advanced features of Haskell, new examples and exercises, selected solutions, and freely downloadable lecture slides and example code. The presentation is clean and simple, while also being fully compliant with the latest version of the language, including recent changes concerning applicative, monadic, foldable, and traversable types.

The first comprehensive, research-based textbook on Internet-infused education, Educational Psychology and the Internet offers students an accessible guide to important issues in the field. Michael Glassman begins with an overview of the history that traces the evolution of the Internet and its significance for education. He outlines the current state of research, clearly defining terms that students will need to discuss larger concepts, such as hypertext and cyberspace. The second part of the book explores the practical applications of this research, which range from the individual-oriented to the generalized, including massive open online courses (MOOCs), open educational resources, and augmented reality. Key issues that affect teachers and students today, such as Net Neutrality and Creative Commons and Open Source licenses, are explained in straightforward terms, and often-overlooked differences - for example, between course management systems and learning management systems, and be

The first comprehensive, research-based textbook on Internet-infused education, Educational Psychology and the Internet offers students an accessible guide to important issues in the field. Michael Glassman begins with an overview of the history that traces the evolution of the Internet and its significance for education. He outlines the current state of research, clearly defining terms that students will need to discuss larger concepts, such as hypertext and cyberspace. The second part of the book explores the practical applications of this research, which range from the individual-oriented to the generalized, including massive open online courses (MOOCs), open educational resources, and augmented reality. Key issues that affect teachers and students today, such as Net Neutrality and Creative Commons and Open Source licenses, are explained in straightforward terms, and often-overlooked differences - for example, between course management systems and learning management systems, and be

This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, mini-projects and links to further F# sources.

This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of applications including databases and systems. Coverage also includes advanced features in the .NET library, the imperative features of F# and topics such as text processing, sequences, computation expressions and asynchronous computation. With a broad spectrum of examples and exercises, the book is perfect for courses in functional programming and for self-study. Enhancing its use as a text is an accompanying website with downloadable programs, lecture slides, mini-projects and links to further F# sources.

This book is concerned with the history of metaphysics since Descartes. Taking as its definition of metaphysics 'the most general attempt to make sense of things', it charts the evolution of this enterprise through various competing conceptions of its possibility, scope, and limits. The book is divided into three parts, dealing respectively with the early modern period, the late modern period in the analytic tradition, and the late modern period in non-analytic traditions. In its unusually wide range, A. W. Moore's study refutes the tired old cliché that there is some unbridgeable gulf between analytic philosophy and philosophy of other kinds. It also advances its own distinctive and compelling conception of what metaphysics is and why it matters. Moore explores how metaphysics can help us to cope with continually changing demands on our humanity by making sense of things in ways that are radically new.

Nonlinear stress analysis (a branch of solid mechanics) is an essential feature in the design of such diverse structures as aircraft, bridges, machines, and dams. Computational techniques have become vital tools in dealing with the complex, time-consuming problems associated with nonlinear stress analysis. Although finite element techniques are widely used, boundary element methods (BEM) offer a powerful alternative, especially in tackling problems of three-dimensional plasticity. This 2002 book describes the application of BEM in solid mechanics, beginning with basic theory and then explaining the numerical implementation of BEM in nonlinear stress analysis. The authors have also developed a BEM source code for use by the reader, which is available on the book's companion website. This book will be especially useful to stress analysts in industry, research workers in the field of computational plasticity, and postgraduate students taking courses in engineering mechanics.

With ever-increasing demands on capacity, quality of service, speed, and reliability, current Internet systems are under strain and under review. Combining contributions from experts in the field, this book captures the most recent and innovative designs, architectures, protocols, and mechanisms that will enable researchers to successfully build the next-generation Internet. A broad perspective is provided, with topics including innovations at the physical/transmission layer in wired and wireless media, as well as the support for new switching and routing paradigms at the device and sub-system layer. The proposed alternatives to TCP and UDP at the data transport layer for emerging environments are also covered, as are the novel models and theoretical foundations proposed for understanding network complexity. Finally, new approaches for pricing and network economics are discussed, making this ideal for students, researchers, and practitioners who need to know about designing, constructi

Developmental programming is a rapidly advancing discipline of great importance to basic scientists and health professionals alike. This text integrates, for the first time, contributions from world experts to explore the role of the placenta in developmental programming. The book considers the materno-fetal supply line, and how perturbations of placental development impact on its functional capacity. Chapters examine ways in which environmental, immunological and vascular insults regulate expression of conventional and imprinted genes, along with their impact on placental shape and size, transport, metabolism and endocrine function. Research in animal models is integrated with human clinical and epidemiological data, and questions for future research are identified. Transcripts of discussions between the authors allow readers to engage with controversial issues. Essential reading for researchers in placental biology and developmental programming, as well as specialists and trainees in

Grounded in knowledge of thousands of programs, this book examines how musical life in London, Leipzig, Vienna, Boston, and other cities underwent a fundamental transformation in relationship with movements in European politics. William Weber traces how musical taste evolved in European concert programs from 1750 to 1870, as separate worlds arose around classical music and popular songs. In 1780 a typical program accommodated a variety of tastes through a patterned 'miscellany' of genres, held together by diplomatic musicians. This framework began weakening around 1800 as new kinds of music appeared, from string quartets to quadrilles to ballads, which could not easily coexist on the same programs. Utopian ideas and extravagant experiments influenced programming as ideological battles were fought over who should govern musical taste. More than a hundred illustrations or transcriptions of programs enable readers to follow Weber's analysis in detail.

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

The internet has the potential to increase the number of cross-border disputes between a wide range of different users. For many internet disputes, the use of Online Dispute Resolution (ODR) becomes critical. ODR uses information technology (such as expert systems) and internet communication applications (such as webforms or web filing platforms) to resolve disputes outside the courts. Although ODR is a progeny of ADR, using some of the same processes such as mediation and arbitration, ODR is also different in that it adds new and transformative technology and processes. This book sets out the process standards with which ODR, and in particular online arbitration, should comply and shows how these standards can be implemented in the real world. It considers applicable law and enforcement, thus providing a blueprint of how online arbitration processes should be devised.

Approaching wireless Internet security from the position of system architecture, this text describes the cryptographic and protocol-based tools for Internet security with a focus on understanding the system architecture of existing Internet security, and on developing architectural changes for new security services. Introducing the topics of security threats in wireless networks, security services for countering those threats, and the process of defining functional architecture for network systems, the author also discusses examples of wireless Internet security systems such as wireless network access control, local IP subnet configuration and address resolution, and location privacy. Each chapter describes the basic network architecture and protocols for the system under consideration, the security threats faced, a functional architecture, and the important Internet protocols that implement the architecture. This is an ideal resource for graduate students of electrical engineering and

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly extended to admit both an operational semantics for functional I/O and verification of programs engaged in I/O. He obtains operational semantics for the three most widely implemented I/O mechanisms for lazy languages, and proves that the three are equivalent in expressive power. He develops semantics for a form of monadic I/O and verifies a simple programming example. These theories of functional I/O are based on an entirely operational theory of functional programming, developed using Abramsky's 'applicative bisimulation'.