咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 17 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 36 篇 工学
    • 31 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 6 篇 信息与通信工程
    • 3 篇 安全科学与工程
    • 2 篇 机械工程
    • 2 篇 电气工程
    • 2 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 轻工技术与工程
    • 1 篇 船舶与海洋工程
    • 1 篇 生物工程
  • 18 篇 理学
    • 11 篇 数学
    • 7 篇 系统科学
    • 2 篇 物理学
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 7 篇 管理学
    • 4 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 4 篇 computer science
  • 3 篇 software enginee...
  • 3 篇 unified modeling...
  • 3 篇 formal specifica...
  • 2 篇 compilers
  • 2 篇 access control
  • 2 篇 object oriented ...
  • 2 篇 application soft...
  • 2 篇 java
  • 2 篇 computer languag...
  • 2 篇 constraint satis...
  • 2 篇 students
  • 2 篇 cryptographic pr...
  • 2 篇 artificial intel...
  • 2 篇 applicative (log...
  • 1 篇 many valued logi...
  • 1 篇 adaptive systems
  • 1 篇 reliability
  • 1 篇 exceptions
  • 1 篇 planets

机构

  • 3 篇 institute of sof...
  • 3 篇 institute for so...
  • 2 篇 department of co...
  • 2 篇 programming lang...
  • 2 篇 department of co...
  • 2 篇 university of ok...
  • 2 篇 department of co...
  • 1 篇 institute of art...
  • 1 篇 university of he...
  • 1 篇 complex cyber in...
  • 1 篇 university of he...
  • 1 篇 heinz nixdorf in...
  • 1 篇 department of so...
  • 1 篇 department of co...
  • 1 篇 center for digit...
  • 1 篇 dept. of signal ...
  • 1 篇 institute of sof...
  • 1 篇 programming lang...
  • 1 篇 department of co...
  • 1 篇 department of ma...

作者

  • 4 篇 choe km
  • 4 篇 raschke alexande...
  • 3 篇 scholz sven-bodo
  • 3 篇 zsók viktória
  • 3 篇 chris mcdonald
  • 3 篇 grelck clemens
  • 3 篇 tichy matthias
  • 3 篇 felderer michael
  • 2 篇 mertin gunda
  • 2 篇 page rex
  • 2 篇 horváth zoltán
  • 2 篇 hofstedt petra
  • 2 篇 pekaric irdin
  • 2 篇 liu ke
  • 2 篇 reif wolfgang
  • 2 篇 kamran kazemi
  • 2 篇 nina moebius
  • 2 篇 läufer konstanti...
  • 2 篇 wolfgang reif
  • 2 篇 ghica dan

语言

  • 50 篇 英文
  • 3 篇 其他
检索条件"机构=Department of Computer Science and Programming Languages"
53 条 记 录,以下是41-50 订阅
排序:
GIDTS: a graphical programming environment for Prolog  99
GIDTS: a graphical programming environment for Prolog
收藏 引用
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
作者: Gabriella Kókai Jörg Nilson Christian Niss Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 D-91058 Erlangen Germany
This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTSpart of the system integrates Shapiro's In...
来源: 评论
Fold and unfold for program semantics  98
Fold and unfold for program semantics
收藏 引用
Proceedings of the third ACM SIGPLAN international conference on Functional programming
作者: Graham Hutton Languages and Programming Group Department of Computer Science University of Nottingham UK
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structur...
来源: 评论
A theory of core fudgets  98
A theory of core fudgets
收藏 引用
Proceedings of the third ACM SIGPLAN international conference on Functional programming
作者: Colin J. Taylor Languages and Programming Group Department of Computer Science University of Nottingham University Park Nottingham NG7 2RD England
The Fudgets system is a toolkit for developing graphical applications in the lazy functional programming language Haskell. In this paper we develop an operational semantics for a subset of this system, inspired by ide...
来源: 评论
Improving the PVM teaching environment  97
Improving the PVM teaching environment
收藏 引用
Proceedings of the twenty-eighth SIGCSE technical symposium on computer science education
作者: Chris McDonald Kamran Kazemi Programming Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia 6907
The parallel programming community has long recognized the need for a simple programming environment offering interprocess communication between heterogeneous systems. As the Parallel Virtual Machine environment, PVM,...
来源: 评论
Fail-safety techniques and their extensions to concurrent systems
收藏 引用
computer languages 1996年 第4期22卷 193-203页
作者: Drew, SJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Sydney Queensland Australia 4000
Fail-safety is a system attribute which ensures that a program either completes its execution satisfying its post-conditions in the normal manner or signals its failure to do so to its operating environment. Such an a... 详细信息
来源: 评论
User-level distributed file systems projects  96
User-level distributed file systems projects
收藏 引用
Proceedings of the twenty-seventh SIGCSE technical symposium on computer science education
作者: Chris McDonald Programming Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia
One of the greatest benefits provided by computer networks, in particular local area networks, is the ability to access files served by other computers in a network. Whereas file system concepts are first introduced i...
来源: 评论
EXCEPTION HANDLING - EXPECTING THE UNEXPECTED
收藏 引用
computer languages 1994年 第2期20卷 69-87页
作者: DREW, SJ GOUGH, KJ Programming Languages and Systems Group Computer Science Department Queensland University of Technology Queensland Australia 4000
Since the mid-1970s, and with the development of each new programming paradigm there has been an increasing interest in exceptions and the benefits of exception handling. With the move towards programming for ever mor... 详细信息
来源: 评论
AN EFFICIENT COMPUTATION OF RIGHT CONTEXT FOR LR-BASED ERROR REPAIR
收藏 引用
INFORMATION PROCESSING LETTERS 1994年 第2期49卷 63-71页
作者: JUNG, MS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusong-Gu Taejon 305-701 South Korea
The left context in LR-based parsing is the sequence of states in the parsing stack. The right context is the vocabulary strings to appear for a given left context. We propose an efficient method of computing right co... 详细信息
来源: 评论
STATIC FILTERING ON STRATIFIED PROGRAMS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第5期47卷 237-244页
作者: CHANG, BM CHOE, KM HAN, TS Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-dong Yusung-ku Taejon 305-701 South Korea
We extend static filtering in [8], a query optimization strategy based on seminaive evaluation on system graphs, so that it can efficiently handle stratified programs without extra overhead. The computation of static ... 详细信息
来源: 评论
SYNTACTIC ERROR REPAIR USING REPAIR PATTERNS
收藏 引用
INFORMATION PROCESSING LETTERS 1993年 第4期47卷 189-196页
作者: YUN, IS CHOE, KM HAN, T Programming Languages Laboratory Department of Computer Science Korea Advanced Institute of Science and Technology 373-1 Kusong-Dong Yusung-Cu Taejon 305-701 South Korea
A syntactic error repair model is proposed, and is defined as a partial function from strings to sentences. The replacement of a substring of a string with a substring of a sentence is described by a repair pattern, w... 详细信息
来源: 评论