Program Transformation for Development, Verification, and Synthesis of Programs

Intelligenza Artificiale - Netherlands
doi 10.3233/ia-2011-0014
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Program Transformation for Backwards Analysis of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Analyzing Array Manipulating Programs by Program Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Program Development Through Proof Transformation

Contemporary Mathematics
Mathematics
1990English

Program Refactoring, Program Synthesis, and Model-Driven Development

English

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

Runtime Checking for Program Verification

English

Civic Engagement Programs and Youth Development: A Synthesis

2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy