MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Programming Languages and Systems" – sorted by Relevance.

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

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

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

ATOM

Modular Integration of Memory Management in Programming Language System
by Yuji Uchiyam, Ken Wakita, Masataka Sassa — 2002
…Modular Integration of Memory Management in Programming Language System Yuji Uchiyama 1 , Ken…
Add To MetaCart

Gardens: An Integrated Programming Language and System for Parallel Programming Across Networks
by Paul Roe, Clemens Szyperski — 1998
…Gardens: An Integrated Programming Language and System for Parallel Programming Across Networks…
Cited by 10 (5 self) – Add To MetaCart

The Charm Parallel Programming Language and System: Part I - Description of Language Features
by L.V. Kale, B. Ramkumar, A. B. Sinha, A. Gürsoy — 1995
…The Charm Parallel Programming Language and System: Part I --- Description of Language Features L…
Cited by 12 (2 self) – Add To MetaCart

A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers
by Masahiro Yasugi, Masahiro Yasugi — 1994
…TECHNICAL REPORT 94-7e A Concurrent Object-Oriented Programming Language System for Highly Parallel…
Cited by 4 (2 self) – Add To MetaCart

The Q Programming Language
by Albert Gräf — 2002 — Johannes Gutenberg University
… programming language and system. This manual has been published in the series Musikinformatik und…
Cited by 1 (1 self) – Add To MetaCart

CS540 Parallel Programming Languages and Systems May 14, 1998 Term Project Report Mehmet Emin
by Oompi Object Oriented, Mehmet Emin Donderler
…CS540 Parallel Programming Languages and Systems May 14, 1998 Term Project Report Mehmet Emin…
Add To MetaCart

Gabriele Keller Manuel M. T. Chakravarty Programming Languages and SystemsSchool of Computer Science
by unknown authors
…Gabriele Keller Manuel M. T. Chakravarty Programming Languages and SystemsSchool of Computer Science…
Add To MetaCart

Type-Safe Linguistic Reflection: A Generator Technology
by D. Stemple, R. B. Stanton, T. Sheard, P. Philbrow, R. Morrison, G. N. C. Kilby, L. Fegaras, R. L. Cooper, R. C. H. Connor, M. P. Atkinson, S. Alagic, G. N. C. "browsing — 1992
… Structure Operators". ACM Transactions on Programming Languages and Systems 19, 4 (1991) pp 531-557. Sheard…
Cited by 15 (7 self) – Add To MetaCart

Using Model Checking for System Verification
by Monika Maidl, Der Ludwig-maximilians-universitt Mnchen — 2000
…. and Lamport, L. Composing specications. ACM Transaction on Programming Languages and Systems, 15: 73132, 1993…
Cited by 2 (1 self) – Add To MetaCart

An Old-Fashioned Recipe for Real Time
by Martín Abadi, Leslie Lamport — 1993
…:32] This body of this paper appeared in ACM Transactions on Programming Languages and Systems 16, 5 (September…
Cited by 191 (18 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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