Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Alexander Lochmann"'
Publikováno v:
Journal of Automated Reasoning. 67
The first-order theory of rewriting is decidable for linear variable-separated rewrite systems. We present a new decision procedure which is the basis of , a decision and synthesis tool for properties expressible in the theory. The decision procedure
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fab8b2bd030843ff194b96129d4cb51
https://doi.org/10.1007/s10817-023-09661-7
https://doi.org/10.1007/s10817-023-09661-7
Autor:
Christoph Borchert, Jochen Streicher, Alexander Lochmann, Olaf Spinczyk, Mojtaba Masoudinejad, Markus Buschhoff, Andres Gomez, Lars Suter, Simon Mayer
Publikováno v:
Fundamentals ISBN: 9783110785944
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3666e95a5e4657517ad70e914c545115
https://doi.org/10.1515/9783110785944-002
https://doi.org/10.1515/9783110785944-002
Publikováno v:
CPP
The first-order theory of rewriting is a decidable theory for finite left-linear right-ground rewrite systems, implemented in FORT. We present a formally verified variant of the decision procedure for the class of linear variable-separated rewrite sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2337c16fbffa8414f11c3c54e327a630
https://doi.org/10.1145/3437992.3439918
https://doi.org/10.1145/3437992.3439918
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)
TACAS (2)
The first-order theory of rewriting is a decidable theory for linear variable-separated rewrite systems. The decision procedure is based on tree automata techniques and recently we completed a formalization in the Isabelle proof assistant. In this pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8346661933c49977d77e4c2838634204
https://doi.org/10.1007/978-3-030-72013-1_7
https://doi.org/10.1007/978-3-030-72013-1_7
Autor:
Alexander Lochmann, Aart Middeldorp
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030452360
TACAS (2)
TACAS (2)
We present a formalized proof of the regularity of the infinity predicate on ground terms. This predicate plays an important role in the first-order theory of rewriting because it allows to express the termination property. The paper also contains a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7cafdccbae06e941b4cb18c9c38d5ab2
https://doi.org/10.1007/978-3-030-45237-7_11
https://doi.org/10.1007/978-3-030-45237-7_11
Publikováno v:
EuroSys
For fine-grained synchronization of application and kernel threads, the Linux kernel provides a multitude of different locking mechanisms that are being used on various individually locked data structures. Understanding which locks are required in wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a752833df6aac9fd008c5b76cb57bc01
https://doi.org/10.1145/3302424.3303948
https://doi.org/10.1145/3302424.3303948
Publikováno v:
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Term rewriting in the presence of associative and commutative function symbols constitutes a highly expressive model of computation, which is for example well suited to reason about parallel computations. However, it is well known that the standard n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04c4ab60d7562440b324c1302a78a563
https://doi.org/10.1145/3293880.3294099
https://doi.org/10.1145/3293880.3294099
Publikováno v:
ICPE Companion
The development of system software and hardware components for Android devices is strongly influenced by the necessity to save energy. However, there is no methodology that provides developers with reproducible and comparable benchmarks for testing t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5886306ae2511715041e21078ba2dce
https://doi.org/10.1145/3053600.3053615
https://doi.org/10.1145/3053600.3053615
Autor:
Karsten Mäder, Alexander Lochmann, Hagen Nitzsche, Thomas Groth, Gerd Hause, Hendrik Metz, Anke Bernstein
Publikováno v:
Tissue Engineering Part C: Methods. 15:513-521
Several publications have shown approaches for the optimization of tissue engineering constructs by magnetic resonance imaging (MRI). However, the technology is still scarcely used, probably because of the poor spatial resolution of clinical scanners
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ef9d7731e035e5a66f955935e1e4638
https://doi.org/10.1089/ten.tec.2008.0488
https://doi.org/10.1089/ten.tec.2008.0488