MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Types and Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4,465 documents found, showing 1 through 10. Next 10 →

ATOM

Type Specifications with Processes
by Franz Puntigam — 1995 — In Proceedings FORTE’95
…Type Specifications with Processes Franz Puntigam Technische Universitat Wien Institut fur…
Cited by 11 (6 self) – Add To MetaCart

Refinement Types for Specification
by E. Denney — 1998 — IFIP Working Conference on Programming Concepts and Methods (PROCOMET ’98), Shelter Island
…Refinement types for specification E. Denney LFCS, Department of Computer Science, University…
Cited by 6 (2 self) – Add To MetaCart

Types as Specifications of Access Policies
by Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese — 1999
…Types as Specications of Access Policies Rocco De Nicola 1 GianLuigi Ferrari 2 Rosario Pugliese…
Cited by 12 (5 self) – Add To MetaCart

Type-Specific Storage Management
by Daniel Ross, Daniel Ross Edelson
…Type-Specific Storage Management Daniel Ross Edelson UCSC--CRL--93--26 28 May 1993 Baskin Center…
Add To MetaCart

Composite Model Checking with Type Specific Symbolic Encodings
by Tevfik Bultan, Richard Gerber — 1998
…Composite Model Checking with Type Specific Symbolic Encodings* Tevfik Bultan Richard Gerber…
Cited by 1 (1 self) – Add To MetaCart

Semantics of Stereotypes for Type Specification in UML: Theory and Practice
by François Pinet, Ahmed Lbath — Proceedings of the 20 th Conference on Conceptual Modelling (ER’01
…Semantics of Stereotypes for Type Specification in UML: Theory and Practice François Pinet…
Cited by 1 (1 self) – Add To MetaCart

Type Inferencing Based on Complete Type Specifications
by Leonid Kalinichenko, Vladimir I. Zadorozhny — 1995 — Proceedings of the 2nd International Andrei Ershov Memorial Conference, Akademgorodok
…Type Inferencing Based on Complete Type Specifications Leonid A. Kalinichenko and Vladimir I…
Cited by 3 (3 self) – Add To MetaCart

Type-Specific Storage Management (Shorter Version)
by Daniel Ross, Daniel Ross Edelson
…Type-Specific Storage Management (Shorter Version) Daniel Ross Edelson UCSC--CRL--93--27 28 May…
Add To MetaCart

Simplifying and solving qualified types for principal type specification
by Pablo E. Martínez López, Hernán Badenes, La Plata — 2002 — In WAIT 2002, Argentine Workshop on Theoretical Computer Science
…Simplifying and Solving Qualified Types for Principal Type Specialisation Pablo E. Martínez López…
Cited by 1 (0 self) – Add To MetaCart

Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence
by John K. Bennett, John B. Carter, Willy Zwaenepoel — 1990
… Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence John K. Bennett* John B…
Cited by 258 (15 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB