咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 137 篇 programming lang...
  • 20 篇 semantics
  • 13 篇 semiotics
  • 12 篇 formal verificat...
  • 11 篇 formal specifica...
  • 7 篇 denotational sem...
  • 7 篇 language
  • 6 篇 program verifica...
  • 6 篇 rewriting logic
  • 6 篇 specification la...
  • 6 篇 concurrency
  • 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 篇 massachusetts in...
  • 1 篇 1.department of ...
  • 1 篇 nanyang technol ...
  • 1 篇 univ complutense...
  • 1 篇 russian acad sci...
  • 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 篇 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.
  • 1 篇 simpson alex

语言

  • 122 篇 英文
  • 15 篇 其他
检索条件"主题词=programming language semantics"
137 条 记 录,以下是51-60 订阅
排序:
THE COMPLEXITY OF DEFAULT REASONING UNDER THE STATIONARY FIXED-POINT semantics
收藏 引用
INFORMATION AND COMPUTATION 1995年 第1期121卷 81-92页
作者: GOTTLOB, G TECH UNIV VIENNA INST INFORMAT SYSTA-1040 VIENNAAUSTRIA
Stationany default extensions have recently been introduced by Przymusinska and Przymusinsky as an interesting alternative to classical extensions in Reiter's default logic. An important property of this new appro... 详细信息
来源: 评论
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,... 详细信息
来源: 评论
Twenty years of rewriting logic
收藏 引用
JOURNAL OF LOGIC AND ALGEBRAIC programming 2012年 第7-8期81卷 721-781页
作者: Meseguer, Jose Univ Illinois Dept Comp Sci Urbana IL 61801 USA
Rewriting logic is a simple computational logic that can naturally express both concurrent computation and logical deduction with great generality. This paper provides a gentle, intuitive introduction to its main idea... 详细信息
来源: 评论
Share the ontology in XML-based trading architectures
收藏 引用
COMMUNICATIONS OF THE ACM 1999年 第3期42卷 110-111页
作者: Smith, H Poulter, K Comp Sci Corp Farnborough Hants England
Although extensible markup language ( XML) represents a major step forward in e-commerce technology, business-to-business trading partners should also recognize its limitations. XML is not a cure-all for system intero... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Rewriting logic bibliography by topic: 1990-2011
收藏 引用
JOURNAL OF LOGIC AND ALGEBRAIC programming 2012年 第7-8期81卷 782-815页
作者: Marti-Oliet, Narciso Palomino, Miguel Verdejo, Alberto Univ Complutense Madrid Fac Informat Dpto Sistemas Informat & Computac E-28040 Madrid Spain
This bibliography compiles, to the best of our knowledge. all the papers on rewriting logic and its applications which have been written during the more than 20 years that have passed since the introduction of rewriti... 详细信息
来源: 评论
Denotational models for programming languages: applications of Banach's Fixed Point Theorem
收藏 引用
TOPOLOGY AND ITS APPLICATIONS 1998年 第1-3期85卷 35-52页
作者: de Bakker, JW de Vink, EP CWI Dept Software Technol NL-1090 GB Amsterdam Netherlands Vrije Univ Amsterdam Fac Math & Comp Sci NL-1081 HV Amsterdam Netherlands
For an abstract programming language both a linear and a branching denotational semantics are developed. The main instrument for the construction of the two models and for the semantical operators involved is the clas... 详细信息
来源: 评论
On a New Type of Contextual Queries and Linguistic Summaries of a Bipolar Type
On a New Type of Contextual Queries and Linguistic Summaries...
收藏 引用
IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
作者: Zadrozny, Slawomir Kacprzyk, Janusz Dziedzic, Mateusz Polish Acad Sci Syst Res Inst Ul Newelska 6 PL-01447 Warsaw Poland Cracow Univ Technol Dept Automat Control & Informat Technol PL-31155 Krakow Poland Univ Ghent Dept Telecommun & Informat Proc B-9000 Ghent Belgium
A new type of linguistic summaries, so-called contextual linguistic summaries, are further developed. The point of departure are contextual bipolar queries which play the same role for a new type of summaries as flexi... 详细信息
来源: 评论
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... 详细信息
来源: 评论