scholarly journals Finite Countermodel Based Verification for Program Transformation (A Case Study)

2015 ◽  
Vol 199 ◽  
pp. 15-32
Author(s):  
Alexei P. Lisitsa ◽  
Andrei P. Nemytykh
Keyword(s):  
Program Transformation

scholarly journals Cryptographic Protocol Verification via Supercompilation (A Case Study)

10.29007/gpsh ◽  
2018 ◽  
Author(s):  
Abdulbasit Ahmed ◽  
Alexei Lisitsa ◽  
Andrei Nemytykh
Keyword(s):  
Program Transformation ◽  
Cache Coherence ◽  
Protocol Verification ◽  
Cryptographic Protocol ◽  
Levels Of Abstraction ◽  
Transformation Techniques ◽  
Program Specialization ◽  
Coherence Protocols ◽  
Different Levels

It has been known for a while that program transformation techniques, in particular, program specialization, can be used to prove the properties of programs automatically. For example, if a program actually implements (in a given context of use) a constant function, sufficiently powerful and semantics preserving program transformation may reduce the program to a syntactically trivial ``constant'' program, pruning unreachable branches and proving thereby the property. Viability of such an approach to verification has been demonstrated in previous works where it was applied to the verification of parameterized cache coherence protocols and Petri Nets models.In this paper we further extend the method and present a case study on its appication to the verification of a cryptographic protocol. The protocol is modeled by functional programs at different levels of abstraction and verification via program specialization is done by using Turchin's supercompilation method.

Declarative Program Transformation: A Deforestation Case-Study

1999 ◽  
pp. 360-377 ◽  
Author(s):  
Loïc Correnson ◽  
Etienne Duris ◽  
Didier Parigot ◽  
Gilles Roussel
Keyword(s):  
Program Transformation

Case study: Re-engineering C++ component models via automatic program transformation

2007 ◽  
Vol 49 (3) ◽  
pp. 275-291 ◽  
Author(s):  
Robert L. Akers ◽  
Ira D. Baxter ◽  
Michael Mehlich ◽  
Brian J. Ellis ◽  
Kenn R. Luecke
Keyword(s):  
Program Transformation ◽  
Automatic Program ◽  
Component Models

A case study in program transformation

1976 ◽  
Vol 16 (3) ◽  
pp. 322-331
Author(s):  
Arne Wang
Keyword(s):  
Program Transformation

The Genesis and Internal Dynamics of El Salvador's People's Revolutionary Army, 1970–1976

2014 ◽  
Vol 38 (01) ◽  
pp. 102-129
Author(s):  
ALBERTO MARTÍN ÁLVAREZ ◽  
EUDALD CORTINA ORERO
Keyword(s):  
Latin America ◽  
El Salvador ◽  
Early Years ◽  
Left Wing ◽  
Internal Dynamics ◽  
Internal Coherence ◽  
The 1960S

AbstractUsing interviews with former militants and previously unpublished documents, this article traces the genesis and internal dynamics of the Ejército Revolucionario del Pueblo (People's Revolutionary Army, ERP) in El Salvador during the early years of its existence (1970–6). This period was marked by the inability of the ERP to maintain internal coherence or any consensus on revolutionary strategy, which led to a series of splits and internal fights over control of the organisation. The evidence marshalled in this case study sheds new light on the origins of the armed Salvadorean Left and thus contributes to a wider understanding of the processes of formation and internal dynamics of armed left-wing groups that emerged from the 1960s onwards in Latin America.

Culture and the plasticity of perception

2020 ◽  
Vol 43 ◽  
Author(s):  
Michael Lifshitz ◽  
T. M. Luhrmann
Keyword(s):  
Cultural Context ◽  
Sensory Experience ◽  
Cultural Learning ◽  
The World

Abstract Culture shapes our basic sensory experience of the world. This is particularly striking in the study of religion and psychosis, where we and others have shown that cultural context determines both the structure and content of hallucination-like events. The cultural shaping of hallucinations may provide a rich case-study for linking cultural learning with emerging prediction-based models of perception.

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Sign in / Sign up

Export Citation Format

Share Document