咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
The W-CALCULUS: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms  9
The W-CALCULUS: A Synchronous Framework for the Verified Mod...
收藏 引用
9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design (FARM)
作者: Arias, Emilio Jesus Gallego Jouvelot, Pierre Ribstein, Sylvain Desblancs, Dorian Inria Paris Equipe R2 Paris France PSL Univ MINES ParisTech Paris France Ecole Normale Super Paris Saclay Paris France
We introduce the W-CALCULUS, an extension of the call-by-value lambda-calculus with synchronous semantics, designed to be flexible enough to capture different implementation forms of Digital Signal Processing algorith... 详细信息
来源: 评论
Hardware Trojan detection via rewriting logic
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN programming 2022年 127卷
作者: Asavoae, Irina Mariuca Shirazi, Ramtine Tofighi Riesco, Adrian Yasuyoshi, Uemura Thales Grp Trusted Labs Meudon France Univ Complutense Madrid Madrid Spain Elect Commerce Secur Technol Assoc Tokyo Japan
Hardware security studies, discovers, and classifies hardware attacks as well as defense strategies such as prevention and protection methods along the entire hardware production chain. Hardware Trojans represents a h... 详细信息
来源: 评论
Label-Based programming language semantics in K Framework with SDF  14th
Label-Based Programming Language Semantics in K Framework wi...
收藏 引用
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
作者: Bogdanas, Denis Alexandru Ioan Cuza Univ Fac Comp Sci Iasi Romania
A programming language definition consists of two parts: syntax and semantics. K Framework is an actively developed formalism aimed to address the semantics part. While K has its own capabilities to define syntax and ... 详细信息
来源: 评论
Latent semantic analysis of game models using LSTM
收藏 引用
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN programming 2019年 106卷 39-54页
作者: Ghica, Dan R. Alyahya, Khulood Univ Birmingham Birmingham W Midlands England Univ Exeter Exeter Devon England King Saud Univ Riyadh Saudi Arabia
We are proposing a method for identifying whether the observed behaviour of a function at an interface is consistent with the typical behaviour of a particular programming language. This is a challenging problem with ... 详细信息
来源: 评论
AN OPERATIONAL INTERPRETATION OF COINDUCTIVE TYPES
收藏 引用
LOGICAL METHODS IN COMPUTER SCIENCE 2020年 第1期16卷
作者: Czajka, Lukasz TU Dortmund Univ Dortmund Germany
We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be... 详细信息
来源: 评论
The semantics of Multicopy Atomic ARMv8 and RISC-V
The Semantics of Multicopy Atomic ARMv8 and RISC-V
收藏 引用
作者: Pulte, Christopher University of Cambridge
学位级别:博士
Previous work has established precise operational concurrency models for Power and ARMv8, in an abstract micro-architectural style based on detailed discussion with IBM and ARM staff and extensive hardware testing. To... 详细信息
来源: 评论
Syntax and operational semantics of a probabilistic programming language with scopes
收藏 引用
JOURNAL OF MATHEMATICAL PSYCHOLOGY 2016年 74卷 46-57页
作者: Bruza, Peter D. QUT Sch Informat Syst GPO Box 2434 Brisbane Qld Australia
Dzhafarov and Kujala (2015) have introduced a contextual probability theory called Contextuality-by-Default (C-b-D) which is based on three principles. The first of these principles states that each random variable sh... 详细信息
来源: 评论
Modelling contextuality by probabilistic programs with hypergraph semantics
收藏 引用
THEORETICAL COMPUTER SCIENCE 2018年 752卷 56-70页
作者: Bruza, Peter D. Queensland Univ Technol Sch Informat Syst GPO Box 2434 Brisbane Qld 4001 Australia
Models of a phenomenon are often developed by examining it under different experimental conditions, or measurement contexts. The resultant probabilistic models assume that the underlying random variables, which define... 详细信息
来源: 评论
Compositional execution semantics for business process verification
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 2018年 137卷 217-238页
作者: Stachtiari, Emmanouela Katsaros, Panagiotis Aristotle Univ Thessaloniki Dept Informat Thessaloniki Greece
Service compositions are programmed as executable business processes in languages like WS-BPEL (or BPEL in short). In such programs, activities are nested within concurrency, isolation, compensation and event handling... 详细信息
来源: 评论
The adequacy of Launchbury's natural semantics for lazy evaluation
收藏 引用
JOURNAL OF FUNCTIONAL programming 2018年 28卷 e1-e1页
作者: Breitner, Joachim Univ Penn Comp & Informat Sci Philadelphia PA 19146 USA
In his seminal paper "A Natural semantics for Lazy Evaluation", John Launchbury proves his semantics correct with respect to a denotational semantics, and outlines a proof of adequacy. Previous attempts to r... 详细信息
来源: 评论