Publication | Closed Access
Inductive methods for reasoning about abstract data types
39
Citations
15
References
1988
Year
Unknown Venue
Software MaintenanceEngineeringType TheorySoftware EngineeringSoftware AnalysisFormal VerificationFp ProgramsRewriting SystemProgramming LanguagesData TypeProgramming Language ImplementationComputer SciencePetri NetsInductive LogicSoftware DesignProgramming Language DesignReasoningAbstract Data TypesDeclarative ProgrammingAutomated ReasoningProgram AnalysisFormal MethodsInductive MethodsProgramming MethodologySystem Software
Rewriting techniques have been used to reason about a variety of topics related to programming languages, e.g., abstract data types, Petri Nets, FP programs, and data bases. They have also been used in the implementation and definition of a variety of programming languages.
| Year | Citations | |
|---|---|---|
Page 1
Page 1