نتایج جستجو برای: only
تعداد نتایج: 1357814 فیلتر نتایج به سال:
Journal:
:J. Log. Algebr. Program.
2010
Grigore Rosu
Traian-Florin Serbanuta
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, computations and rules. Configurations organize the system/program state in units called cells, which are labeled and can be nested. Computations carry “computational meaning” as special nested list structures sequentializin...
Journal:
:IEEE Transactions on Intelligent Transportation Systems
2014
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید