Publication | Closed Access

Direct Manipulation: A Step Beyond Programming Languages

Declarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningDirect ManipulationFormal MethodsSoftware EngineeringProgram SynthesisComputer ScienceSoftware AnalysisProgramming Language DesignFormal VerificationProgramming Languages