PLEASE:Predictable Logic based ExecutAble SpeCifications

• 1 January 1986
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 349-358
• https://doi.org/10.1145/324634.325453

Abstract

Keywords

• PREDICTABLE LOGIC
• EXECUTABLE SPECIFICATIONS
• SATISFIABILITY
• GROUP
• PROGRAMMING LANGUAGE
• SOFTWARE COMPONENT
• PROLOG
• QUERY BY EXAMPLE
• DEVELOPMENT PROCESS
• FIRST ORDER PREDICATE LOGIC
• ABSTRACT DATA TYPE