Essence' Description
Artificial Intelligence
2016-01-13 v1
Abstract
A description of the Essence' language as used by the tool Savile Row.
Cite
@article{arxiv.1601.02865,
title = {Essence' Description},
author = {Peter Nightingale and Andrea Rendl},
journal= {arXiv preprint arXiv:1601.02865},
year = {2016}
}
Related papers
View all related →
Artificial Intelligence · Computer Science
Savile Row Manual
Peter Nightingale
2024-07-31
Software Engineering · Computer Science
Towards a Systems Engineering Essence
Anatoly Levenchuk
2015-02-04
Artificial Intelligence · Computer Science
Towards Reformulating Essence Specifications for Robustness
Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson +3
2021-11-02
Software Engineering · Computer Science
Essencery - A Tool for Essentializing Software Engineering Practices
Arthur Evensen, Kai-Kristian Kemell, Xiaofeng Wang, Juhani Risku +1
2018-08-09
Formal Languages and Automata Theory · Computer Science
Generating Semantic Graph Corpora with Graph Expansion Grammar
Eric Andersson, Johanna Björklund, Frank Drewes, Anna Jonsson
2023-09-19
Logic · Mathematics
Toolbox
Karl Schlechta
2008-11-21
Computers and Society · Computer Science
RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure
Ştefan Minică
2015-07-15
Logic in Computer Science · Computer Science
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel +1
2022-05-13
Software Engineering · Computer Science
A Formal Method for Mapping Software Engineering Practices to Essence
Murat Pasa Uysal
2018-12-06
Hardware Architecture · Computer Science
Spade: An Expression-Based HDL With Pipelines
Frans Skarman, Oscar Gustafsson
2023-04-07
Discrete Mathematics · Computer Science
The complexity of tangent words
Thierry Monteil
2011-08-19
Logic in Computer Science · Computer Science
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
Serguei A. Mokhov, Joey Paquet
2009-05-08
Databases · Computer Science
Expressiveness within Sequence Datalog
Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche
2022-06-15
Programming Languages · Computer Science
The Formal Semantics of Rascal Light
Ahmad Salim Al-Sibahi
2018-02-07
Formal Languages and Automata Theory · Computer Science
Tensor Product Representations of Subregular Formal Languages
Jonathan Rawski
2019-08-23
Logic in Computer Science · Computer Science
Logic Column 10: Specifying Confidentiality
Riccardo Pucella
2007-05-23
Artificial Intelligence · Computer Science
Une exp\'{e}rience de s\'{e}mantique inf\'{e}rentielle
Farid Nouioua, Daniel Kayser
2007-05-23
Category Theory · Mathematics
A note on the slicing of fibrations
Ruggero Pagnan
2024-03-06
Programming Languages · Computer Science
Prolog for Verification, Analysis and Transformation Tools
Michael Leuschel
2020-08-10
Programming Languages · Computer Science
The While language
Cláudio Vasconcelos, António Ravara
2016-04-13
Artificial Intelligence · Computer Science
ESCELL: Emergent Symbolic Cellular Language
Aritra Chowdhury, James R. Kubricht, Anup Sood, Peter Tu +1
2020-07-21
Other Computer Science · Computer Science
Conjure Documentation, Release 2.3.0
Özgür Akgün, András Salamon
2019-10-09
Software Engineering · Computer Science
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case
Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos +2
2011-11-22
Programming Languages · Computer Science
GNU epsilon -- an extensible programming language
Luca Saiu
2023-09-27
Logic · Mathematics
Encodings of Turing machines in Linear Logic
James Clift, Daniel Murfet
2020-06-24