( en | de | ru )

 

Disambiguation of "van Binsbergen, L. Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
Tool support for component-based semantics.

, , and . MODULARITY (Companion), page 8-11. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas L Gertzen

Thomas L Luippold

W L J van Vuuren

Thomas L Milani

Linda L Thomas

 

Other publications of authors with the same name

Executable component-based semantics., , and . J. Log. Algebraic Methods Program., (2019)A Language-Parametric Approach to Exploratory Programming Environments., , , , , , , and . SLE, page 175-188. ACM, (2022)eFLINT: a domain-specific language for executable norm specifications., , , and . GPCE, page 124-136. ACM, (2020)Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals., and . CoRR, (2023)Exploring the Enforcement of Private, Dynamic Policies on Medical Workflow Execution., , , and . e-Science, page 481-486. IEEE, (2022)iCoLa: A Compositional Meta-language with Support for Incremental Language Development., and . SLE, page 202-215. ACM, (2022)Adaptive Structural Operational Semantics., , , , , , and . SLE, page 29-42. ACM, (2023)A Generic Back-End for Exploratory Programming., and . TFP, volume 12834 of Lecture Notes in Computer Science, page 24-43. Springer, (2021)Derivation representation using binary subtree sets., , and . Sci. Comput. Program., (2019)Executable formal specification of programming languages with reusable components.. Royal Holloway, University of London, Egham, UK, (2019)British Library, EThOS.