Partial-Evaluation Techniques for Concurrent Programs.

Mihnea Marinescu Benjamin Goldberg

Published in: PEPM (1997)

Keyphrases

partial evaluation
concurrent programs
explanation based generalization
concurrent programming
process algebra
web applications
concurrent processes
programming language
xpath queries
asynchronous circuits
logic programming
model checking
expert systems
general purpose
formal specification
concurrent systems