Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Browse subjects
  3. Computer Science
  4. Programming Languages and Applied Logic
  5. Content listing

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

5646 results in Programming Languages and Applied Logic

Page 13 of 283

  • 1 - Words, Numbers, Graphs

  • from Part I - Problems
  • Edited by Filip Murlak, University of Warsaw, Damian Niwiński, University of Warsaw, Wojciech Rytter, University of Warsaw
  • Book:
    200 Problems on Languages, Automata, and Computation
    Published online:
    14 April 2023
    Print publication:
    20 April 2023, pp 3-6
    • Chapter
      • You have access
    • PDF
    • Export citation

200 Problems on Languages, Automata, and Computation
  • Edited by Filip Murlak, Damian Niwiński, Wojciech Rytter
  • Published online:
    14 April 2023
    Print publication:
    20 April 2023
  • Formal languages and automata have long been fundamental to theoretical computer science, but students often struggle to understand these concepts in the abstract. This book provides a rich source of compelling exercises designed to help students grasp the subject intuitively through practice. The text covers important topics such as finite automata, regular expressions, push-down automata, grammars, and Turing machines via a series of problems of increasing difficultly. Problems are organised by topic, many with multiple follow-ups, and each section begins with a short recap of the basic notions necessary to make progress. Complete solutions are given for all exercises, making the book well suited for self-study as well as for use as a course supplement. Developed over the course of the editors' two decades of experience teaching the acclaimed Automata, Formal Languages, and Computation course at the University of Warsaw, it is an ideal resource for students and instructors alike.

Programming Languages
  • Build, Prove, and Compare
  • Norman Ramsey
  • Published online:
    27 January 2023
    Print publication:
    27 October 2022
  • 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-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.

Software Engineering
  • Basic Principles and Best Practices
  • Ravi Sethi
  • Published online:
    09 December 2022
    Print publication:
    08 December 2022
  • Software engineering is as much about teamwork as it is about technology. This introductory textbook covers both. For courses featuring a team project, it offers tips and templates for aligning classroom concepts with the needs of the students' projects. Students will learn how software is developed in industry by adopting agile methods, discovering requirements, designing modular systems, selecting effective tests, and using metrics to track progress. The book also covers the 'why' behind the 'how-to', to prepare students for advances in industry practices. The chapters explore ways of eliciting what users really want, how clean architecture divides and conquers the inherent complexity of software systems, how test coverage is essential for detecting the inevitable defects in code, and much more. Ravi Sethi provides real-life case studies and examples to demonstrate practical applications of the concepts. Online resources include sample project materials for students, and lecture slides for instructors.

  • 6 - Design and Architecture

  • Ravi Sethi, University of Arizona
  • Book:
    Software Engineering
    Published online:
    09 December 2022
    Print publication:
    08 December 2022, pp 142-171

  • Summary

    For any software project, large or small, architecture is key to managing the intrinsic complexity of software. The design of a system includes its architecture, so, more broadly, design is key to managing software complexity. Informally, architecture partitions a system into parts that are easier to work with than the system as a whole. Let us refer to the parts as architectural elements, or simply elements. With a clean architecture, we can reason about the system in terms of the properties of its elements, without worrying about how the elements are implemented.

  • 1 - Introduction

  • Ravi Sethi, University of Arizona
  • Book:
    Software Engineering
    Published online:
    09 December 2022
    Print publication:
    08 December 2022, pp 1-23

  • Summary

    Software engineering is the application of engineering methods to software development and evolution. Its principles and practices address three fundamental goals: discover user requirements, manage software complexity, and build quality products and services. This chapter introduces the goals, their associated challenges, and how to deal with the challenges.

  • 2 - Software Development Processes

  • Ravi Sethi, University of Arizona
  • Book:
    Software Engineering
    Published online:
    09 December 2022
    Print publication:
    08 December 2022, pp 24-63

  • Summary

    The selection of a development process is one of the earliest decisions in the life of a software project. A process orchestrates the workings of a team: it guides what each role does and when in order to define and build a product. This chapter introduces the two main groupings of processes: agile and plan-driven. Agile processes are designed to accommodate requirements changes. Plan-driven processes emphasize careful upfront design. Each process class within these groupings addresses some, but not all, of the challenges faced by projects. Teams therefore customize their processes by borrowing best practices as needed. For example, all teams benefit from essentially the same testing practices.

  • 8 - Static Checking

  • Ravi Sethi, University of Arizona
  • Book:
    Software Engineering
    Published online:
    09 December 2022
    Print publication:
    08 December 2022, pp 203-221

  • Summary

    The combination of reviews, static analysis, and testing is highly effective at detecting defects during software development. By themselves, the individual techniques are much less effective; see . Testing is covered in ; the other techniques are covered in this chapter.

  • 5 - Use Cases

  • Ravi Sethi, University of Arizona
  • Book:
    Software Engineering
    Published online:
    09 December 2022
    Print publication:
    08 December 2022, pp 125-141

  • Summary

    A use case describes how a user interacts with a system to accomplish something of value to the user. Written in plain English, use cases are intended to be a single description that is suitable for all stakeholders.

Page 13 of 283