Keywords: سیستم را تایپ کنید; problem domain dynamics; Web tangling; semantic; support data flows; type system; ho-motopy theory;
مقالات ISI سیستم را تایپ کنید (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: سیستم را تایپ کنید; Calculus of connectors; Variability in connectors; Composition of families; Type system; Tile Model;
Keywords: سیستم را تایپ کنید; Privacy; Type system; Ubiquitous computing; Pervasive systems; Security; Type-checking; Simulation
Keywords: سیستم را تایپ کنید; Process calculus; Type system; Subtyping; Behavioural equivalence; Expressiveness;
Keywords: سیستم را تایپ کنید; Featherweight Java; Feature model; Software product line; Trait; Type system
Keywords: سیستم را تایپ کنید; Implicit computational complexity; Logarithmic space; Type system; Geometry of interaction; Functional programming
A type-based complexity analysis of Object Oriented programs
Keywords: سیستم را تایپ کنید; Object Oriented Program; Type system; Complexity; Polynomial time;
TraitRecordJ: A programming language with traits and records
Keywords: سیستم را تایپ کنید; Java; Trait; Type system; Implementation; Eclipse
Java supervenience
Keywords: سیستم را تایپ کنید; Java; Supervenience; Covariant override; Accord relationship; Behavioral intersection; Polymorphic method; Subaltern; Synthetic variable; Type safety; Type system; Soundness barrier; Object-oriented
The Green language type system
Keywords: سیستم را تایپ کنید; Object-oriented languages; Green; Type system; Polymorphism
A bottom-up pointer analysis using the update history
Keywords: سیستم را تایپ کنید; Flow- and context-sensitive pointer analysis; Modular analysis; Strong update; Type system;
Static insertion of safe and effective memory reuse commands into ML-like programs
Keywords: سیستم را تایپ کنید; Program analysis; Program transformation; Type system; Compile-time garbage collection;