咨询与建议

限定检索结果

文献类型

  • 85 篇 期刊文献
  • 83 篇 会议
  • 3 册 图书
  • 3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 157 篇 工学
    • 138 篇 计算机科学与技术...
    • 68 篇 软件工程
    • 20 篇 电气工程
    • 12 篇 信息与通信工程
    • 9 篇 控制科学与工程
    • 3 篇 仪器科学与技术
    • 2 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 石油与天然气工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 测绘科学与技术
    • 1 篇 航空宇航科学与技...
  • 29 篇 理学
    • 22 篇 数学
    • 3 篇 物理学
    • 2 篇 化学
    • 2 篇 生物学
    • 2 篇 统计学(可授理学、...
    • 1 篇 科学技术史(分学科...
  • 8 篇 管理学
    • 6 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 3 篇 哲学
    • 1 篇 哲学
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 174 篇 declarative prog...
  • 18 篇 logic programmin...
  • 10 篇 answer set progr...
  • 8 篇 prolog
  • 6 篇 imperative progr...
  • 6 篇 constraint progr...
  • 5 篇 constraints
  • 5 篇 artificial intel...
  • 5 篇 program complete...
  • 5 篇 programming lang...
  • 4 篇 program correctn...
  • 4 篇 languages
  • 4 篇 extensible middl...
  • 4 篇 search
  • 4 篇 metadata
  • 4 篇 multidimensional...
  • 4 篇 separation of co...
  • 3 篇 cartesian progra...
  • 3 篇 parallelism
  • 3 篇 deductive databa...

机构

  • 6 篇 univ pisa dept c...
  • 3 篇 univ penn philad...
  • 3 篇 linkoping univ d...
  • 3 篇 univ new s wales...
  • 3 篇 polish acad sci ...
  • 2 篇 univ malaga lcc ...
  • 2 篇 vrije universite...
  • 2 篇 univ texas arlin...
  • 2 篇 linkoping univ i...
  • 2 篇 rise kista
  • 2 篇 cau kiel inst in...
  • 2 篇 univ parma dipar...
  • 2 篇 univ politecn va...
  • 2 篇 univ turku turku
  • 2 篇 polish acad sci ...
  • 2 篇 univ bergen berg...
  • 2 篇 univ americas pu...
  • 2 篇 johns hopkins un...
  • 2 篇 university of am...
  • 2 篇 vrije univ bruss...

作者

  • 7 篇 forti stefano
  • 7 篇 brogi antonio
  • 5 篇 drabent wlodzimi...
  • 4 篇 mancilla blanca
  • 4 篇 plaice john
  • 3 篇 ferrari gian-lui...
  • 3 篇 hellerstein jose...
  • 3 篇 calimeri frances...
  • 3 篇 loo boon thau
  • 3 篇 hanus michael
  • 3 篇 germano stefano
  • 3 篇 gopal sriram
  • 2 篇 barash mikhail
  • 2 篇 casadei roberto
  • 2 篇 stevens reinout
  • 2 篇 salvador lucas
  • 2 篇 henderson chris
  • 2 篇 varela carlos a.
  • 2 篇 stokke knut ande...
  • 2 篇 enrico pontelli

语言

  • 159 篇 英文
  • 14 篇 其他
  • 1 篇 中文
检索条件"主题词=Declarative Programming"
174 条 记 录,以下是151-160 订阅
排序:
Intellisheet: A spreadsheet system expanded by including constraint solvers
Intellisheet: A spreadsheet system expanded by including con...
收藏 引用
IEEE Symposia on Human-Centric Computing Languages and Environments
作者: Adachi, Y Toyo Univ Dept Informat & Comp Sci Kawagoe Saitama 3508585 Japan
This paper describes our research into the expansion of the spreadsheet paradigm by the incorporation of solvers for systems of linear and finite-domain constraints. An extended spreadsheet system, called Intellisheet... 详细信息
来源: 评论
Alma-0: An imperative language that supports declarative programming
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 1998年 第5期20卷 1014-1066页
作者: Apt, KR Brunekreef, J Partington, V Schaerf, A CWI NL-1090 GB Amsterdam Netherlands Univ Amsterdam Dept Math Comp Sci Phys & Astron NL-1018 TV Amsterdam Netherlands Univ Roma La Sapienza Dipartimento Informat & Sistemist I-00198 Rome Italy
We describe here an implemented small programming language, called Alma-0, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These... 详细信息
来源: 评论
Alma-O: an imperative language that supports declarative programming
收藏 引用
ACM Transactions on programming Languages and Systems 1998年 第5期20卷 1014–1066页
作者: Krzysztof R. Apt Jacob Brunekreef Vincent Partington Andrea Schaerf CWI and University of Amsterdam University of Amsterdam Università di Roma "La Sapienza"
We describe here an implemented small programming language, called Alma-O, that augments the expressive power of imperative programming by a limited number of features inspired by the logic programming paradigm. These... 详细信息
来源: 评论
Sets and constraint logic programming
收藏 引用
ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2000年 第5期22卷 861-931页
作者: Dovier, A Piazza, C Pontelli, E Rossi, G Univ Verona I-37100 Verona Italy Univ Udine I-33100 Udine Italy New Mexico State Univ Las Cruces NM 88003 USA Univ Parma I-43100 Parma Italy
In this paper we present a study of the problem of handling constraints made by conjunctions of positive and negative literals based on the predicate symbols =, is an element of, boolean OR, and parallel to (i.e., dis... 详细信息
来源: 评论
Aggregation and negation-as-failure
收藏 引用
NEW GENERATION COMPUTING 1999年 第3期17卷 255-284页
作者: Osorio, M Jayaraman, B Univ Americas Puebla Dept Ingn Sistemas Computac Cholula 72820 Mexico SUNY Buffalo Dept Comp Sci & Engn Buffalo NY 14260 USA
Set-grouping and aggregation are powerful operations of practical interest in database query languages. An aggregate operation is a function that maps a set to some value, e.g., the maximum or minimum in the set, the ... 详细信息
来源: 评论
declarative solutions to partitioned-grid problems
收藏 引用
SOFTWARE-PRACTICE & EXPERIENCE 1999年 第13期29卷 1173-1200页
作者: Etalle, S Hartel, PH Vree, WG Univ Southampton Dept Elect & Comp Sci Southampton SO17 1BJ Hants England Univ Maastricht Dept Comp Sci NL-6200 MD Maastricht Netherlands Univ Amsterdam Dept Comp Syst NL-1098 SJ Amsterdam Netherlands
The problem of partitioning grid-based applications for parallel computing can be solved easily and intuitively in a logic programming language such as Prolog, using only the single assignment property of the logic va... 详细信息
来源: 评论
Rule-based query optimization, revisited  99
Rule-based query optimization, revisited
收藏 引用
8th International Conference on Information Knowledge Management (CIKM 99)
作者: Warshaw, LB Miranker, DP Univ Texas Dept Comp Sci Austin TX 78758 USA
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C++. Following the developments in exten... 详细信息
来源: 评论
Evaluation of declarative n-queens recursion: A deductive database approach
收藏 引用
INFORMATION SCIENCES 1998年 第1-4期105卷 69-100页
作者: Han, JW Liu, L Lu, T Simon Fraser Univ Sch Comp Sci Burnaby BC V5A 1S6 Canada
Can we evaluate a logic program declaratively? That is, can a logic program be evaluated correctly and efficiently, independent of query modes and rule/predicate ordering, finding a complete set of answers, and termin... 详细信息
来源: 评论
Genetic algorithms in optimal design and detailing of reinforced concrete biaxial columns supported by a declarative approach for capacity checking
收藏 引用
COMPUTERS & STRUCTURES 1998年 第4期69卷 443-457页
作者: Rafiq, MY Southcombe, C Univ Plymouth Sch Civil & Struct Engn Plymouth Devon England
This paper introduces a new approach to optimal design and detailing of reinforced concrete biaxial columns using genetic algorithms (GAs). For a biaxial column with a given set of design requirements (section size, a... 详细信息
来源: 评论
Strongly sequential and inductively sequential term rewriting systems
收藏 引用
INFORMATION PROCESSING LETTERS 1998年 第1期67卷 1-8页
作者: Hanus, M Lucas, S Middeldorp, A Rhein Westfal TH Aachen D-52056 Aachen Germany Univ Politecn Valencia DSIC E-46071 Valencia Spain Univ Tsukuba Inst Informat Sci & Elect Tsukuba Ibaraki 3058573 Japan
The concept of definitional tree by Antoy serves to introduce control information into the bare set of rules of a constructor-based term rewriting system (TRS). TRSs whose rules can be arranged into a definitional tre... 详细信息
来源: 评论