咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 111 篇 工学
    • 85 篇 计算机科学与技术...
    • 54 篇 软件工程
    • 28 篇 电气工程
    • 9 篇 控制科学与工程
    • 4 篇 机械工程
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 仪器科学与技术
    • 1 篇 航空宇航科学与技...
    • 1 篇 生物工程
  • 20 篇 理学
    • 18 篇 数学
    • 2 篇 系统科学
    • 1 篇 生物学
  • 11 篇 管理学
    • 11 篇 管理科学与工程(可...
  • 2 篇 教育学
    • 1 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 1 篇 经济学
    • 1 篇 理论经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 117 篇 programming lang...
  • 16 篇 semantics
  • 13 篇 formal verificat...
  • 11 篇 formal specifica...
  • 9 篇 semiotics
  • 7 篇 denotational sem...
  • 7 篇 specification la...
  • 6 篇 rewriting logic
  • 6 篇 concurrency
  • 6 篇 formal specifica...
  • 5 篇 software archite...
  • 5 篇 syntax
  • 5 篇 program compiler...
  • 5 篇 functional progr...
  • 5 篇 unified modeling...
  • 4 篇 type theory
  • 4 篇 real-time system...
  • 4 篇 algebra
  • 4 篇 object-oriented ...
  • 4 篇 programming lang...

机构

  • 3 篇 swansea univ dep...
  • 2 篇 saab ab jarfalla
  • 2 篇 univ utrecht dep...
  • 2 篇 univ illinois ur...
  • 2 篇 alexandru ioan c...
  • 2 篇 kth royal inst t...
  • 2 篇 univ missouri co...
  • 2 篇 univ illinois de...
  • 1 篇 univ strathclyde...
  • 1 篇 nanyang technol ...
  • 1 篇 univ complutense...
  • 1 篇 caltech jet prop...
  • 1 篇 iit bhubaneshwar...
  • 1 篇 univ birmingham ...
  • 1 篇 cispa helmholz c...
  • 1 篇 oracle corp redw...
  • 1 篇 indian inst tech...
  • 1 篇 inria paris equi...
  • 1 篇 univ calif irvin...
  • 1 篇 east china norma...

作者

  • 4 篇 rosu grigore
  • 3 篇 mosses peter d.
  • 2 篇 hathhorn chris
  • 2 篇 guanciale robert...
  • 2 篇 lundberg didrik
  • 2 篇 bruza peter d.
  • 2 篇 alshnakat anoud
  • 2 篇 dam mads
  • 2 篇 meseguer jose
  • 2 篇 hills mark
  • 2 篇 ciobaca stefan
  • 1 篇 king andrew l.
  • 1 篇 hongwei sun
  • 1 篇 nummenmaa j.
  • 1 篇 wang y.
  • 1 篇 ramesh s.
  • 1 篇 simpson alex
  • 1 篇 granell carlos
  • 1 篇 erez mattan
  • 1 篇 dong jin song

语言

  • 106 篇 英文
  • 11 篇 其他
检索条件"主题词=PROGRAMMING language semantics"
117 条 记 录,以下是31-40 订阅
排序:
Designing Dialects of Enterprise Modeling languages with the Profiling Technique  19
Designing Dialects of Enterprise Modeling Languages with the...
收藏 引用
19th IEEE International Enterprise Distributed Object Computing Conference (EDOC)
作者: Braun, Richard Esswein, Werner Tech Univ Dresden Chair Wirtschaftsinformat Esp Syst Dev D-01062 Dresden Germany
During the last years, several enterprise modeling languages became de-facto standards in their particular field of application. This dissemination increased the need for extending these languages in order to both spe... 详细信息
来源: 评论
Semantic Investigation of a Control-Flow Subset of BPMN 2.0  11
Semantic Investigation of a Control-Flow Subset of BPMN 2.0
收藏 引用
11th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)
作者: Todoran, Eneia Nicolae Mitrea, Paulina Tech Univ Cluj Napoca Dept Comp Sci Cluj Napoca Romania
Business Process Model and Notation (BPMN), now at version 2.0.2, provides a standard graphical representation for specifying business processes. In this paper we report on the first stage of a semantic investigation ... 详细信息
来源: 评论
Defining the Undefinedness of C  15
Defining the Undefinedness of C
收藏 引用
36th ACM SIGPLAN Conference on programming language Design and Implementation
作者: Hathhorn, Chris Ellison, Chucky Rosu, Grigore Univ Missouri Columbia MO 65211 USA Univ Illinois Urbana IL 61801 USA
We present a "negative" semantics of the C11 language-a semantics that does not just give meaning to correct programs, but also rejects undefined programs. We investigate undefined behavior in C and discuss ... 详细信息
来源: 评论
Note to semantical interpretation of non-trivial syllogisms with intermediate quantifiers
Note to semantical interpretation of non-trivial syllogisms ...
收藏 引用
IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
作者: Murinova, Petra Novak, Vilem Div Univ Ostrava Inst Res & Applicat Fuzzy Modeling Ctr Excellence IT4Innovat 30 Dubna 22 Ostrava 70103 1 Czech Republic
This paper is a contribution to the study of a special kind of syllogisms with intermediate quantifiers. We stem from our previous papers where a formal theory of the intermediate quantifiers was introduced. Besides o... 详细信息
来源: 评论
Reducing Partial Equivalence to Partial Correctness  16
Reducing Partial Equivalence to Partial Correctness
收藏 引用
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
作者: Ciobaca, Stefan Alexandru Ioan Cuza Univ Fac Comp Sci Iasi Romania
Two programs P and Q are partially equivalent if, when both terminate on the same input, they end up with equivalent outputs. Establishing partial equivalence is useful in, e.g., compiler verification, when P is the s... 详细信息
来源: 评论
Architectural semantics of AADL using Event-B
Architectural Semantics of AADL using Event-B
收藏 引用
proc 2014 inter conf contemporary comp informatics (ic3i)
作者: D'Souza, Meenakshi Ramesh, S. Satpathy, Manoranjan IIIT Bangalore Bangalore 560100 Karnataka India Gen Motors R&D Warren MI USA IIT Bhubaneshwar Sch Elect Sci Bhubaneswar 751013 Orissa India
AADL (Architectural Analysis and Design language) can describe the architecture of an embedded control system at various levels of abstraction. In addition, AADL supports refinement mechanisms for refining abstract mo... 详细信息
来源: 评论
GSOS Formalized in Coq
GSOS Formalized in Coq
收藏 引用
7th International Symposium on Theoretical Aspects of Software Engineering (TASE)
作者: Madlener, Ken Smetsers, Sjaak Radboud Univ Nijmegen Inst Comp & Informat Sci iCIS NL-6525 ED Nijmegen Netherlands
Structural operational semantics provides a well-known framework to describe the semantics of programming languages, lending itself to formalization in theorem provers. The formalization of syntactic SOS rule formats,... 详细信息
来源: 评论
Oblivious program execution and path-sensitive non-interference
Oblivious program execution and path-sensitive non-interfere...
收藏 引用
IEEE 26th Computer Security Foundations Symposium
作者: Planul, Jeremy Mitchell, John C. Stanford Univ Stanford CA 94305 USA
Various cryptographic constructions allow an un-trusted cloud server to compute over encrypted data, without decrypting the data. However, this prevents the cloud server from branching according to encrypted values. W... 详细信息
来源: 评论
Domain-Specific languages and Diagram Customization for a Concurrent Engineering Environment
Domain-Specific Languages and Diagram Customization for a Co...
收藏 引用
IEEE Aerospace Conference
作者: Cole, Bjorn Dubos, Greg Banazadeh, Payam Reh, Jonathan Case, Kelley Wang, Yeou-Fang Jones, Susan Picha, Frank CALTECH Jet Prop Lab Pasadena CA 91109 USA
A major open question for advocates of Model-Based Systems Engineering (MBSE) is the question of how system and subsystem engineers will work together. The Systems Modeling language (SysML), like any language intended... 详细信息
来源: 评论
A programming language Approach to Fault Tolerance for Fork-Join Parallelism
A Programming Language Approach to Fault Tolerance for Fork-...
收藏 引用
7th International Symposium on Theoretical Aspects of Software Engineering (TASE)
作者: Zengin, Mustafa Vafeiadis, Viktor Max Planck Inst Software Syst MPI SWS Saarbrucken Germany
When running big parallel computations on thousands of processors, the probability that an individual processor will fail during the execution cannot be ignored. Computations should be replicated, or else failures sho... 详细信息
来源: 评论