声明式语言相关硕士博士期刊学术论文 - 搜论网

声明式语言相关论文

基于Prolog的函数语言解释执行

通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言......

期刊

声明式语言 Lambda演算 PROLOG 函数语言解释执行 declarative language Lambda calculus Prolog func

云计算中隐私需求的建模与一致性检测

云计算中应用分层、服务外包以及数据的分布存储等特性引发了隐私保护的新挑战.如何刻画不同服务提供者的隐私需求,并保证不同参与......

期刊

云计算隐私需求形式化模型需求约简声明式语言

看过本文同时还关注