Searching for "Abstract Language Design." – sorted by Relevance.
-
Multiple Attribute Grammar Inheritance
- .mernik@(email omitted); Abstract The language design process should be supported by modularity and abstraction in a manner
- Cited by 7 (5 self) – Add To MetaCart
-
Using Views to Aid Language Design
- Tyne, NE1 7RU, UK chris.holt@(email omitted); http://www.cs.ncl.ac.uk/~chris.holt/ Abstract Language design
- Add To MetaCart
-
Language Development in a Visual Manner
- robert.krusec@(email omitted); Abstract Language design and implementation are still one of the challenges
- Add To MetaCart
-
Security properties and CSP
- the approach and its potential. 2 CSP notation CSP is an abstract language designed specifically
- Cited by 100 (3 self) – Add To MetaCart
-
Verifying authentication protocols with CSP
- in Section 10. 3 CSP CSP is an abstract language designed specifically for the description of communication
- Cited by 69 (5 self) – Add To MetaCart
-
Toward a Query Language for Network Attack Data
- that use the aggregate views. 4.2 Abstract Language Design The design of our abstract language is at a
- Cited by 4 (1 self) – Add To MetaCart
-
CSP and anonymity
- is an abstract language designed specifically for the description of communication patterns of concurrent system
- Cited by 52 (0 self) – Add To MetaCart
-
Formal Analysis of a Non-Repudiation Protocol
- . 2. CSP notation CSP is an abstract language designed specifically for the description
- Cited by 39 (1 self) – Add To MetaCart
-
Using CSP for protocol analysis: the Needham-Schroeder Public-Key Protocol
- is an abstract language designed specifically for the description of communication patterns of concurrent system
- Cited by 13 (4 self) – Add To MetaCart
-
Procedural Abstraction Recovery from Binary Code
- , we have developed a new specification language to support our analysis. PAL, a procedural abstraction
- Cited by 6 (2 self) – Add To MetaCart

