Using Program Synthesis for Program Analysis

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-662-48899-7_34
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Program Refactoring, Program Synthesis, and Model-Driven Development

English

Program Analysis for Web Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Building Java Program Analysis Tools Using Javana

2006English

General Program Synthesis Using Guided Corpus Generation and Automatic Refactoring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Modeling Program Resource Demand Using Inherent Program Characteristics

2011English

A Program for Latent Partition Analysis

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
1975English

Slope Stability Analysis in Ulubelu Lampung Using Computational Analysis Program

Civil and Environmental Science
2020English

The Power of Parallelism for Automatic Program Synthesis

1981English

Collective Program Analysis

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy