咨询与建议

限定检索结果

文献类型

  • 21 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 21 篇 工学
    • 20 篇 计算机科学与技术...
    • 19 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 机械工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 信息与通信工程
  • 3 篇 理学
    • 3 篇 数学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...

主题

  • 2 篇 semantics
  • 2 篇 formal verificat...
  • 1 篇 voltmeters
  • 1 篇 programming lang...
  • 1 篇 computer algebra
  • 1 篇 exceptions
  • 1 篇 bill of material...
  • 1 篇 standard templat...
  • 1 篇 libraries
  • 1 篇 functors
  • 1 篇 threshold voltag...
  • 1 篇 computational ef...
  • 1 篇 model checking
  • 1 篇 generic librarie...
  • 1 篇 parallel program...
  • 1 篇 exception-safety
  • 1 篇 c++ (programming...
  • 1 篇 program interpre...
  • 1 篇 field programmab...
  • 1 篇 graph algorithm

机构

  • 1 篇 edison design gr...
  • 1 篇 eotvos lorand un...
  • 1 篇 univ tubingen d-...
  • 1 篇 rensselaer polyt...
  • 1 篇 lucent technol m...
  • 1 篇 university of il...
  • 1 篇 molde coll n-640...
  • 1 篇 univ nacl cuyo f...
  • 1 篇 univ munster d-4...
  • 1 篇 los alamos natio...
  • 1 篇 dragon systems u...
  • 1 篇 kansas state uni...
  • 1 篇 swiss fed inst t...
  • 1 篇 daimlerchrysler ...
  • 1 篇 rensselaer polyt...
  • 1 篇 ecole polytech f...
  • 1 篇 dept.of electric...
  • 1 篇 claas solutions ...
  • 1 篇 univ s australia...
  • 1 篇 univ karlsruhe k...

作者

  • 2 篇 schupp s
  • 2 篇 loos r
  • 1 篇 bischof h
  • 1 篇 czarnecki krzysz...
  • 1 篇 smith stephen
  • 1 篇 schirra s
  • 1 篇 schwarzweller c
  • 1 篇 vera de serio v....
  • 1 篇 m.h. hristov
  • 1 篇 taha w
  • 1 篇 dwyer matthew b.
  • 1 篇 porkoláb z
  • 1 篇 veltkamp r
  • 1 篇 loos rüdiger g. ...
  • 1 篇 humphrey william
  • 1 篇 talcott carolyn ...
  • 1 篇 stepanov alexand...
  • 1 篇 schreiner w
  • 1 篇 näher s
  • 1 篇 reynders john

语言

  • 23 篇 英文
  • 1 篇 其他
检索条件"任意字段=International Seminar on Generic Programming"
24 条 记 录,以下是1-10 订阅
排序:
international seminar on generic programming, 1998
International Seminar on Generic Programming, 1998
收藏 引用
international seminar on generic programming, 1998
The proceedings contain 20 papers. The special focus in this conference is on generic programming. The topics include: Fundamentals of generic programming;requirement oriented programming;the refinement relation of gr...
来源: 评论
generic programming: international seminar on generic programming dagstuhl castle, Germany, April 27-May 1, 1998 selected papers
Generic programming: International seminar on generic progra...
收藏 引用
international seminar on generic programming, 1998
作者: Jazayeri, Mehdi Loos, Rüdiger G. K. Musser, David R. Technical University of Vienna Information Systems Institute Distributed Systems Group Argentinierstr. 8/184-1 Vienna Austria Universität Tübingen Wilhelm-Schickard-Institut für Informatik Sand 13 Tübingen Germany Rensellaer Polytechnic Institute Computer Science Department TroyNY United States
来源: 评论
Describing products as executable programs: Variant specification in a customer-oriented environment
收藏 引用
international JOURNAL OF PRODUCTION ECONOMICS 1998年 第3期56-7卷 495-502页
作者: Olsen, KA Saetre, P Molde Coll N-6400 Molde Norway
In a customer-oriented environment standardized models are replaced by generic products. A generic product is defined through a set of attributes, which may have a set of alternative values. Since the number of varian... 详细信息
来源: 评论
Requirement oriented programming - Concepts, implications, and algorithms
Requirement oriented programming - Concepts, implications, a...
收藏 引用
international seminar on generic programming
作者: Musser, D Schupp, S Loos, R Rensselaer Polytech Inst Dept Comp Sci Troy NY 12181 USA Univ Tubingen Wilhelm Schickard Inst Informat D-72074 Tubingen Germany
generic programming is requirement oriented programming. We study the concept of genericity and generic concepts. Support of generic programming is exemplified by TECTON formalizations of algebraic and STL concepts. W... 详细信息
来源: 评论
SuchThat - generic programming works
SuchThat - Generic programming works
收藏 引用
international seminar on generic programming
作者: Schupp, S Loos, R Rensselaer Polytech Inst Troy NY 12181 USA Univ Tubingen D-72074 Tubingen Germany
This paper introduces SUCHTHAT, a language for experiments in generic programming. SUCHTHAT forms the synthesis of two independently developed languages: ALDES, a language for algorithm descriptions, and TECTON, a spe... 详细信息
来源: 评论
Software development in PVS using generic development steps
Software development in PVS using generic development steps
收藏 引用
international seminar on generic programming
作者: Dold, A Univ Ulm Fak Informat D-89069 Ulm Germany
This paper is concerned with a mechanized formal treatment of the transformational software development process in a unified framework. We utilize the PVS system to formally represent, verify and correctly apply gener... 详细信息
来源: 评论
Mizar correctness proofs of generic fraction field arithmetic
Mizar correctness proofs of generic fraction field arithmeti...
收藏 引用
international seminar on generic programming
作者: Schwarzweller, C Wilhelm Schickard Inst Comp Sci D-72076 Tubingen Germany
We propose the MIZAR system as a theorem prover capable of verifying generic algebraic algorithms on an appropriate abstract level. The main advantage of the MIZAR theorem prover is its special proof script language t... 详细信息
来源: 评论
Applications of the generic programming paradigm in the design of CGAL
Applications of the generic programming paradigm in the desi...
收藏 引用
international seminar on generic programming
作者: Brönnimann, H Kettner, L Schirra, S Veltkamp, R INRIA Sophia Antipolis France Swiss Fed Inst Technol Zurich Switzerland Max Planck Inst Comp Sci Saarbrucken Germany Univ Utrecht Dept Comp Sci NL-3508 TC Utrecht Netherlands
We report on the use of the generic programming paradigm in the computational geometry algorithms library CGAL. The parameterization of the geometric algorithms in CGAL enhances flexibility and adaptability and opens ... 详细信息
来源: 评论
A generic programming environment for high-performance mathematical libraries
A generic programming environment for high-performance mathe...
收藏 引用
international seminar on generic programming
作者: Schreiner, W Danielczyk-Landerl, W Marin, M Stöcher, W Univ Linz Symbol Computat Res Inst RISC Linz A-4040 Linz Austria
We report on a programming environment for the development of generic mathematical libraries based on functors (parameterized modules) that have rigorously specified but very abstract interfaces. We focus on the combi... 详细信息
来源: 评论
generic graph algorithms
Generic graph algorithms
收藏 引用
international seminar on generic programming
作者: Kühl, D Claas Solutions GmbH Germany
Implementing non-trivial algorithms, like many graph algorithms, is generally expensive, Thus, it is desirable to reuse such implementations whenever possible. The implementations of graph algorithms normally cannot b... 详细信息
来源: 评论