Automating string processing in spreadsheets using input-output examples
From MaRDI portal
Publication:5408553
DOI10.1145/1926385.1926423zbMath1284.68700OpenAlexW4237412827MaRDI QIDQ5408553
Publication date: 10 April 2014
Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1926385.1926423
program synthesisspreadsheet programmingstring manipulationuser intentprogramming by example (pbe)version space algebra
Related Items (16)
Inductive logic programming at 30 ⋮ Solving Program Sketches with Large Integer Values ⋮ Automatic synthesis of data-flow analyzers ⋮ Learning efficient logic programs ⋮ Iterative genetic improvement: scaling stochastic program synthesis ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Can language models automate data wrangling? ⋮ Learning higher-order logic programs ⋮ Algebra-based synthesis of loops and their invariants (invited paper) ⋮ Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation ⋮ Scaling Enumerative Program Synthesis via Divide and Conquer ⋮ A formal methods approach to predicting new features of the eukaryotic vesicle traffic system ⋮ AUTOMAT[\texttt{R}IX: learning simple matrix pipelines] ⋮ Predictive spreadsheet autocompletion with constraints ⋮ Programming by predicates: a formal model for interactive synthesis ⋮ Computing programs for generalized planning using a classical planner
Uses Software
This page was built for publication: Automating string processing in spreadsheets using input-output examples
