在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
interpreter exploiting » interfaces exploiting, intersafe exploiting, interpreter approximating
exploiting programming » exploring programming, evaluating programming, existing programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs loops » constructs lists, constructs coders, constructs core
interpreter exploiting » interfaces exploiting, intersafe exploiting, interpreter approximating
exploiting programming » exploring programming, evaluating programming, existing programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs loops » constructs lists, constructs coders, constructs core
1
出版 2007
书本目录:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”获取全文
电子
电子书
2
出版 2010
书本目录:
“...Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying...”获取全文
电子
电子书
3
出版 2008
书本目录:
“... -- A Case Study in Tightly Coupled Multi-paradigm Parallel Programming -- ASYNC Loop Constructs...”获取全文
电子
电子书
4
出版 2012
书本目录:
“... Monitoring Automaton Construction for LTL -- How to Translate Efficiently Extensions of Temporal Logics...”获取全文
电子
电子书
5
出版 2005
书本目录:
“... and Invariance Analysis of Loops -- Some Perspectives of Infinite-State Verification -- Model Checking...”获取全文
电子
电子书