Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Oostrom, A. v."'
Characterization of low-pressure chemical-vapor-deposited and thermally-grown silicon nitride films.
Publikováno v:
Journal of Applied Physics; Jan1982, Vol. 53 Issue 1, p404-415, 12p
Autor:
Klint, P., Storm, van der, T., Vinju, J.J., Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F., Vrijer, de, R.C.
Publikováno v:
Processes, Terms and Cycles: Steps on the Road to Infinity (Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday), 88-105
STARTPAGE=88;ENDPAGE=105;TITLE=Processes, Terms and Cycles: Steps on the Road to Infinity (Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday)
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
STARTPAGE=88;ENDPAGE=105;TITLE=Processes, Terms and Cycles: Steps on the Road to Infinity (Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday)
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transformation and theorem proving. AOP is a method for decomposing software, co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a9c579b6b04f39c096d1dfacba442d7
https://doi.org/10.1007/11601548_8
https://doi.org/10.1007/11601548_8
Publikováno v:
Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12), 240-255. Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
STARTPAGE=240;ENDPAGE=255;TITLE=Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12), pp. 240-255
Logic Group Preprint Series, 292. Utrecht University
23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012), 240-255
STARTPAGE=240;ENDPAGE=255;TITLE=23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)
STARTPAGE=240;ENDPAGE=255;TITLE=Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Tiwari, A. (ed.), 23rd International Conference on Rewriting Techniques and Applications (RTA'12), pp. 240-255
Logic Group Preprint Series, 292. Utrecht University
23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012), 240-255
STARTPAGE=240;ENDPAGE=255;TITLE=23rd International Conference on Rewriting Techniques and Applications (RTA'12, Nagoya, Japan, May 28-June 2, 2012)
We introduce a process, dubbed triangulation, turning any rewrite relation into a confluent one. It is more direct than usual completion, in the sense that objects connected by a peak are directly oriented rather than their normal forms. We investiga
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9118489b8e6d9fefd7864c24f87cd6e5
https://hdl.handle.net/2066/103857
https://hdl.handle.net/2066/103857
Publikováno v:
Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, 173-197
STARTPAGE=173;ENDPAGE=197;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
STARTPAGE=173;ENDPAGE=197;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
We propose two transformations on term rewrite systems (TRSs) based on reducing right-hand sides: one related to the transformation order and a variant of dummy elimination. Under mild conditions we prove that the transformed system is terminating if
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6ef4bc80883b858b13fb8cd987eb343
https://research.tue.nl/en/publications/d4484452-2a54-4493-a413-ed10eaca4b99
https://research.tue.nl/en/publications/d4484452-2a54-4493-a413-ed10eaca4b99
Autor:
Bergstra, J.A., Middelburg, C.A., Middelkoop, A., Oostrom, van, V., Raamsdonk, van, F., Vrijer, de, R.C.
Publikováno v:
Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, 445-495
STARTPAGE=445;ENDPAGE=495;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
STARTPAGE=445;ENDPAGE=495;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determinism, can be added to this theory through first-order definitional extens
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::099099355a186e8d1ed04ab65c690d15
https://research.tue.nl/en/publications/e6999801-1fd9-4669-bac9-9f401ad46053
https://research.tue.nl/en/publications/e6999801-1fd9-4669-bac9-9f401ad46053
Autor:
Baeten, J.C.M., Mousavi, M.R., Reniers, M.A., Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F., Vrijer, de, R.C.
Publikováno v:
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, 251-279
STARTPAGE=251;ENDPAGE=279;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, Terms and Cycles
Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, 251-279
STARTPAGE=251;ENDPAGE=279;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-)extensions of ACP with successful termination. Here, we point out some design d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20312aa1d7f7deae7daef7769d6c9b7f
https://doi.org/10.1007/11601548_15
https://doi.org/10.1007/11601548_15
Autor:
Aceto, L., Fokkink, W.J., Ingólfsdóttir, A., Luttik, B., Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F., Vrijer, de, R.C.
Publikováno v:
Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday, 338-367
STARTPAGE=338;ENDPAGE=367;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
STARTPAGE=338;ENDPAGE=367;TITLE=Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Processes, Terms and Cycles: Steps on the Road to Infinity ISBN: 9783540309116
Processes, Terms and Cycles
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these semantics in the setting of the basic process algebra BCCSP, and tried to give f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f08a5afbfdbdde16bc9766b190aa9290
https://doi.org/10.1007/11601548_18
https://doi.org/10.1007/11601548_18
Autor:
Zantema, H., Oostrom, van, V.
Publikováno v:
Rewriting Techniques and Applications ISBN: 9783540221531
RTA
Rewriting techniques and applications : proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, 95-104
STARTPAGE=95;ENDPAGE=104;TITLE=Rewriting techniques and applications : proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004
RTA
Rewriting techniques and applications : proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, 95-104
STARTPAGE=95;ENDPAGE=104;TITLE=Rewriting techniques and applications : proceedings 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004
The tool TORPA (Termination of Rewriting Proved Automatically) can be used to prove termination of string rewriting systems (SRSs) fully automatically. The underlying techniques include semantic labelling, polynomial interpretations, recursive path o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de9972d45ede283a976488547447c64a
https://doi.org/10.1007/978-3-540-25979-4_7
https://doi.org/10.1007/978-3-540-25979-4_7
Publikováno v:
Rewriting Techniques and Applications ISBN: 9783540221531
RTA
Rewriting Techniques and Applications (Proceedings 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004), 134-154
STARTPAGE=134;ENDPAGE=154;TITLE=Rewriting Techniques and Applications (Proceedings 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004)
RTA
Rewriting Techniques and Applications (Proceedings 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004), 134-154
STARTPAGE=134;ENDPAGE=154;TITLE=Rewriting Techniques and Applications (Proceedings 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004)
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ordinary mathematical practice, is given in [Fitch 1952]. We define precise
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3800a491e79566a72fa777cb7bb4fda7
https://doi.org/10.1007/978-3-540-25979-4_10
https://doi.org/10.1007/978-3-540-25979-4_10