Formalising and Verifying Reference Attribute Grammars in Coq.

Formalising and Verifying Reference Attribute Grammars in Coq.

Show other versions (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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Schäfer, M, Ekman, T, Moor, O
Awduron Eraill:	Castagna, G
Fformat:	Conference item
Cyhoeddwyd:	Springer 2009

Eitemau Tebyg

Formalising and Verifying Reference Attribute Grammars in Coq
gan: Schäfer, M, et al.
Cyhoeddwyd: (2009)

Verifying the correct composition of distributed components: Formalisation and Tool
gan: Ludovic Henrio, et al.
Cyhoeddwyd: (2015-02-01)

A systematic derivation of the STG machine verified in Coq
gan: Pirog, M, et al.
Cyhoeddwyd: (2010)

Formalising policies for insider-threat detection: A tripwire grammar
gan: Agrafiotis, I, et al.
Cyhoeddwyd: (2017)

Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)
gan: Burak Ekici, et al.
Cyhoeddwyd: (2019-08-01)

Extracting and optimizing low-level bytecode from high-level verified Coq
gan: Ioannidis, Eleftherios Ioannis.
Cyhoeddwyd: (2019)

Attributes of formalisation risk culture and its typification in the enterprise
gan: Iryna Fedulova, et al.
Cyhoeddwyd: (2022-06-01)

Sets in Coq, Coq in Sets
gan: Bruno Barras
Cyhoeddwyd: (2010-01-01)

Formalisations and applications of BPMN
gan: Wong, P, et al.
Cyhoeddwyd: (2011)

Entailment : the formalisation of inference
gan: Copeland, BJ
Cyhoeddwyd: (1978)

Formalisations and Applications of BPMN
gan: Wong, P, et al.
Cyhoeddwyd: (2011)

Formalisation of the component specification
gan: Vaidas Giedrimas, et al.
Cyhoeddwyd: (2004-12-01)

A formalisation of XMAS
gan: Bernard van Gastel, et al.
Cyhoeddwyd: (2013-04-01)

Formalising Confluence in PVS
gan: Mauricio Ayala-Rincón
Cyhoeddwyd: (2016-03-01)

Relative Monads Formalised
gan: Thorsten Altenkirch, et al.
Cyhoeddwyd: (2014-07-01)

La formalisation du discours savant La formalisation du discours savant
gan: Jean-Claude Gardin
Cyhoeddwyd: (1999-11-01)

The role of formalised and non-formalised intentions in legal parent-child relationships in Dutch law
gan: Machteld Vonk
Cyhoeddwyd: (2008-06-01)

Organisation management tasks formalisation
gan: A. V. Raychenko
Cyhoeddwyd: (2022-07-01)

Formalisation as a judicial claim
gan: Lorena Poblete
Cyhoeddwyd: (2020-06-01)

CoqIOA : a formalization of IO automata in the Coq proof assistant
gan: Athalye, Anish (Anish R.)
Cyhoeddwyd: (2017)

The formalisation and transformation of access control policies
gan: Slaymaker, M, et al.
Cyhoeddwyd: (2011)

Le coq médiéval
gan: Michel Pastoureau
Cyhoeddwyd: (2017-12-01)

Formalisation of the sofware component ontology specification
gan: Lina Bagušytė, et al.
Cyhoeddwyd: (2005-12-01)

Business rules formalisation for information systems
gan: Ivana Rábová
Cyhoeddwyd: (2010-01-01)

Formalising the Continuous/Discrete Modeling Step
gan: Wen Su, et al.
Cyhoeddwyd: (2011-06-01)

Formalising Sensor Topologies for Target Counting
gan: Sven Linker, et al.
Cyhoeddwyd: (2018-02-01)

Characterization of <i>Arabidopsis thaliana</i> Coq9 in the CoQ Biosynthetic Pathway
gan: Mei Hu, et al.
Cyhoeddwyd: (2023-06-01)

Formalising attack trees to support economic analysis
gan: Simpson, A, et al.
Cyhoeddwyd: (2022)

Formalising the Pathways to Life Using Assembly Spaces
gan: Stuart M. Marshall, et al.
Cyhoeddwyd: (2022-06-01)

Deciding Kleene Algebras in Coq
gan: Thomas Braibant, et al.
Cyhoeddwyd: (2012-03-01)

CoQ10 and Aging
gan: Isabella Peixoto de Barcelos, et al.
Cyhoeddwyd: (2019-05-01)

PIDE for Asynchronous Interaction with Coq
gan: Carst Tankink
Cyhoeddwyd: (2014-10-01)

Human COQ9 Rescues a coq9 Yeast Mutant by Enhancing Coenzyme Q Biosynthesis from 4-Hydroxybenzoic Acid and Stabilizing the CoQ-Synthome
gan: Cuiwen H. He, et al.
Cyhoeddwyd: (2017-07-01)

Formalisation of partnering as a collaborative procurement method /
gan: 206061 Chang, Siaw Hui, et al.
Cyhoeddwyd: (2009)

Formalisations and applications of business process modelling notation
gan: Wong, P
Cyhoeddwyd: (2011)

Formalisations and Applications of Business Process Modelling Notation
gan: Wong, P
Cyhoeddwyd: (2008)

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

Formalising the pi-calculus using nominal logic
gan: Jesper Bengtson, et al.
Cyhoeddwyd: (2009-06-01)

Abstracting and formalising the design co-evolution model
gan: John S. Gero, et al.
Cyhoeddwyd: (2022-01-01)

THE FORMALISATION OF ISLAMIC ATTIRE IN PADANG, WEST SUMATRA
gan: Deny Hamdani
Cyhoeddwyd: (2009-06-01)