斯卡拉 swMATH ID: 7180 软件作者: Christos K.K.Loverdos。;阿波斯托洛斯·西罗普洛斯 描述: Scala中的步骤。对象函数编程简介。Scala是一种高度表达、简洁和可扩展的语言。它也是被称为对象-函数编程的新的令人兴奋的方法中最突出的方法。在这本书中,作者展示了Scala如何满足程序员的需求,无论是专业程序员还是业余程序员。他们以循序渐进的方式教授Scala,并解释如何充分利用业界公认的JVM技术的强大功能。读者可以从真实世界的软件工程试验中得到启发,深入研究特别选择的设计挑战和实现问题。它还帮助读者接受静态类型和自动类型推断的强大功能。此外,这本书还展示了如何使用Scala核心中结合的双对象和面向函数的特性,从而编写不那么“样板”的代码,从而真正提高生产力。 主页: http://www.scala-lang.org/ 关键词: 面向对象程序设计;函数式编程;并行编程;语言外延;Java语言;虚拟机;编译器 相关软件: Coq公司;z3(零3);轻量级Java;哈斯克尔;伊莎贝尔;github;CVC4型;伊莎贝尔/HOL;OCaml公司;AXIOM公司;艾菲尔;Isabelle/j编辑;R(右);阿帕奇火花;简化;布吉;毫升;一般证明;生锈;JML公司 引用于: 88文件 更多出版物: http://www.scala-lang.org/node/205 全部的 前5名177位作者引用 5 费卢西奥·达米亚尼 5 维克多·昆卡 4 布鲁诺·C·d·S·奥利维拉。 4 马卡里乌斯·温策尔 三 洛伦佐·贝蒂尼 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 拉斐尔·乔利 2 乔治·奥德里托 2 罗伯特·卡萨迪 2 伊曼纽尔·德·安吉利斯 2 法比奥·菲奥拉万蒂 2 Thibaud Hottelier 2 科瓦奇,劳拉·伊尔迪科 2 海因茨·克雷德尔 2 Owe、Olaf 2 斯坦尼斯拉夫·波斯拉夫斯基 2 毛里齐奥·普罗埃蒂 2 蒂亚克·隆普夫 2 汤姆·施里杰弗斯 2 伊利亚·谢尔盖 2 马丁·斯特芬 2 菲利普·苏特 2 埃里克·坦特 2 彼得·蒂曼。 2 米尔科·维罗利 2 威尔金森,达伦·詹姆斯 1 阿卜杜勒·加瓦德(Abdel Gawad,Moez A.)。 1 艾丽卡·阿尔布拉汉姆 1 Joao Alpuim 1 纳达·阿明 1 菲尔·巴格韦尔 1 克莱门斯·巴拉林 1 费利佩·巴尼亚多斯·施沃特 1 马雷克·巴拉诺夫斯基 1 佛朗哥·巴巴内拉 1 彼得·鲍姆加特纳 1 雅各布·比尔 1 阿格洛斯·比布迪斯 1 雷吉斯·布朗 1 西蒙,布利兹 1 安布罗斯邦奈尔-谢根 1 Brachthäuser,乔纳森·伊曼纽尔 1 埃德温·布雷迪(Edwin C.Brady)。 1 萨拉·卡佩基 1 朱塞佩·卡斯塔尼亚 1 约翰·麦金利·钱伯斯 1 克里希南德·查特吉 1 霍雷修·西尔斯泰 1 克拉克、戴夫 1 泽维尔·克莱尔 1 皮埃尔·埃瓦里斯特·达甘 1 弗朗西斯科·达格尼诺 1 穆罕默德·达什蒂 1 罗文·戴维斯 1 阿娜·克里斯蒂娜·维埃拉·德·梅洛 1 多米尼克·德夫里塞 1 马里亚纽拉州Dezani-Ciancaglini 1 安东尼奥·迪·斯塔西奥 1 约翰·多夫兰 1 罗兰·杜库诺 1 尤金·埃伯巴赫 1 罗曼·爱德曼 1 埃里克·恩斯特 1 罗兰·埃瓦尔德 1 帕斯卡·方丹 1 阿德里安·弗兰卡兰扎 1 阿贝尔·加西亚 1 罗纳德·加西亚 1 杰克·J·加泽拉。 1 凯萨琳·盖尔曼 1 盖托,丽斯 1 保拉·吉安尼尼 1 杰里米·吉本斯 1 伊莫·格雷布 1 林赛·格罗夫斯。 1 安德烈亚斯·格吕纳 1 塞缪尔·格吕特 1 何绍波 1 黄雪晶 1 拉尔斯·胡佩尔 1 迈克尔·R·A·胡特。 1 拉德哈·贾加迪桑 1 贾科·加尔维 1 芭芭拉·乔布斯曼 1 埃纳尔·布罗赫·约翰森 1 爱德华·坎布里扬 1 安吉丽卡·基米格 1 克洛德·基什内尔 1 奥列格·基塞利约夫 1 科赫(Christoph T.Koch)。 1 佐尔坦·A·科希斯。 1 迈克尔·科尔哈斯 1 科克萨尔,阿里·西南 1 拉杜·科佩茨 1 拉尔夫·拉梅尔 1 彼得·兰米奇 1 伊万·拉内斯 1 科西莫·拉内夫 1 法律,乔纳森 1 克里斯托斯·洛夫多斯。 …还有77位作者 全部的 前5名23篇连载文章中引用 9 函数编程杂志 6 计算机程序设计科学 4 程序设计中的逻辑和代数方法杂志 三 自动推理杂志 三 计算机科学中的逻辑方法 1 信息学报 1 计算机物理通信 1 信息处理信件 1 控制论学报 1 理论计算机科学 1 符号计算杂志 1 统计科学 1 新一代计算 1 机器学习 1 数学与人工智能年鉴 1 美国计算机学会模型和计算机仿真汇刊 1 约束条件 1 高阶和符号计算 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 统计与计算 1 查普曼和霍尔/CRC数学和计算生物学系列 全部的 前5名13个领域引用 83 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 4 统计学(62-XX) 三 数值分析(65-XX) 2 交换代数(13-XX) 2 概率论与随机过程(60-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文