Zobrazeno 1 - 10
of 108
pro vyhledávání: '"Peter Sestoft"'
Autor:
Peter Sestoft
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 136-160 (2013)
We present a spreadsheet implementation, extended with sheet-defined functions, that allows users to define functions using only standard spreadsheet concepts such as cells, formulas and references, requiring no new syntax. This implements an idea pr
Externí odkaz:
https://doaj.org/article/644c84ef46874f61a2a010a65ffde92e
Standards, while being definitive, do not usually serve as the best reference to the use of a programming language. Books on languages usually are able to explain usage better, but lack the definitive precision of a standard. Annotated C# Standard co
Autor:
Peter Sestoft, Henrik I. Hansen
A concise reference to the C# programming language; one of the first books to cover C# version 2.0.C# is an object-oriented programming language that is similar to the Java programming language in many respects but more comprehensive and different in
Publikováno v:
Bock, A A, Bøgholm, T, Sestoft, P, Thomsen, B & Thomsen, L L 2022, ' On the cost semantics for spreadsheets with sheet-defined functions ', Journal of Computer Languages, vol. 69, 101103 . https://doi.org/10.1016/j.cola.2022.101103
We give a simple operational cost semantics for evaluation of spreadsheet formulas and for full and minimal recalculation. We also present a semantics which caters for computing with unknown data values. This may be used to give an approximation of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d84e3d87613340fe033fb5c53d60ba7c
https://pure.itu.dk/ws/files/92261161/1_s2.0_S2590118422000120_main.pdf
https://pure.itu.dk/ws/files/92261161/1_s2.0_S2590118422000120_main.pdf
Publikováno v:
Borum, H S, Seidl, C & Sestoft, P 2021, Co-designing DSL quality assurance measures for and with non-programming experts . in DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling . Association for Computing Machinery, pp. 31-40 . https://doi.org/10.1145/3486603.3486776
Domain-specific languages seek to provide domain guarantees that eliminate many errors allowed by general-purpose languages. Still, a domain-specific language requires additional quality assurance measures to ensure that specifications behave as inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3720a8d9c038ce32715fa9ebe3fc332
https://pure.itu.dk/ws/files/86333743/holger_splash_dsm21.pdf
https://pure.itu.dk/ws/files/86333743/holger_splash_dsm21.pdf
Publikováno v:
Borum, H S, Niss, H & Sestoft, P 2021, On Designing Applied DSLs for Non-programming Experts in Evolving Domains . in Proceedings of 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2021 . IEEE, pp. 227-238 . https://doi.org/10.1145/3486603.3486776
MODELS
MODELS
Domain-specific languages (DSLs) have emerged as a plausible way for non-programming experts to efficiently express their domain knowledge. Recent DSL research has taken a technical perspective on how and why to create DSLs, resulting in a wealth of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1e76491ada912a5a42764c7950b2f9e
https://pure.itu.dk/ws/files/86356098/main.pdf
https://pure.itu.dk/ws/files/86356098/main.pdf
Publikováno v:
Bock, A A, Bøgholm, T, Sestoft, P, Thomsen, B & Thomsen, L L 2020, ' On the Semantics for Spreadsheets with Sheet Defined Functions ', Journal of Computer Languages, vol. 57, 100960 . https://doi.org/10.1016/j.cola.2020.100960
Bock, A A, Bøgholm, T, Sestoft, P, Thomsen, B & Thomsen, L L 2020, ' On the semantics for spreadsheets with sheet-defined functions ', Journal of Computer Languages, vol. 57, 100960 . https://doi.org/10.1016/j.cola.2020.100960
Bock, A A, Bøgholm, T, Sestoft, P, Thomsen, B & Thomsen, L L 2020, ' On the semantics for spreadsheets with sheet-defined functions ', Journal of Computer Languages, vol. 57, 100960 . https://doi.org/10.1016/j.cola.2020.100960
We give an operational semantics for the evaluation of spreadsheets, including sheet-defined and built-in numeric functions in the Funcalc spreadsheet platform. The semantics allows for different implementations and we discuss sheet-defined functions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb624cbc903f81a358468738b9ad04b2
https://vbn.aau.dk/ws/files/386907252/1_s2.0_S2590118420300204_main.pdf
https://vbn.aau.dk/ws/files/386907252/1_s2.0_S2590118420300204_main.pdf
Autor:
Peter Sestoft
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling ISBN: 9783030034177
ISoLA (1)
ISoLA (1)
The specification of a programming language is a special case of the specification of software in general. This paper discusses the relation between semantics and implementation, or specification and program, using two very different languages for il
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43575da2e6b78da5508b080f4ed67f09
https://doi.org/10.1007/978-3-030-03418-4_11
https://doi.org/10.1007/978-3-030-03418-4_11
Autor:
Peter Sestoft
This book uses a functional programming language (F#) as a metalanguage to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, inter
Autor:
Florian Biermann, Peter Sestoft
Publikováno v:
ARRAY@PLDI
Biermann, F & Sestoft, P 2017, Quad Ropes: Immutable, Declarative Arrays with Parallelizable Operations . in Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming : ARRAY 2017 . Association for Computing Machinery, pp. 1-8 . https://doi.org/10.1145/3091966.3091971
Biermann, F & Sestoft, P 2017, Quad Ropes: Immutable, Declarative Arrays with Parallelizable Operations . in Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming : ARRAY 2017 . Association for Computing Machinery, pp. 1-8 . https://doi.org/10.1145/3091966.3091971
We describe the quad rope data structure, a representation of immutable two-dimensional arrays that avoids many of the performance pitfalls of plain C-style two-dimensional arrays. Our motivation is that, for end-user development in high-level declar