MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Generating unique Names." – sorted by Relevance.

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

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

31 documents found, showing 1 through 10. Next 10 →

ATOM

Embedded hardware description languages: Exploring the design space
by Koen Lindström Claessen, Gordon Pace — 2007 — In Hardware Design and Functional Languages (HFL’07
… generators. The counter is used internally to generate unique names, and is incremented as necessary…
Cited by 2 (2 self) – Add To MetaCart

Comprehending Monads
by Philip Wadler — 1992 — Mathematical Structures in Computer Science
… to generate unique names, then an assignable variable seems just the ticket. In such cases it is always…
Cited by 385 (12 self) – Add To MetaCart

A federated architecture for information management
by Dennis Heimbigner, Dennis Mcleod — 1985 — ACM Transactions on Office Information Systems
… the specified object. These unique names are generated by concatenating the component name with a local object…
Cited by 138 (2 self) – Add To MetaCart

Scoping Constructs for Software Generators
by Yannis Smaragdakis, Don Batory — 1999 — In Proc. First Symposium on Generative and ComponentBased Software Engineering
… gensym to create unique names for generated variable declarations is one of the commonly recommended…
Cited by 2 (0 self) – Add To MetaCart

Scoping Constructs for Software Generators
by Yannis Smaragdakis And, Yannis Smaragdakis, Don Batory — 1999 — In Proc. First Symposium on Generative and ComponentBased Software Engineering
… gensym to create unique names for generated variable declarations is one of the commonly recommended…
Add To MetaCart

Resource Directory Description Language (RDDL
by Jonathan Borden — 2002 — The Open Healthcare Group and Antarctica Systems
… unique names. Common usage of namespace URIs prefixed with "http:" suggests that some document be located…
Cited by 7 (0 self) – Add To MetaCart

Operational Semantics of Process-oriented Simulation Languages. Part II: µDemos
by Part Ii Demos, Graham Birtwistle, Chris Tofts — 1993
… operating. We automatically generate unique names for each process object by concatenating a unique sequence…
Add To MetaCart

The Case for Sparse Files
by Douglas Thain, Miron Livny — 2003
… the mechanism for generating unique names. A client holding a file name issued by the old server might attempt…
Cited by 1 (0 self) – Add To MetaCart

Access and integrity control in a public-access, high-assurance configuration management system
by Jonathan S. Shapiro, John Vanderburgh — 2002 — In Proc. 11th USENIX Security Symposium
… repository’s name and “27da...05” is a cryptographically generated unique name for this mutable assigned…
Cited by 5 (2 self) – Add To MetaCart

SCDBR: An Automated Reasoner for Specifications of Database Updates
by Leopoldo Bertossi, Marcelo Arenas, Cristian Ferretti — 1998
….3.1. Computing Unique Names Axioms The una predicate generates the unique names axioms (UNAs) for actions…
Cited by 15 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB