1
Publications
167
Citations
1
H-Index
1970
Active since
R. Villaneuva is an author specializing in system software, computational linguistics, and automated reasoning.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
1970–1970
1
1
The SIMSCRIPT II Programming Language
Paul Abrahams, Philip J. Kiviat, R. Villaneuva et al. · Mathematics of Computation · 1970 · 167 citations
Rows per page
1–1 of 1