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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Schäfer, M, Ekman, T, Moor, O
Andre forfattere:	Castagna, G
Format:	Conference item
Udgivet:	Springer 2009

Lignende værker

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

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

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

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

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

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

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

Sets in Coq, Coq in Sets
af: Bruno Barras
Udgivet: (2010-01-01)

Formalisations and applications of BPMN
af: Wong, P, et al.
Udgivet: (2011)

Entailment : the formalisation of inference
af: Copeland, BJ
Udgivet: (1978)

Formalisations and Applications of BPMN
af: Wong, P, et al.
Udgivet: (2011)

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

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

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

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

La formalisation du discours savant La formalisation du discours savant
af: Jean-Claude Gardin
Udgivet: (1999-11-01)

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

Organisation management tasks formalisation
af: A. V. Raychenko
Udgivet: (2022-07-01)

Formalisation as a judicial claim
af: Lorena Poblete
Udgivet: (2020-06-01)

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

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

Le coq médiéval
af: Michel Pastoureau
Udgivet: (2017-12-01)

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

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

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

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

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

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

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

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

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

PIDE for Asynchronous Interaction with Coq
af: Carst Tankink
Udgivet: (2014-10-01)

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

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

Formalisations and applications of business process modelling notation
af: Wong, P
Udgivet: (2011)

Formalisations and Applications of Business Process Modelling Notation
af: Wong, P
Udgivet: (2008)

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

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

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

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