咨询与建议

限定检索结果

文献类型

  • 75 篇 期刊文献
  • 60 篇 会议
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 129 篇 工学
    • 106 篇 计算机科学与技术...
    • 61 篇 软件工程
    • 27 篇 电气工程
    • 12 篇 控制科学与工程
    • 4 篇 机械工程
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 28 篇 理学
    • 26 篇 数学
    • 5 篇 系统科学
    • 1 篇 生物学
  • 17 篇 管理学
    • 16 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 3 篇 教育学
    • 2 篇 心理学(可授教育学...
    • 1 篇 教育学
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 136 篇 programming lang...
  • 21 篇 semantics
  • 14 篇 semiotics
  • 12 篇 formal verificat...
  • 11 篇 formal specifica...
  • 7 篇 denotational sem...
  • 7 篇 language
  • 7 篇 concurrency
  • 6 篇 program verifica...
  • 6 篇 rewriting logic
  • 6 篇 specification la...
  • 6 篇 formal specifica...
  • 5 篇 software archite...
  • 5 篇 syntax
  • 5 篇 algebra
  • 5 篇 functional progr...
  • 4 篇 syntax in progra...
  • 4 篇 programming
  • 4 篇 type theory
  • 4 篇 real-time system...

机构

  • 3 篇 swansea univ dep...
  • 3 篇 univ illinois de...
  • 2 篇 saab ab jarfalla
  • 2 篇 univ utrecht dep...
  • 2 篇 portland state u...
  • 2 篇 univ illinois ur...
  • 2 篇 monash univ dept...
  • 2 篇 alexandru ioan c...
  • 2 篇 kth royal inst t...
  • 2 篇 univ missouri co...
  • 2 篇 stanford univ st...
  • 1 篇 univ strathclyde...
  • 1 篇 1.department of ...
  • 1 篇 nanyang technol ...
  • 1 篇 univ complutense...
  • 1 篇 russian acad sci...
  • 1 篇 stratify inc mou...
  • 1 篇 caltech jet prop...
  • 1 篇 iit bhubaneshwar...
  • 1 篇 univ birmingham ...

作者

  • 4 篇 rosu grigore
  • 3 篇 mosses peter d.
  • 2 篇 hathhorn chris
  • 2 篇 guanciale robert...
  • 2 篇 lundberg didrik
  • 2 篇 bruza peter d.
  • 2 篇 alshnakat anoud
  • 2 篇 palamidessi c
  • 2 篇 jagadeesan r
  • 2 篇 dam mads
  • 2 篇 gabbrielli m
  • 2 篇 meseguer jose
  • 2 篇 falaschi m
  • 2 篇 hills mark
  • 2 篇 ciobaca stefan
  • 2 篇 marriott k
  • 1 篇 mills hd
  • 1 篇 king andrew l.
  • 1 篇 hongwei sun
  • 1 篇 ramesh s.

语言

  • 121 篇 英文
  • 15 篇 其他
检索条件"主题词=programming language semantics"
136 条 记 录,以下是121-130 订阅
排序:
A LAYERED, OPERATIONAL MODEL OF DATA CONTROL IN programming-languageS
收藏 引用
COMPUTER languageS 1991年 第2期16卷 147-165页
作者: OUDSHOORN, MJ MARLIN, CD UNIV ADELAIDE CTR COMP SYST & SOFTWARE ENGNADELAIDESA 5001AUSTRALIA
This paper describes a layered model of the semantics of the data control aspect of programming languages;this aspect of programming language semantics concerns access to the data objects of the program. The model is ... 详细信息
来源: 评论
THE EFFECTS OF SEMANTIC COMPLEXITY ON EXPERT AND NOVICE COMPUTER-PROGRAM RECALL AND COMPREHENSION
收藏 引用
JOURNAL OF GENERAL PSYCHOLOGY 1990年 第4期117卷 379-389页
作者: GUERIN, B MATTHEWS, A UNIV QUEENSLAND DEPT PSYCHOLST LUCIAQLD 4067AUSTRALIA
Three experiments were conducted to test the role that semantic knowledge plays in expert programmer ability. In Experiments 1 and 2, changing the normal semantic structure affected experts more than novices, although... 详细信息
来源: 评论
PREDICATE-TRANSFORMER semantics OF GENERAL RECURSION
收藏 引用
ACTA INFORMATICA 1989年 第4期26卷 309-332页
作者: HESSELINK, WH 1.Department of Computing Science University of Groningen P.O. Box 800 NL-9700 AV Groningen The Netherlands
We develop the semantics of a language with arbitrary atomic statements, unbounded nondeterminacy, and mutual recursion. The semantics is expressed in weakest preconditions and weakest liberal preconditions. Individua... 详细信息
来源: 评论
MATHEMATICAL PRINCIPLES FOR A 1ST COURSE IN SOFTWARE ENGINEERING
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1989年 第5期15卷 550-559页
作者: MILLS, HD BASILI, VR GANNON, JD HAMLET, RG UNIV MARYLAND DEPT COMP SCI COLLEGE PK MD 20742 USA PORTLAND STATE UNIV DEPT COMP SCI PORTLAND OR 97207 USA UNIV MARYLAND INST ADV COMP STUDIES COLLEGE PK MD 20742 USA
The discipline of software engineering has transferred the commonsense methods of good programming and management to large software projects, it has been less successful in acquiring a solid theoretical foundation for... 详细信息
来源: 评论
INCREMENTAL EVALUATION FOR ATTRIBUTE GRAMMARS WITH UNRESTRICTED MOVEMENT BETWEEN TREE MODIFICATIONS
收藏 引用
ACTA INFORMATICA 1988年 第2期25卷 155-178页
作者: REPS, T 1.Computer Sciences Department University of Wisconsin 1210 W. Dayton St. 53706 Madison WI USA
This paper concerns the design of editors that perform checks on a language's context-dependent constraints. Our particular concern is the design of an efficient, incremental analysis algorithm for systems based o... 详细信息
来源: 评论
Continuously generated fixed points in Pω
收藏 引用
Fundamenta Informaticae 1980年 第4期3卷 477-489页
作者: Bracho, Felipe Mathematical Institute Oxford
In this paper we investigate the fixed points of functions that can be obtained by continuous fixed point operators in Pω. We also introduce an operator Cgn that generates all of these fixed points for any continuous... 详细信息
来源: 评论
A SYNTACTIC THEORY OF MESSAGE PASSING
收藏 引用
JOURNAL OF THE ACM 1980年 第2期27卷 365-383页
作者: WARD, SA HALSTEAD, RH Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA
Recent developments by Hewitt and others have stimulated interest in message-passing constructs as an alternative to the more conventional applicative semantics on which most current languages are based. The present w... 详细信息
来源: 评论
ALIASING AMONG POINTERS IN EUCLID
收藏 引用
INFORMATION PROCESSING LETTERS 1979年 第2期9卷 76-79页
作者: SCHWARTZ, RL Department of Applied Mathematics Weizmann Institute of Science Rehovot Israel
来源: 评论
A Hierarchical Approach to Formal semantics With Application to the Definition of PL/CS
收藏 引用
ACM Transactions on programming languages and Systems (TOPLAS) 1979年 第1期1卷 98-114页
作者: Constable, Robert L. Donahue, James E. Department of Computer Science Cornell University Ithaca NY 14853 Upson Hall United States
We describe a means of presenting hierarchically organized formal definitions of programming languages using the denotational approach of D. Scott and C. Strachey. As an example of our approach, we give the semantics ... 详细信息
来源: 评论
DESIGN AND CORRECTNESS OF A COMPILER FOR A NON-PROCEDURAL language
收藏 引用
ACTA INFORMATICA 1978年 第3期9卷 217-241页
作者: HOFFMANN, CM Purdue University
Design and correctness proof of a compiler for Lucid, a non-procedural proof-oriented programming language, are given. Starting with the denotational semantics of Lucid, an equivalent operational semantics is derived,... 详细信息
来源: 评论