MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Language of Specified Programs." – sorted by Relevance.

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

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

10 documents found, showing 1 through 10.

ATOM

IOA: A Language for Specifying, Programming, and Validating Distributed Systems
by Stephen J. Garland, Nancy A. Lynch, Mandana Vaziri, Ana Vaziri — 1997
…IOA: A Language for Specifying, Programming, and Validating Distributed Systems 1 Stephen J…
Cited by 38 (12 self) – Add To MetaCart

IOA: A Language for Specifying, Programming, and Validating Distributed Systems Draft
by Stephen Garland Nancy, Stephen J. Garl, Nancy A. Lynch, Ana Vaziri — 1997
…IOA: A Language for Specifying, Programming, and Validating Distributed Systems Draft Stephen J…
Add To MetaCart

A Language for Specifying Java Transformations
by Fernando Castor, Paulo Borba, Centro De Informática — 2001 — In V Brazilian Symposium on Programming Languages
… and language-specific transformation tools, we present a language to specify program transformations…
Cited by 9 (2 self) – Add To MetaCart

A C++ Transformation Framework
by Otto Skrove Bagge, Magne Haveraaen, Eelco Visser — 2000
…A C++ Transformation Framework 12th Nordic Workshop on Programming Theory, Bergen, October 2000…
Add To MetaCart

Implementations through Program Transformation
by Stephen Fitzpatrick, Hans Wolfe Wolfe, Barbara Wolfe, Wolfe Supercompilers Parallel, Vector Computers, J. A. Yang, Y. Choo, Parallel-programming Acm, Carroll Morgan, Peter Schnorf, Mahadevan Ganapathi — 1994
… Hildum and Jacques Cohen. A language for specifying program transformations. IEEE Transactions…
Cited by 2 (2 self) – Add To MetaCart

Fusing Logic and Control with Local Transformations: An Example Optimization
by Patricia Johann, Eelco Visser — 2001 — Workshop on Reduction Strategies in Rewriting and Programming (WRS’01), volume 57 of Electronic Notes in Theoretical Computer Science
… [2,4]. Stratego [15,16] is a domain-specific language for the specification of program transformation…
Cited by 10 (7 self) – Add To MetaCart

Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
by Patricia Johann, Patricia Johann, Patricia Johann, Eelco Visser, Eelco Visser, Eelco Visser — 2003
…. 6 2. Rewriting Strategies in Stratego Stratego is a language for specifying program transformations…
Cited by 4 (1 self) – Add To MetaCart

An Automation-Based Design Methodology for Distributed, Hard Real-Time Systems
by Carlos Miguel Puchol, Carlos Miguel Puchol, Ldo Inform'atica — 1998
… introduces the salient features of the Modechart++ language, a language for specifying and programming real…
Add To MetaCart

On Program Auralization
by Vivek Khandelwal — 1995
… on a language for specifying program auralization named Listen Specification Language (LSL) [BM93…
Add To MetaCart

Comprehensive Specification of Distributed Systems Using
by M. Cecilia Bastarrica, Steven A. Demurjian, Alex A. Shvartsman — 2000
…/Output Automata IOA is a language for specifying, programming and validating distributed systems [8] described…
Add To MetaCart

Showing 1 through 10.

ATOM

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