Search
Search Results
-
The First Program
In this chapter, you will create your first PHP program. Namely, you will examine some simple code and determine how it can be executed. There is not... -
Invariant-based Program Repair
This paper describes a formal general-purpose automated program repair (APR) framework based on the concept of program invariants. In the presented... -
Program transformation landscapes for automated program modification using Gin
Automated program modification underlies two successful research areas — genetic improvement and program repair. Under the generate-and-validate...
-
Program Synthesis from Graded Types
Graded type systems are a class of type system for fine-grained quantitative reasoning about data-flow in programs. Through the use of resource... -
A First Python Program
In this chapter we will return to the Hello World program from the last chapter and look at what it is doing. We will also modify it to become more... -
Program Synthesis in Saturation
We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional... -
Latent Variable Model Selection
Latent variable models are important knowledge representations for machine learning. This chapter introduces two information-theoretic criteria for... -
Program analysis using empirical abstraction
Given a program analysis problem that consists of a program and a property of interest, we use an empirical approach to automatically construct a...
-
Schematic Program Proofs with Abstract Execution
We propose Abstract Execution , a static verification framework based on symbolic execution and dynamic frames for proving properties of schematic ...
-
Building a Command-line Program
Command-line programs, also known as CLIs (command-line interfaces), are probably one of the most natural applications of Rust. A CLI is a piece of... -
How Do I Control the Program Flow and Make the Program React to User Actions and Other Events?
Programs must react to a variety of events, for example user input. This "reaction" means that the program branches into different sections depending... -
Loops: How Do I Repeat Program Instructions Efficiently?
In programs we often need to repeat one or more similar instructions. To do this, we could simply write the instructions several times in a row.... -
Ranged Program Analysis via Instrumentation
Ranged program analysis has recently been proposed as a means to scale a single analysis and to define parallel cooperation of different analyses. To... -
Toward a theory of program repair
To repair a program does not mean to make it (absolutely) correct; it only means to make it more-correct than it was originally. This is not a...
-
Logic program proportions
The purpose of this paper is to present a fresh idea on how symbolic learning might be realized via analogical reasoning. For this, we introduce...
-
Program Semantics and Verification Technique for AI-Centred Programs
We give a general-purpose programming language in which programs can reason about their own knowledge. To specify what these intelligent programs... -
HMPT: a human–machine cooperative program translation method
Program translation aims to translate one kind of programming language to another, e.g., from Python to Java. Due to the inefficiency of translation...
-
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
Probabilistic programming aims to open the power of Bayesian reasoning to software developers and scientists, but identification of problems during...
-
Leading the Program
AI for national security is implemented in the context of government programs—funded by Congress and executed by departments and agencies. Some of... -
Graph Neural Networks in Program Analysis
Program analysis aims to determine if a program’s behavior complies with some specification. Commonly, program analyses need to be defined and tuned...