A theory of formal synthesis via inductive learning
Sign Up to like & getrecommendations! Published in 2017 at "Acta Informatica"
DOI: 10.1007/s00236-017-0294-5
Abstract: Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based on the use of inductive learning. We refer to this… read more here.
Keywords: inductive synthesis; formal synthesis; inductive learning; formal inductive ... See more keywords
Automated formal synthesis of provably safe digital controllers for continuous plants
Sign Up to like & getrecommendations! Published in 2019 at "Acta Informatica"
DOI: 10.1007/s00236-019-00359-1
Abstract: We present a sound and automated approach to synthesizing safe, digital controllers for physical plants represented as time-invariant models. Models are linear differential equations with inputs, evolving over a continuous state space. The synthesis precisely… read more here.
Keywords: synthesis provably; safe digital; automated formal; digital controllers ... See more keywords
A C-H Functionalization Strategy Enables an Enantioselective Formal Synthesis of (-)-Aflatoxin B2.
Sign Up to like & getrecommendations! Published in 2021 at "Organic letters"
DOI: 10.1021/acs.orglett.1c03502
Abstract: An enantioselective formal synthesis of (-)-aflatoxin B2 from 4-methoxyphenylacetic acid has been achieved by an approach that produces a key carbon-carbon bond, a benzylic stereocenter, and two arene carbon-oxygen bonds in the course of three… read more here.
Keywords: formal synthesis; synthesis; synthesis aflatoxin; enantioselective formal ... See more keywords
Total Synthesis of Anhydroryanodol and Formal Synthesis of Ryanodol and Ryanodine.
Sign Up to like & getrecommendations! Published in 2025 at "Organic letters"
DOI: 10.1021/acs.orglett.5c00604
Abstract: Building on our prior synthesis of the representative Ryanodane diterpene garajonone, we report here the chemical synthesis of anhydroryanodol, a significant degradation product of Ryanodane diterpenes that features distinct oxidation sites, utilizing the same advanced… read more here.
Keywords: total synthesis; anhydroryanodol formal; synthesis; synthesis anhydroryanodol ... See more keywords
Nazarov Cyclization Entry to Chiral Bicyclo[5.3.0]decanoid Building Blocks and Its Application to Formal Synthesis of (-)-Englerin A.
Sign Up to like & getrecommendations! Published in 2017 at "Organic letters"
DOI: 10.1021/acs.orglett.7b02428
Abstract: A divergent entry to the chiral bicyclo[5.3.0]decane skeletons relevant to sesqui- and higher terpenoids has been achieved. Its usefulness was demonstrated by formal synthesis of a guaiane sesquiterpenoid (-)-englerin A. The key reactions are (i)… read more here.
Keywords: bicyclo; formal synthesis; chiral bicyclo; nazarov cyclization ... See more keywords
Formal Synthesis of (-)-Codeine by Application of Temporary Thio Derivatization.
Sign Up to like & getrecommendations! Published in 2018 at "Organic letters"
DOI: 10.1021/acs.orglett.7b03972
Abstract: Desymmetrization of a p-quinone monoacetal by organocatalytic sulfa-Michael addition provided rapid access to a C-ring building block for a formal synthesis of (-)-codeine. By means of a diastereoselective 1,2-addition for A/C-ring union, an intramolecular nitrone… read more here.
Keywords: codeine; formal synthesis; codeine application; synthesis codeine ... See more keywords
Enantioselective Formal Synthesis of (+)-Cycloclavine and Total Synthesis of (+)-5-epi-Cycloclavine.
Sign Up to like & getrecommendations! Published in 2019 at "Organic letters"
DOI: 10.1021/acs.orglett.9b02015
Abstract: Starting from the commercially available 4-bromoindole, a concise and efficient enantioselective formal synthesis of (+)-cycloclavine (1) in 13 steps with 2.0% overall yield and a total synthesis of (+)-5-epi-cycloclavine (2) in 14 steps with 3.3%… read more here.
Keywords: enantioselective formal; cycloclavine; synthesis cycloclavine; formal synthesis ... See more keywords
Anti-addition of Dimethylsulfoxonium Methylide to Acyclic α,β-Unsaturated Ketones and Its Application in Formal Synthesis of an Eicosanoid
Sign Up to like & getrecommendations! Published in 2017 at "ACS Omega"
DOI: 10.1021/acsomega.7b00663
Abstract: Cyclopropanation using dimethylsulfoxonium methylide (Corey–Chaykovsky reaction) was examined with a series of linear α,β-unsaturated ketones, and the results showed that the major trajectory for the addition of the sulfur ylide to the enones is anti,… read more here.
Keywords: unsaturated ketones; dimethylsulfoxonium methylide; formal synthesis; addition ... See more keywords
Chemoenzymatic Oxidation of Labdane and Formal Synthesis of Nimbolide.
Sign Up to like & getrecommendations! Published in 2024 at "Journal of the American Chemical Society"
DOI: 10.1021/jacs.4c07956
Abstract: In nature, basic terpene skeletons are produced and subsequently undergo enzymatic or nonenzymatic oxidative transformations, leading to diverse structural variations. To date, thousands of natural products featuring a variety of oxidation patterns have been isolated… read more here.
Keywords: synthesis nimbolide; oxidation labdane; synthesis; formal synthesis ... See more keywords
A formal synthesis of (-)-erinacine B enabled by asymmetric organocatalysis.
Sign Up to like & getrecommendations! Published in 2023 at "Chemical communications"
DOI: 10.1039/d3cc01935g
Abstract: A unified strategy for accessing the core structure of cyathane diterpenoids has been developed, enabling the formal synthesis of (-)-erinacine B. The key feature includes an organocatalyzed asymmetric intramolecular vinylogous aldol reaction for convergently building… read more here.
Keywords: synthesis erinacine; erinacine enabled; formal synthesis; enabled asymmetric ... See more keywords
Formal synthesis of kibdelomycin and derivatisation of amycolose glycosides
Sign Up to like & getrecommendations! Published in 2023 at "Chemical Science"
DOI: 10.1039/d3sc00595j
Abstract: A convergent total synthesis of bacterial gyrase B/topoisomerase IV inhibitor kibdelomycin (a.k.a. amycolamicin) (1) was devised starting from inexpensive d-mannose and l-rhamnose, which were converted in new efficient ways to an N-acylated amycolose and an… read more here.
Keywords: kibdelomycin derivatisation; amycolose glycosides; synthesis kibdelomycin; synthesis ... See more keywords