MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "TypeTrace." – sorted by Relevance.

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

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

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

ATOM

Types and trace effects of higher order programs
by Christian Skalka, Scott Smith, David Van Horn — 2007 — Journal of Functional Programming
…Types and Trace Effects of Higher Order Programs Christian Skalka 1 , Scott Smith 2 , and David…
Cited by 4 (0 self) – Add To MetaCart

Types for Active Objects Based on Trace Semantics
by Franz Puntigam — 1996 — Proceedings FMOODS '96
…Types for Active Objects Based on Trace Semantics Franz Puntigam Technische Universitat Wien…
Cited by 24 (7 self) – Add To MetaCart

A Hypothesis on the Origin of the Sign Types
by Roland Hausser, Universitt Erlangen-nrnberg, Abteilung Computerlinguistik (clue — Computational Linguistics and Intelligent Text Processing, Lecture Notes in Computer Science
…, and their characteristic mechanisms of reference. In this paper, the meanings of these sign types are traced to cognitive…
Cited by 2 (2 self) – Add To MetaCart

On Trace Formulas for Schrödinger-Type Operators
by F. Gesztesy, H. Holden — 1995
…-1090 Wien, Austria On Trace Formulas for Schrodinger--Type Operators F. Gesztesy H. Holden Vienna…
Cited by 5 (5 self) – Add To MetaCart

ABSTRACT Type Inference and Type Checking for Queries on Execution Traces ∗
by unknown authors
…ABSTRACT Type Inference and Type Checking for Queries on Execution Traces ∗ This paper studies…
Add To MetaCart

Anonymity Controlled Electronic Payment Systems
by Joris Claessens, Bart Preneel, Joos Vandewalle — 1999 — Proceedings of the 20th Symposium on Information Theory in the Benelux, Haasrode
… of such systems are discussed, and two types of tracing mechanisms are defined. An overview of the proposed…
Cited by 5 (2 self) – Add To MetaCart

Integrated Density Of States For Random Metrics On Manifolds
by Daniel Lenz, Norbert Peyerimhoff, Ivan Veselic — 2002 — Proc. London Math. Soc
… of states and a Subin type trace formula. 1. Introduction The mathematically rigorous study of random Schr…
Cited by 6 (5 self) – Add To MetaCart

An Object-Oriented Library for Tracing Requirements
by Francisco A. C. Pinheiro — 1999 — WER99 - II Workshop on Requirements Engineering, event of XXVIII JAIIO - Jornadas Argentinas de Informática e Investigación Operativa, Buenos Aires, Argentina
… and relations, as well as methods for di erent types of tracing procedures and components for manipulating…
Cited by 1 (0 self) – Add To MetaCart

Trace-based Just-in-Time Type Specialization for Dynamic Languages
by Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David M, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Mozilla Corporation
…Trace-based Just-in-Time Type Specialization for Dynamic Languages Andreas Gal ∗+ , Brendan Eich…
Add To MetaCart

Reduction of Analog Noise in PCB for
by Photodetection System, Dong Sik Yoo, Hyun Sang Baek, Shin-woong Park, Yun Yi
… electric field (vectorial signal) was composed for minimized loop in the layout with 8 types of traces…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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