ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation; 21-23 June 1995, 1995, p.214-225
1995
Details
- Autor(en) / Beteiligte
- Titel
- Semantic analysis of shared-memory concurrent languages using abstract model-checking
- Ist Teil von
- ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation; 21-23 June 1995, 1995, p.214-225
- Ort / Verlag
- ACM
- Erscheinungsjahr
- 1995
- Link zum Volltext
- Quelle
- ACM Digital Library Complete
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9780897917209, 0897917200DOI: 10.1145/215465.215593Titel-ID: cdi_proquest_miscellaneous_31563848
- Format
- –