MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Object-Oriented Language Processing." – sorted by Relevance.

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

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

6 documents found, showing 1 through 6.

ATOM

A Transformational Process-Based Formal Approach to Object-Oriented Design
by P. S. C. Alencar, D. D. Cowan, J. Dong, C. J. P. Lucena — 1997 — FORMAL METHODS EUROPE FME’97
… transformational process-based approach to object-oriented design. This approach uses a process language…
Cited by 2 (1 self) – Add To MetaCart

A Proposal for a Common Infrastructure for Process and Product Models
by Dragos-Anton Manolescu, Ralph E. Johnson — 1999 — In OOPSLA Mid-year Workshop on Applied Object Technology for Implementing Lifecycle Process and Product Models
… the hardware and the system software. It is a specialized object-oriented language for process and product…
Cited by 3 (3 self) – Add To MetaCart

Refactorings for fortran and high-performance computing
by Jeffrey Overbey, Spiros Xanthos, Ralph Johnson, Brian Foote — 2005 — In Second International Workshop on Software Engineering for High Performance Computing System Applications, Colocated with ICSE
… for object-oriented systems have clear analogs in procedural Fortran. The Fortran language itself…
Cited by 1 (0 self) – Add To MetaCart

disciplinas: Aprendizagem, Especificação Formal, Inteligência Artificial Distribuída,
by De Ciências, Verificação Automática, De Especificações Oblog, Paulo Jorge, Fernandes Carreira, Verificação Automática, Especificações Oblog, Programação Centrada Em Objectos, Programação Concorrente — 1999
…-Checking, Object-Oriented Languages, Process Algebras, Specification Languages, Temporal Logic. iiiResumo O desenho…
Add To MetaCart

Object Oriented Simulation: Highlights on The PROSIT Parallel Discrete Event Simulator
by Patrick Ferrante, Philippe Mussi, G&uum;nther Siegel, Gunther Siegel, Lionel Mallet — 1994 — In Proceedings of the 1994 Object Oriented Simulation Conference (Tempe, AZ), SCS
…), and the target system is a Meiko machine. 2.1 Sather Sather (OMO92) is an object-oriented language designed…
Cited by 3 (2 self) – Add To MetaCart

On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
by Xian Xu
… for the foundation of object-oriented languages. Process calculi have been proven to be extremely effective as both a…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 6.

ATOM

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