Zobrazeno 1 - 10
of 56
pro vyhledávání: '"David J. Pearce"'
Autor:
Tim P. Bean, Naomi Greenwood, Rachel Beckett, Lauren Biermann, John P. Bignell, Jan L. Brant, Gordon H. Copp, Michelle J. Devlin, Stephen Dye, Stephen W. Feist, Liam Fernand, Dean Foden, Kieran Hyder, Chris M. Jenkins, Jeroen van der Kooij, Silke Kröger, Sven Kupschus, Clare Leech, Kinson S. Leonard, Christopher P. Lynam, Brett P. Lyons, Thomas Maes, E. E. Manuel Nicolaus, Stephen J. Malcolm, Paul McIlwaine, Nathan D. Merchant, Lucille Paltriguera, David J. Pearce, Sophie G. Pitois, Paul D. Stebbing, Bryony Townhill, Suzanne Ware, Oliver Williams, David Righton
Publikováno v:
Frontiers in Marine Science, Vol 4 (2017)
Marine environmental monitoring is undertaken to provide evidence that environmental management targets are being met. Moreover, monitoring also provides context to marine science and over the last century has allowed development of a critical scient
Externí odkaz:
https://doaj.org/article/5ee892a4dd8e4a1397e4cfb23d67c8f8
Publikováno v:
Journal of Automated Reasoning. 66:747-803
The quest to develop increasingly sophisticated verification systems continues unabated. Tools such as Dafny, Spec#, ESC/Java, SPARK Ada and Whiley attempt to seamlessly integrate specification and verification into a programming language, in a simil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0c4447eba7410c7770acd3b3ffd92da
https://doi.org/10.1007/s10817-022-09619-1
https://doi.org/10.1007/s10817-022-09619-1
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e1d6d7d67f0378a52ff6fd58d660aac0
https://doi.org/10.1007/978-3-031-27481-7_32
https://doi.org/10.1007/978-3-031-27481-7_32
Autor:
David J. Pearce
Publikováno v:
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf90b2b9324ea384aa0086f732aaa172
https://doi.org/10.1145/3564719.3570917
https://doi.org/10.1145/3564719.3570917
Autor:
David J. Pearce
Publikováno v:
ACM Transactions on Programming Languages and Systems. 43:1-73
Rust is a relatively new programming language that has gained significant traction since its v1.0 release in 2015. Rust aims to be a systems language that competes with C/C++. A claimed advantage of Rust is a strong focus on memory safety without gar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5487ed55fe8164b640e17e5982016aeb
https://doi.org/10.1145/3443420
https://doi.org/10.1145/3443420
Autor:
David J. Pearce
Publikováno v:
Journal of Computer Languages. 50:84-101
Implementing the type system of a programming language is a critical task that is often done in an ad-hoc fashion. Whilst this makes it hard to ensure the system is sound, it also makes it difficult to extend as the language evolves. We are intereste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a6085ab4da1b22e8ef1bc69f4588b1b
https://doi.org/10.1016/j.jvlc.2018.10.004
https://doi.org/10.1016/j.jvlc.2018.10.004
Publikováno v:
Onward!
The long-standing aspiration for software reuse has made astonishing strides in the past few years. Many modern software development ecosystems now come with rich sets of publicly-available components contributed by the community. Downstream develope
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6829b1c03faadf4b5a39ee36e2b21536
https://doi.org/10.1145/3426428.3426922
https://doi.org/10.1145/3426428.3426922
Autor:
David J. Pearce, Ulrik Pagh Schultz
Publikováno v:
Pearce, D & Schultz, U P 2020, ' Editorial for GPCE &SLE2018 Special Issue ', Journal of Computer Languages, vol. 59, 100988 . https://doi.org/10.1016/j.cola.2020.100988
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::56a55b37131ebd1285dbb45750ccbbc5
https://portal.findresearcher.sdu.dk/da/publications/a5aebf89-77a1-4a14-a3b7-fbd366556009
https://portal.findresearcher.sdu.dk/da/publications/a5aebf89-77a1-4a14-a3b7-fbd366556009
Autor:
David J. Pearce
Publikováno v:
GPCE
Implementing the type system of a programming language is a critical task that is often done in an ad-hoc fashion. Whilst this makes it hard to ensure the system is sound, it also makes it difficult to extend as the language evolves. We are intereste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::436f0f72c893ef6a297b8cab4e7b2797
https://doi.org/10.1145/3170492.3136042
https://doi.org/10.1145/3170492.3136042
Autor:
Pauline M. Mele, Matthew D. Denton, John Brockwell, A. D. Swan, Mark B. Peoples, David J Pearce, Lori A. Phillips
Publikováno v:
Plant and Soil. 419:25-39
Liquid and granular rhizobial inoculants have some practical advantages for delivering rhizobial inoculants to legume crops in terms of ease-of-use and in separating rhizobia from potentially harmful seed-applied pesticides. The aim of this research
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::880aa04594cb94140e7412b93f93cfde
https://doi.org/10.1007/s11104-017-3317-7
https://doi.org/10.1007/s11104-017-3317-7