Visual programming, programming by example, and program visualization: a taxonomy
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Object-oriented spreadsheets: the analytic spreadsheet package
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
FORMAL: a forms-oriented and visual-directed application development system for non-programmers
Papers from three IBM computer science symposia on Application development systems: the inside story of multinational product development
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
The management of end user computing
Communications of the ACM
The system for business automation (SBA): programming language
Communications of the ACM
Database Technology for Expert Systems
Wissensbasierte Systeme, 1. Internationaler GI-Kongress
A session with Tinker: Interleaving program testing with program design
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Extending the power of programming by examples
Proceedings of the SIGOA conference on Office information systems
Programming by example
A direct manipulation interface for boolean information retrieval via natural language query
SIGIR '90 Proceedings of the 13th annual international ACM SIGIR conference on Research and development in information retrieval
An ethnographic study of distributed problem solving in spreadsheet development
CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
Graphical techniques in a spreadsheet for specifying user interfaces
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A spreadsheet based on constraints
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
FOCUS: the interactive table for product comparison and selection
Proceedings of the 9th annual ACM symposium on User interface software and technology
AVI '96 Proceedings of the workshop on Advanced visual interfaces
PrediCalc: a logical spreadsheet management system
VLDB '05 Proceedings of the 31st international conference on Very large data bases
A1: end-user programming for web-based system administration
Proceedings of the 18th annual ACM symposium on User interface software and technology
Developing constraint-based applications with spreadsheets
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Experiences with the DOMINO office procedure system
ECSCW'91 Proceedings of the second conference on European Conference on Computer-Supported Cooperative Work
Enhancing the Programmability of Spreadsheets with Logic Programming
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
An introduction to logical spreadsheets
The Knowledge Engineering Review
Nexcel, a deductive spreadsheet
The Knowledge Engineering Review
Implementing logic spreadsheets in less
The Knowledge Engineering Review
Adding deductive logic to a cots spreadsheet
The Knowledge Engineering Review
Predicalc: A logical spreadsheet management system
The Knowledge Engineering Review
A Functional Spreadsheet Framework for Authoring Logic Implication Rules
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Unification of arrays in spreadsheets with logic programming
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
DNIS'11 Proceedings of the 7th international conference on Databases in Networked Information Systems
Mulspren: a multiple language programming environment for children
CHINZ '03 Proceedings of the 4th Annual Conference of the ACM Special Interest Group on Computer-Human Interaction
| Hi-index | 0.00 |
We present PERPLEX, a programming environment intended for the end-user. In its design, the concepts of logic programming and spreadsheets are combined. Thus, on the one hand, logic programming becomes an interactive, incremental task where the user gets direct visual feedback, on the other hand, functionality and scope of a conventional spreadsheet program are considerably extended. In order to perform calculations and queries, constraints are imposed on the contents of the spreadsheet cells. New predicates can be defined using a programming-by-example technique: Rules are extracted from the user's solutions for example problems. Thus, concrete intermediate results take over the role of abstract logic variables in the programming process. PERPLEX has been successfully implemented on a Symbolics Lisp Machine.