搜索页_+Programming+and+programming+languages

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(1)	Springer电子图书(102)	ProQuest学位论文(277)	Elsevier电子期刊(1882)
Wiley电子期刊(3)	SpringerLink电子期刊(2681)	GSW全文库(1)	ACS电子期刊(5)

在“Elsevier电子期刊”中，命中：1,882条，耗时：0.010992 秒

在所有数据库中总计命中：4,952条

1.SafeGPU: Contract- and library-based GPGPU for object-oriented languages

作者：Alexey Kolesnichenko^a ; ^{alexey.kolesnichenko@inf.ethz.ch} ; Christopher M. Poskitt^a ; ^b ; ¹ ; ^{chris_poskitt@sutd.edu.sg} ; Sebastian Nanz^a ; ^{sebastian.nanz@inf.ethz.ch}

关键词：GPGPU ; Parallel computing ; Runtime code generation ; Generative programming ; Object-orientation ; Managed languages ; Design-by-contract ; Program correctness

刊名：Computer Languages, Systems & Structures

出版年：2017

2.Optimisation of language-integrated queries by query unnesting

作者：Tomasz Marek Kowalski ; ^{t.kowalski@iis.p.lodz.pl} ; Radosław Adamus ^{r.adamus@iis.p.lodz.pl}

关键词：Program optimisation ; Programming languages ; Term rewriting ; Declarative programming ; Higher-order functions ; LINQ ; Query decorrelation

刊名：Computer Languages, Systems & Structures

出版年：2017

3.JPC: A library for categorising and applying inter-language conversions between Java and Prolog

作者：Sergio Castro^a ; Kim Mens^a ; ^{kim.mens@uclouvain.be} ; Paulo Moura^b

关键词：Object-oriented programming ; Logic programming ; Multi-paradigm programming ; Java&ndash ; Prolog language interoperability ; Programming languages

刊名：Science of Computer Programming

出版年：2017

4.Game semantics for non-monotonic intensional logic programming

作者：Chrysida Galanaki^a ; ^{chrysida@di.uoa.gr} ; Christos Nomikos^b ; ^{cnomikos@cs.uoi.gr} ; Panos Rondogiannis^a ; ^{prondo@di.uoa.gr}

关键词：68N15 ; 68N17 ; 68Q55 ; 91A05

刊名：Annals of Pure and Applied Logic

出版年：2017

5.Amalgamation of domain specific languages with behaviour

作者：Francisco Durá ; n^a ; ^{duran@lcc.uma.es} ; Antonio Moreno-Delgado^a ; Fernando Orejas^b ; Steffen Zschaler^c

关键词：Graph transformation ; Domain specific languages ; e-Motions ; Behaviour-aware morphisms

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

6.Enabling PHP software engineering research in Rascal

作者：Mark Hills^a ; ^{mhills@cs.ecu.edu} ; Paul Klint^b ; ^{Paul.Klint@cwi.nl} ; Jurgen J. Vinju^b ; ^c ; ^{Jurgen.Vinju@cwi.nl}

关键词：Meta-programming ; Program analysis ; Empirical software engineering ; Dynamic languages ; PHP

刊名：Science of Computer Programming

出版年：2017

7.Assessment of class mutation operators for C with the MuCPP mutation system

作者：Pedro Delgado-Pé ; rez ; ^{pedro.delgado@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Inmaculada Medina-Bulo ^{inmaculada.medina@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Francisco Palomo-Lozano ^{francisco.palomo@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Antonio Garcí ; a-Domí ; nguez ^{antonio.garciadominguez@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Juan José ; Domí ; nguez-Jimé ; nez ^{juanjose.dominguez@uca.es" class="auth_mail" title="E-mail the corresponding author}

关键词：Mutation testing ; Mutation system ; C++++ ; Class mutation operators ; Object-oriented programming

刊名：Information and Software Technology

出版年：2017

8.Facilitating the development of cross-platform software via automated code synthesis from web-based programming resources

作者：Sanchit Chadha^a ; ^{schadha@cs.vt.edu} ; Antuan Byalik^a ; ^{antuanb@cs.vt.edu} ; Eli Tilevich^a ; ^{tilevich@cs.vt.edu} ; Alla Rozovskaya^b ; ^alla@vt.edu

关键词：Recommendation systems ; Code synthesis ; Mobile computing ; Android ; IOS ; Java ; Swift

刊名：Computer Languages, Systems & Structures

出版年：2017

9.Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects

作者：J. Laird ^{jiml@cs.bath.ac.uk}

关键词：68Q55 ; 68N15 ; 18C20 ; 18C50

刊名：Annals of Pure and Applied Logic

出版年：2017

10.A generic framework for symbolic execution: A coinductive approach

作者：Dorel Lucanu^a ; ^{dlucanu@info.uaic.ro} ; Vlad Rusu^b ; ^{vlad.rusu@inria.fr} ; Andrei Arusoaie^a ; ^b ; ^{andrei.arusoaie@info.uaic.ro}

关键词：Symbolic execution ; Programming language ; Formal operational semantics ; Reachability logic ; Circular coinduction ; Program verification

刊名：Journal of Symbolic Computation

出版年：2017

按检索点细分(1882)

题名(91)

关键词(287)

文摘(1224)

按出版年细分(1882)

2027年及以后(38)

2017年(14)

2016年(51)

2015年(31)

2014年(10)

2013年(84)

2012年(91)

2011年(73)

2010年(105)

2009年(107)

2008年(94)

2007年(113)

2006年(99)

2005年(82)

2004年(68)

2003年(79)

2002年(93)

2001年(99)

2000年(81)

2000年及以前(470)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700