Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sestoft, Peter
109  Ergebnisse:
Personensuche X
?
1

The Genesis of Mix: Early Days of Self-Applicable Partial E..:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,
Sestoft, Peter ; Søndergaard, Harald - p. 1-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

On the cost semantics for spreadsheets with sheet-defined f..:

Bock, Alexander Asp ; Bøgholm, Thomas ; Sestoft, Peter..
Journal of Computer Languages.  69 (2022)  - p. 101103 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Co-designing DSL quality assurance measures for and with no..:

, In: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling,
Borum, Holger Stadel ; Seidl, Christoph ; Sestoft, Peter - p. 31-40 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

On the semantics for spreadsheets with sheet-defined functi..:

Bock, Alexander Asp ; Bøgholm, Thomas ; Sestoft, Peter..
Journal of Computer Languages.  57 (2020)  - p. 100960 , 2020
Link: https://doi.org/10.1016/..
 
?
5

Programming Language Specification and Implementation:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,
Sestoft, Peter - p. 162-183 , 2018
Link: https://doi.org/10.1007/..
 
?
6

Quad Ropes: immutable, declarative arrays with parallelizab..:

, In: Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming,
Biermann, Florian ; Sestoft, Peter - p. 1-8 , 2017
Link: https://dl.acm.org/doi/1..
 
?
7

2nd international workshop on software engineering methods ..:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 2,
Hermans, Felienne ; Paige, Richard F. ; Sestoft, Peter - p. 1005-1006 , 2015
Link: https://dl.acm.org/doi/1..
 
?
8

Pension reserve computations on GPUs:

, In: Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing,
Harrington, Christian ; Dahl, Nicolai ; Sestoft, Peter. - p. 3-10 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Organizing research data:

Sestoft, Peter
Acta Veterinaria Scandinavica.  53 (2011)  S1 - p. , 2011
Link: https://doi.org/10.1186/..
 
?
10

Modular verification of linked lists with views via separat..:

, In: Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs,
Jensen, Jonas Braband ; Birkedal, Lars ; Sestoft, Peter - p. 1-7 , 2010
Link: https://dl.acm.org/doi/1..
 
?
11

Programming language concepts for software developers:

Sestoft, Peter
ACM SIGPLAN Notices.  43 (2008)  11 - p. 119-123 , 2008
Link: https://doi.org/10.1145/..
 
?
12

Programming language concepts for software developers:

Sestoft, Peter
ACM SIGPLAN Notices.  43 (2008)  11 - p. 119-123 , 2008
Link: https://dl.acm.org/doi/1..
 
?
13

Implementing function spreadsheets:

, In: Proceedings of the 4th international workshop on End-user software engineering,
Sestoft, Peter - p. 91-94 , 2008
Link: https://dl.acm.org/doi/1..
 
?
14

Interfaces:

, In: Annotated C# Standard,
Jagger, Jon ; Perry, Nigel ; Sestoft, Peter - p. 571-595 , 2007
Link: https://doi.org/10.1016/..
 
?
15

Statements:

, In: Annotated C# Standard,
Jagger, Jon ; Perry, Nigel ; Sestoft, Peter - p. 368-413 , 2007
Link: https://doi.org/10.1016/..
 
1-15