Results 1 to 10 of about 86,663 (296)
A Few Considerations on Structural and Logical Composition in Specification Theories [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms.
Axel Legay, Andrzej Wąsowski
doaj +4 more sources
Combinatorial specification of permutation classes [PDF]
Discrete Mathematics & Theoretical Computer Science, 2012 This article presents a methodology that automatically derives a combinatorial specification for the permutation class $\mathcal{C} = Av(B)$, given its basis $B$ of excluded patterns and the set of simple permutations in $\mathcal{C}$, when these sets ...
Frédérique Bassino +4 more
doaj +11 more sources
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda [PDF]
Logical Methods in Computer Science, 2016 Valiant (1975) has developed an algorithm for recognition of context free languages. As of today, it remains the algorithm with the best asymptotic complexity for this purpose.
Jean-Philippe Bernardy, Patrik Jansson
doaj +4 more sources
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models.
Suzana Andova +2 more
doaj +4 more sources
Algebraic Specification of Web Services [PDF]
2010 10th International Conference on Quality Software, 2010 This paper presents an algebraic specification language for the formal specification of the semantics of web services. A set of rules for transforming WSDL into algebraic structures is proposed. Its practical usability is also demonstrated by an example.
Hong Zhu
exaly +3 more sources
Dynamic Programming on Nominal Graphs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Many optimization problems can be naturally represented as (hyper) graphs, where vertices correspond to variables and edges to tasks, whose cost depends on the values of the adjacent variables. Capitalizing on the structure of the graph, suitable dynamic
Nicklas Hoch +2 more
doaj +6 more sources
Rascal: From Algebraic Specification to Meta-Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on ...
Jeroen van den Bos +4 more
doaj +1 more source
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
On the specification of operations on the rational behaviour of systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic operations on final coalgebras, which are a domain for the behaviour of all ...
Jurriaan Rot +2 more
doaj +1 more source
Algebraic Operations on Spatiotemporal Data Based on RDF
ISPRS International Journal of Geo-Information, 2020 In the context of the Semantic Web, the Resource Description Framework (RDF), a language proposed by W3C, has been used for conceptual description, data modeling, and data querying. The algebraic approach has been proven to be an effective way to process
Lin Zhu, Nan Li, Luyi Bai
doaj +1 more source