咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 5 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 173 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 6 篇 computer science
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 5 篇 object oriented ...
  • 5 篇 programming prof...
  • 5 篇 programming
  • 5 篇 application soft...
  • 5 篇 databases
  • 5 篇 hardware

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 pontificia unive...
  • 1 篇 school of comput...
  • 1 篇 fakultät für mat...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 170 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
173 条 记 录,以下是101-110 订阅
排序:
A generic programming toolkit for PADS/ML: First-class upgrades for third-party developers
A generic programming toolkit for PADS/ML: First-class upgra...
收藏 引用
10th international symposium on Practical Aspects of Declarative languages, PADL 2008
作者: Fernández, Mary Fisher, Kathleen Nathan Foster, J. Greenberg, Michael Mandelbaum, Yitzhak AT and T Research University of Pennsylvania
Domain-specific languages facilitate solving problems in a targeted domain by providing features particular to the domain. Declarative domain-specific languages have the additional benefit that users specify what some... 详细信息
来源: 评论
DCGs + Memoing = Packrat parsing but is it worth it?
DCGs + Memoing = Packrat parsing but is it worth it?
收藏 引用
10th international symposium on Practical Aspects of Declarative languages, PADL 2008
作者: Becket, Ralph Somogyi, Zoltan NICTA Department of Computer Science and Software Engineering University of Melbourne 111 Barry Street Parkville VIC 3010 Australia
Packrat parsing is a newly popular technique for efficiently implementing recursive descent parsers. Packrat parsing avoids the potential exponential costs of recursive descent parsing with backtracking by ensuring th... 详细信息
来源: 评论
Automatic coding rule conformance checking using logic programming
Automatic coding rule conformance checking using logic progr...
收藏 引用
10th international symposium on Practical Aspects of Declarative languages, PADL 2008
作者: Marpons, Guillem Mariño, Julio Carro, Manuel Herranz, Ángel Moreno-Navarro, Juan José Fredlund, Lars-Åke Universidad Politécnica de Madrid IMDEA Software
An extended practice in the realm of Software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain programming langua... 详细信息
来源: 评论
Soya: A programming model and runtime environment for component composition using SSDL
Soya: A programming model and runtime environment for compon...
收藏 引用
10th international symposium on Component-Based Software Engineering
作者: Fornasier, Patric Webber, Jim Gorton, Ian Univ New S Wales Natl ICT Australia Sch Comp Sci & Engn Empir Software Engn Sydney NSW 2052 Australia Pacific NW Natl Lab Richland WA 99352 USA
the SOAP Service Description Language (SSDL) is a SOAP-centric language for describing Web Service contracts. SSDL focuses on message abstraction as the building block for creating service-oriented applications and pr... 详细信息
来源: 评论
Hardware-Near programming in the Common Language Infrastructure
Hardware-Near Programming in the Common Language Infrastruct...
收藏 引用
international symposium on Object-Oriented Real-Time Distributed Computing
作者: Stefan Richter Andreas Rasche Andreas Polze Hasso-Plattner-Institute University of Potsdam Potsdam Germany
Virtual machine-based programming languages, such as Java and C # have made the programming of desktop computer systems simpler, less error-prone and more efficient. Embedded systems development rarely benefits from... 详细信息
来源: 评论
An improved continuation call-based implementation of tabling
An improved continuation call-based implementation of tablin...
收藏 引用
10th international symposium on Practical Aspects of Declarative languages, PADL 2008
作者: Chico De Guzmán, Pablo Carro, Manuel Hermenegildo, Manuel V. Silva, Cláudio Rocha, Ricardo School of Computer Science Univ. Politécnica de Madrid Spain Depts. of Comp. Science and Electr. and Comp. Eng. Univ. of New Mexico United States DCC-FC LIACC University of Porto Portugal
Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several "native" implementations of tabled evaluation... 详细信息
来源: 评论
A Systematic Approach to Domain-Specific Language Design Using UML
A Systematic Approach to Domain-Specific Language Design Usi...
收藏 引用
international symposium on Object-Oriented Real-Time Distributed Computing
作者: Bran Selic IBM Canada
UML includes special extensibility mechanisms, which are used to define domain-specific modeling languages that are based on UML. these mechanisms have been significantly improved in the latest versions of UML. Unfort... 详细信息
来源: 评论
On the Verifiability of Programs Written in the Feature Language Extensions
On the Verifiability of Programs Written in the Feature Lang...
收藏 引用
IEEE international Symposim on High Assurance Systems Engineering
作者: Wu-Hon F. Leung Computer Science Department Istituto Italiano di Tecnologia Canada
High assurance in embedded system software is difficult to attain. Verification relies on testing. the unreliable and costly testing process is made much worse because the software base constantly changes: Adding a fe... 详细信息
来源: 评论
Issues in Designing a Policy Language for Distributed Management of IT Infrastructures
Issues in Designing a Policy Language for Distributed Manage...
收藏 引用
IFIP/IEEE international symposium on Integrated Network Management
作者: Dakshi Agrawal Seraphin Calo Kang-Won Lee Jorge Lobo IBM Thomas J. Watson Research Center USA
the objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (simple policy language for CIM) that complies with the CIM (common information model) Policy Model and fully incor... 详细信息
来源: 评论
Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing
Towards a Layered Architecture for Object-Based Execution in...
收藏 引用
international symposium on Object-Oriented Real-Time Distributed Computing
作者: Tarek Abdelzaher Qing Cao Raghu Ganti Dan Henriksson Maifi Khan Jin Heo Chengdu Huang Praveen Jayachandran Hieu Khac Le Liqian Luo Yu-En Tsai Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA
Sensor networks introduce a new application domain and set of challenges in distributed computing including new network-level programming languages, global system abstractions, and general-purpose communication protoc... 详细信息
来源: 评论