搜索页_+Formal+languages

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

馆藏书目(3)	CNKI会议论文(4)	CNKI期刊论文0611(1)
Springer电子图书(18)	CNKI学位论文(6359)	知网期刊论文(1830)

在“Elsevier电子期刊”中，命中：1,445条，耗时：0.0109921 秒

在所有数据库中总计命中：8,215条

1.Unavoidable sets and circular splicing languages

作者：Clelia De Felice ; ^{defelice@dia.unisa.it} ; Rocco Zaccagnino ; Rosalba Zizza

关键词：Regular languages ; Circular splicing systems ; Unavoidable sets

刊名：Theoretical Computer Science

出版年：2017

2.Amalgamation of domain specific languages with behaviour

作者：Francisco Durá ; n^a ; ^{duran@lcc.uma.es} ; Antonio Moreno-Delgado^a ; Fernando Orejas^b ; Steffen Zschaler^c

关键词：Graph transformation ; Domain specific languages ; e-Motions ; Behaviour-aware morphisms

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

3.Trees and languages with periodic signature

作者：Victor Marsault^a ; ^{Victor.Marsault@liafa.univ-paris-diderot.fr} ; ; Jacques Sakarovitch^b

关键词：Rational base numeration system ; Breadth-first signature ; Abstract numeration system

刊名：Indagationes Mathematicae

出版年：2017

4.Splicing music composition

作者：Clelia De Felice ; Roberto De Prisco ; Delfina Malandrino ; Gianluca Zaccagnino ; Rocco Zaccagnino ; ^{zaccagnino@dia.unisa.it} ; Rosalba Zizza

关键词：Splicing systems ; Automatic music composition ; Music formal model

刊名：Information Sciences

出版年：2017

5.RQL: A Query Language for Rule Discovery in Databases

作者：Brice Chardin^a ; ^{brice.chardin@ensma.fr} ; Emmanuel Coquery^b ; ^{ecoquery@liris.cnrs.fr} ; Marie Pailloux^c ; ^{pailloux@isima.fr} ; Jean-Marc Petit^d ; ^{jmpetit@liris.cnrs.fr}

关键词：Query languages ; Formal concept analysis ; Implications ; Functional dependencies ; Query optimization ; Relational calculus

刊名：Theoretical Computer Science

出版年：2017

6.Periodicity in rectangular arrays

作者：Guilhem Gamard^a ; ^{guilhem.gamard@lirmm.fr" class="auth_mail" title="E-mail the corresponding author} ; Gwenaë ; l Richomme^a ; ^b ; ^{gwenael.richomme@lirmm.fr" class="auth_mail" title="E-mail the corresponding author} ; Jeffrey Shallit^c ; ^{shallit@cs.uwaterloo.ca" class="auth_mail" title="E-mail the corresponding author} ; Taylor J. Smith^c ; ^{tj2smith@uwaterloo.ca" class="auth_mail" title="E-mail the corresponding author}

关键词：Formal languages ; Theory of computation ; Algorithms

刊名：Information Processing Letters

出版年：2017

7.The emptiness problem for tree automata with at least one global disequality constraint is NP-hard

作者：P.-C. Hé ; am^a ; ^{pheam@femto-st.fr" class="auth_mail" title="E-mail the corresponding author} ; V. Hugot^b ; O. Kouchnarenko^a

关键词：Formal languages ; Tree automata ; Algorithms

刊名：Information Processing Letters

出版年：2017

8.Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs

作者：Assalé ; Adjé ; ^{assale.adje@onera.fr} ; Pierre-Loï ; c Garoche ; ^{pierre-loic.garoche@onera.fr}

关键词：Formal verification ; Static analysis ; Piecewise affine systems ; Piecewise quadratic Lyapunov functions

刊名：Computer Languages, Systems & Structures

出版年：2017

9.A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets

作者：Khalil Ghorbal^a ; ^{kghorbal@cs.cmu.edu} ; Andrew Sogokon^c ; ^{a.sogokon@sms.ed.ac.uk} ; André ; Platzer^b ; ^{aplatzer@cs.cmu.edu}

关键词：Formal verification ; Polynomial differential equations ; Positive invariance ; Deductive power ; Dynamical systems

刊名：Computer Languages, Systems & Structures

出版年：2017

10.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

按检索点细分(1445)

题名(23)

关键词(396)

文摘(846)

按出版年细分(1445)

2027年及以后(31)

2017年(14)

2016年(46)

2015年(15)

2014年(5)

2013年(60)

2012年(78)

2011年(74)

2010年(76)

2009年(90)

2008年(80)

2007年(93)

2006年(66)

2005年(88)

2004年(69)

2003年(76)

2002年(83)

2001年(76)

2000年(44)

2000年及以前(281)