Publication

On Reductions for Synthesis Procedures

2012
Reports

Résumé

A synthesis procedure acts as a compiler for declarative specifications. It accepts a formula describing a relation between inputs and outputs, and generates a function implementing this relation. This paper presents synthesis procedures for data structures. Our procedures are reductions that lift a synthesis procedure for the elements into synthesis procedures for containers storing these elements. We introduce a framework to describe synthesis procedures as systematic applications of inference rules. We show that, by interpreting both synthesis problems and programs as relations, we can derive and modularly prove transformation rules that are widely applicable, thus simplifying both the presentation and the correctness argument.

Source officielle

https://infoscience.epfl.ch/entities/publication/fb0d1d98-578c-4037-8994-38553d85e5c5

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

2012
Reports

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/fb0d1d98-578c-4037-8994-38553d85e5c5

À propos de ce résultat

Concepts associés (32)

Network synthesis

Network synthesis is a design technique for linear electrical circuits. Synthesis starts from a prescribed impedance function of frequency or frequency response and then determines the possible networks that will produce the required response. The technique is to be compared to network analysis in which the response (or other behaviour) of a given circuit is calculated. Prior to network synthesis, only network analysis was available, but this requires that one already knows what form of circuit is to be analysed.

Synthèse asymétrique

vignette|Structure chimique de BINAP La synthèse asymétrique consiste à préparer un produit sous forme d'un énantiomère en partant d'une matière première achirale. Cette transformation nécessite l'ajout d'un composé chiral qui est temporairement lié au substrat, à un réactif ou à un catalyseur. Les principaux types de synthèse asymétrique sont les synthèses : diastéréosélective énantiosélective stœchiométrique catalytique Spécificité et sélectivité Effets non linéaires en catalyse asymétrique Catégorie:Stér

Structure de données

En informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.

Afficher plus

Publications associées (2)

On Reductions for Synthesis Procedures

Chattez avec Graph Search

Synthesis and characterization of thermoresponsive polymers, hydrogels and microgels, based on poly(N-substituted acrylamides)

Chemoselectively addressable HCan building blocks in peptide synthesis: L-homocanaline derivatives