Search results for "Forms/3"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Meera Blattner	Transductions of Context-Free Languages into Sets of Sentential Forms.	ICALP	1974	DBLP DOI BibTeX RDF
17	Paul Carlson, Margaret M. Burnett	Integrating Algorithm Animation into a Declarative Visual Programming Language.	VL	1995	DBLP DOI BibTeX RDF	declarative visual programming language, semantic insights, VPL Forms/3, visual programming, computer animation, visual languages, computational linguistics, algorithm animation
14	Aaron Wilson, Margaret M. Burnett, Laura Beckwith, Orion Granatir, Ledah Casburn, Curtis R. Cook, Mike Durham, Gregg Rothermel	Harnessing curiosity to increase correctness in end-user programming.	CHI	2003	DBLP DOI BibTeX RDF	forms/3, surprise-explain-reward strategy, assertions, end-user software engineering, curiosity
14	Margaret M. Burnett, Sherry Yang, Jay Summet	A scalable method for deductive generalization in the spreadsheet paradigm.	ACM Trans. Comput. Hum. Interact.	2002	DBLP DOI BibTeX RDF	Forms/3, concrete programming, spreadsheet languages, Human-computer interaction, generalization, graphical programming
14	Margaret M. Burnett, Herkimer J. Gottfried	Graphical Definitions: Expanding Spreadsheet Languages Through Direct Manipulation and Gestures.	ACM Trans. Comput. Hum. Interact.	1998	DBLP DOI BibTeX RDF	forms/3, gestures, direct manipulation, programming by demonstration
10	Margaret M. Burnett, John Atwood, Rebecca Walpole Djang, James Reichwein, Herkimer J. Gottfried, Sherry Yang	Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm.	J. Funct. Program.	2001	DBLP DOI BibTeX RDF
10	Margaret M. Burnett	Forms/3, a declarative graphical language.	PPIG	1995	DBLP BibTeX RDF
10	Matthew Love	Animating Z Specifications in SQL*Forms 3.0.	Z User Workshop	1992	DBLP DOI BibTeX RDF
4	Marcus Vitek, Michaela Pinter, Andrea Rappelsberger, Yoichi Hayashi, Klaus-Peter Adlassnig	Web-Based Decision Support in Selecting Patients with Parkinson's Disease for Deep Brain Stimulation.	CBMS	2007	DBLP DOI BibTeX RDF
4	Robin Abraham, Martin Erwig	AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets.	VL/HCC	2006	DBLP DOI BibTeX RDF
4	Yevgeniy Dodis, Roberto Oliveira 0001, Krzysztof Pietrzak	On the Generic Insecurity of the Full Domain Hash.	CRYPTO	2005	DBLP DOI BibTeX RDF
4	Alan F. Blackwell, Margaret M. Burnett	Applying Attention Investment to End-User Programming.	HCC	2002	DBLP DOI BibTeX RDF
4	Gregg Rothermel, Margaret M. Burnett, Lixin Li, Christopher DuPuis, Andrei Sheretov	A methodology for testing spreadsheets.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	software testing, spreadsheets
4	Margaret M. Burnett, Andrei Sheretov, Gregg Rothermel	Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids.	VL	1999	DBLP DOI BibTeX RDF	Testing, visual programming, end-user programming, spreadsheets
4	Paul Carlson, Margaret M. Burnett, Jonathan J. Cadiz	A seamless integration of algorithm animation into a visual programming language.	AVI	1996	DBLP DOI BibTeX RDF