Formalising and Verifying Reference Attribute Grammars in Coq.

Formalising and Verifying Reference Attribute Grammars in Coq.

他のバージョン（1件）を表示する

Reference attribute grammars are a powerful formalism for concisely specifying and implementing static analyses. While they have proven their meritin practical applications, no attempt has so far been made to rigorously verify correctness properties of the resulting systems. We present a general met...

書誌詳細
主要な著者:	Schäfer, M, Ekman, T, Moor, O
その他の著者:	Castagna, G
フォーマット:	Conference item
出版事項:	Springer 2009

類似資料

Formalising and Verifying Reference Attribute Grammars in Coq
著者:: Schäfer, M, 等
出版事項: (2009)

Verifying the correct composition of distributed components: Formalisation and Tool
著者:: Ludovic Henrio, 等
出版事項: (2015-02-01)

A systematic derivation of the STG machine verified in Coq
著者:: Pirog, M, 等
出版事項: (2010)

Formalising policies for insider-threat detection: A tripwire grammar
著者:: Agrafiotis, I, 等
出版事項: (2017)

Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
著者:: Burak Ekici, 等
出版事項: (2019-08-01)

Extracting and optimizing low-level bytecode from high-level verified Coq
著者:: Ioannidis, Eleftherios Ioannis.
出版事項: (2019)

Attributes of formalisation risk culture and its typification in the enterprise
著者:: Iryna Fedulova, 等
出版事項: (2022-06-01)

Sets in Coq, Coq in Sets
著者:: Bruno Barras
出版事項: (2010-01-01)

Formalisations and applications of BPMN
著者:: Wong, P, 等
出版事項: (2011)

Entailment : the formalisation of inference
著者:: Copeland, BJ
出版事項: (1978)

Formalisations and Applications of BPMN
著者:: Wong, P, 等
出版事項: (2011)

Formalisation of the component specification
著者:: Vaidas Giedrimas, 等
出版事項: (2004-12-01)

A formalisation of XMAS
著者:: Bernard van Gastel, 等
出版事項: (2013-04-01)

Formalising Confluence in PVS
著者:: Mauricio Ayala-Rincón
出版事項: (2016-03-01)

Relative Monads Formalised
著者:: Thorsten Altenkirch, 等
出版事項: (2014-07-01)

La formalisation du discours savant La formalisation du discours savant
著者:: Jean-Claude Gardin
出版事項: (1999-11-01)

The role of formalised and non-formalised intentions in legal parent-child relationships in Dutch law
著者:: Machteld Vonk
出版事項: (2008-06-01)

Organisation management tasks formalisation
著者:: A. V. Raychenko
出版事項: (2022-07-01)

Formalisation as a judicial claim
著者:: Lorena Poblete
出版事項: (2020-06-01)

CoqIOA : a formalization of IO automata in the Coq proof assistant
著者:: Athalye, Anish (Anish R.)
出版事項: (2017)

The formalisation and transformation of access control policies
著者:: Slaymaker, M, 等
出版事項: (2011)

Le coq médiéval
著者:: Michel Pastoureau
出版事項: (2017-12-01)

Formalisation of the sofware component ontology specification
著者:: Lina Bagušytė, 等
出版事項: (2005-12-01)

Business rules formalisation for information systems
著者:: Ivana Rábová
出版事項: (2010-01-01)

Formalising the Continuous/Discrete Modeling Step
著者:: Wen Su, 等
出版事項: (2011-06-01)

Formalising Sensor Topologies for Target Counting
著者:: Sven Linker, 等
出版事項: (2018-02-01)

Characterization of <i>Arabidopsis thaliana</i> Coq9 in the CoQ Biosynthetic Pathway
著者:: Mei Hu, 等
出版事項: (2023-06-01)

Formalising attack trees to support economic analysis
著者:: Simpson, A, 等
出版事項: (2022)

Formalising the Pathways to Life Using Assembly Spaces
著者:: Stuart M. Marshall, 等
出版事項: (2022-06-01)

Deciding Kleene Algebras in Coq
著者:: Thomas Braibant, 等
出版事項: (2012-03-01)

CoQ10 and Aging
著者:: Isabella Peixoto de Barcelos, 等
出版事項: (2019-05-01)

PIDE for Asynchronous Interaction with Coq
著者:: Carst Tankink
出版事項: (2014-10-01)

Human COQ9 Rescues a coq9 Yeast Mutant by Enhancing Coenzyme Q Biosynthesis from 4-Hydroxybenzoic Acid and Stabilizing the CoQ-Synthome
著者:: Cuiwen H. He, 等
出版事項: (2017-07-01)

Formalisation of partnering as a collaborative procurement method /
著者:: 206061 Chang, Siaw Hui, 等
出版事項: (2009)

Formalisations and applications of business process modelling notation
著者:: Wong, P
出版事項: (2011)

Formalisations and Applications of Business Process Modelling Notation
著者:: Wong, P
出版事項: (2008)

Formalisation of partnering as a collaborative procurement method
著者:: 206061 Chang, Siaw Hui

Formalising the pi-calculus using nominal logic
著者:: Jesper Bengtson, 等
出版事項: (2009-06-01)

Abstracting and formalising the design co-evolution model
著者:: John S. Gero, 等
出版事項: (2022-01-01)

THE FORMALISATION OF ISLAMIC ATTIRE IN PADANG, WEST SUMATRA
著者:: Deny Hamdani
出版事項: (2009-06-01)