Publication | Closed Access
Relational heuristics for the design of deterministic programs
47
Citations
10
References
1987
Year
Programming Language TheoryEngineeringProgram AnalysisAutomated ReasoningFormal MethodsComputer ScienceRelational HeuristicsKnowledge CompilationSoftware AnalysisSoftware DesignNon-deterministic Game
| Year | Citations | |
|---|---|---|
Page 1
Page 1