Publication | Closed Access
Direct Manipulation: A Step Beyond Programming Languages
1.9K
Citations
17
References
1983
Year
Declarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningDirect ManipulationFormal MethodsSoftware EngineeringProgram SynthesisComputer ScienceSoftware AnalysisProgramming Language DesignFormal VerificationProgramming Languages
| Year | Citations | |
|---|---|---|
Page 1
Page 1