ADL-Based Specification of Implementation Styles for Functional Simulators.

David A. Penry Kurtis Cahill

Published in: Int. J. Parallel Program. (2013)

Keyphrases

user defined
implementation issues
efficient implementation
database
real time
data sets
databases
social networks
programming language
formal specification
implementation details
specification language
functional language