Login / Signup
Towards a Runtime Verification Framework for the Ada Programming Language.
André de Matos Pedro
David Pereira
Luís Miguel Pinho
Jorge Sousa Pinto
Published in:
Ada-Europe (2014)
Keyphrases
</>
programming language
general purpose
strongly typed
object oriented
software engineering
high level
specification language
data abstraction
programming environment
logic programming
artificial intelligence
data management
computer programs
object oriented programming
object oriented concepts
programming paradigms