Sage Journals: Discover world-class research

1-10 of 959 results for program synthesis

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 1997

Partial Structural Synthesis of Programs

Mihhail Matskin, Jan Komorowski

Fundamenta Informaticae

Retricted access

Research article

First published 1990-12

Structural synthesis of data processing programs

Justinas Laurinskas, Gražina Taučaitė

Informatica: An International Journal of Computing and Informatics

Open access

Research article

First published 2025-8

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus

Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa [...]

Intelligenza Artificiale

Retricted access

Research article

First published 1999

On Intuitionistic Proof Transformations,their Complexity,and Application to Constructive Program Synthesis

Uwe Egly, Stephan Schmitt

Fundamenta Informaticae

Open access

Research article

First published 2026

Solving Abstract Reasoning Problems With Neurosymbolic Program Synthesis and Task Generation

Jakub Bednarek, Krzysztof Krawiec

Neurosymbolic Artificial Intelligence

Retricted access

Research article

First published 2011

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Open access

Research article

First published 2025

Profiles of palliative day care programs in Canada and the United Kingdom: A meta-synthesis

Gabrielle Fortin, Gabrielle Leblanc-Huard, George Kernohan [...]

Palliative Care and Social Practice

Open access

Research article

First published 2022-10

Optimal synthesis of crank-rocker mechanisms with optimum transmission angle for desired stroke and time-ratio using genetic programming

Bahman Ahmadi, Behnam Ahmadi

Advances in Mechanical Engineering

Retricted access

Research article

First published 2012

Synthesizing Concurrent Programs Using Answer Set Programming

Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti

Fundamenta Informaticae

Retricted access

Research article

First published 1997-6

The Evolving Syntheses of Program Value

Robert Stake, Christopher Migotsky, Rita Davis [...]

American Journal of Evaluation

Search results