Acta Informatica · 1983 · 44 citations · 2 references
ComputingComputer ScienceComputer SystemsFormal MethodsProgramming LanguagesSoftware EngineeringData-flow AnalysisDatabase DesignProgramming Language DesignRelational AlgebraSoftware DesignType SystemsDeterministic CompilationDeterministic Dynamic ProgrammingDeterministic ExecutionNondeterminismRelational Analysis
2
Alfred Tarski · Journal of Symbolic Logic · 1941 · 813 citations
Humanities, Mathematics, Philosophy +13
The Logic of Computer Programming
Zohar Manna, Richard Waldinger · IEEE Transactions on Software Engineering · 1978 · 64 citations
Computing, Computer Science, Logic +10