搜索页_+Formal+operational+semantics

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

SpringerLink电子期刊(385)

ProQuest学位论文(22)

Elsevier电子期刊(219)

在“Elsevier电子期刊”中，命中：219条，耗时：0.0229886 秒

在所有数据库中总计命中：627条

1.A generic framework for symbolic execution: A coinductive approach

作者：Dorel Lucanu^a ; ^{dlucanu@info.uaic.ro} ; Vlad Rusu^b ; ^{vlad.rusu@inria.fr} ; Andrei Arusoaie^a ; ^b ; ^{andrei.arusoaie@info.uaic.ro}

关键词：Symbolic execution ; Programming language ; Formal operational semantics ; Reachability logic ; Circular coinduction ; Program verification

刊名：Journal of Symbolic Computation

出版年：2017

2.Language definitions as rewrite theories

作者：Vlad Rusu^a ; Dorel Lucanu^b ; ^{dlucanu@info.uaic.ro" class="auth_mail" title="E-mail the corresponding author} ; Traian-Florin Şerbănuţă^c ; Andrei Arusoaie^b ; ^a ; Andrei Ştefănescu^d ; Grigore Roşu^d ; ^b

关键词：Operational semantics ; Rewrite theories ; Symbolic execution ; K Framework ; Maude

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2016

3.Towards Multi-Level Semantics for Multi-Agent Systems

作者：Alison R. Panisson ^{alison.panisson@acad.pucrs.br" class="auth_mail" title="E-mail the corresponding author}

关键词：Multi-Level Semantics ; Multi-Agent Systems ; Agent-Based Communication

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

4.A formal model of service-oriented dynamic object groups

作者：Einar Broch Johnsen^a ; ^{einarj@ifi.uio.no" class="auth_mail" title="E-mail the corresponding author} ; Olaf Owe^a ; ^{olaf@ifi.uio.no" class="auth_mail" title="E-mail the corresponding author} ; Dave Clarke^b ; ^c ; ^{dave.clarke@it.uu.se" class="auth_mail" title="E-mail the corresponding author} ; Joakim Bjø ; rk^a ; ^{joakimbj@ifi.uio.no" class="auth_mail" title="E-mail the corresponding author}

关键词：Object orientation ; Object groups ; Service orientation ; Multithreading ; Concurrency ; Types ; Semantics ; Type safety

刊名：Science of Computer Programming

出版年：2016

5.An Imperative Pure Calculus

作者：Andrea Capriccioli

关键词：operational semantics ; imperative calculus ; aliasing

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

6.Incremental model checking of delta-oriented software product lines

作者：Malte Lochau^a ; ^{malte.lochau@es.tu-darmstadt.de" class="auth_mail" title="E-mail the corresponding author} ; Stephan Mennicke^b ; ^{mennicke@ips.cs.tu-bs.de" class="auth_mail" title="E-mail the corresponding author} ; Hauke Baller^b ; ^{baller@ips.cs.tu-bs.de" class="auth_mail" title="E-mail the corresponding author} ; Lars Ribbeck^b ; ^{l.ribbeck@tu-bs.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Variability modeling ; Operational semantics ; Model checking

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2016

7.DEVS modelling and simulation of human social interaction and influence

作者：Youssef Bouanan^a ; ^b ; ^{youssef.bouanan@ims-bordeaux.fr" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Gregory Zacharewicz^a ; ^b ; ^{gregory.zacharewicz@ims-bordeaux.fr" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Bruno Vallespir^a ; ^b ; ^{bruno.vallespir@ims-bordeaux.fr" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Modelling and simulation ; DEVS formalism ; Agent-based model ; Information impact ; Diffusion network model

刊名：Engineering Applications of Artificial Intelligence

出版年：2016

8.Modelling and analysing neural networks using a hybrid process algebra

作者：Robert J. Colvin ^{r.colvin@uq.edu.au" class="auth_mail" title="E-mail the corresponding author}

关键词：Neural networks ; Process algebra ; Hybrid systems

刊名：Theoretical Computer Science

出版年：2016

9.A history based approximate epistemic action theory for efficient postdictive reasoning

作者：Manfred Eppe^a ; ^{eppe@icsi.berkeley.edu" class="auth_mail" title="E-mail the corresponding author} ; Mehul Bhatt^b ; ^{bhatt@informatik.uni-bremen.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Commonsense reasoning ; Action and change ; Epistemic reasoning

刊名：Journal of Applied Logic

出版年：2015

10.Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

作者：Huibiao ; Zhu^a ; ; ^{hbzhu@sei.ecnu.edu.cn} ; Fan ; Yang^a ; Jifeng ; He^a ; Jonathan P. ; Bowen^b ; Jeff W. ; Sanders^c ; Shengchao ; Qin^d

关键词：PTSC ; Operational semantics ; Algebraic semantics ; Semantic linking ; Head normal form ; Animation

刊名：Journal of Logic and Algebraic Programming

出版年：2012

按检索点细分(219)

关键词(19)

文摘(166)

按出版年细分(219)

2027年及以后(1)

2017年(1)

2016年(7)

2015年(1)

2013年(5)

2012年(11)

2011年(4)

2010年(7)

2009年(18)

2008年(16)

2007年(20)

2006年(18)

2005年(23)

2004年(6)

2003年(14)

2002年(11)

2001年(9)

2000年(6)

2000年及以前(41)