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

A Virtual Machine for Higher-Order Reactors:

, In: Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming,
Oeyen, Bjarno ; Nicolay, Jens ; De Meuter, Wolfgang - p. 52-56 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Brigadier: A Datalog-based IAST framework for Node.js Appli..:

, In: 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),
Scull Pupo, Angel Luis ; Nicolay, Jens ; Boix, Elisa Gonzalez - p. 509-521 , 2023
Link: https://doi.org/10.1109/..
 
?
3

VariMod : A Structured Approach to Variability in 3D Mod..:

, In: Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A,
Jacobs, Jef ; Nicolay, Jens ; De Meuter, Wolfgang - p. 160-169 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

FLOREnce: A Hybrid Logic-Functional Reactive Programming La..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,
Van Verre, Louise ; Avila, Humberto Rodriguez ; Nicolay, Jens. - p. 24-36 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

PrintTalk: a constraint-based imperative DSL for 3D printin:

, In: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling,
Jacobs, Jef ; Nicolay, Jens ; De Troyer, Christophe. - p. 11-20 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

A general method for rendering static analyses for diverse ..:

Stiévenart, Quentin ; Nicolay, Jens ; Meuter, Wolfgang De.
Journal of Systems and Software.  147 (2019)  - p. 17-45 , 2019
Link: https://doi.org/10.1016/..
 
?
7

Effect-Driven Flow Analysis:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Nicolay, Jens ; Stiévenart, Quentin ; De Meuter, Wolfgang. - p. 247-274 , 2019
Link: https://doi.org/10.1007/..
 
?
8

GUARDIA : specification and enforcement of javascript se..:

, In: Proceedings of the 15th International Conference on Managed Languages & Runtimes,
Pupo, Angel Luis Scull ; Nicolay, Jens ; Boix, Elisa Gonzalez - p. 1-15 , 2018
Link: https://dl.acm.org/doi/1..
 
?
9

Practical Information Flow Control for Web Applications:

, In: Runtime Verification; Lecture Notes in Computer Science,
Scull Pupo, Angel Luis ; Christophe, Laurent ; Nicolay, Jens.. - p. 372-388 , 2018
Link: https://doi.org/10.1007/..
 
?
10

First-class reactive programs for CPS:

, In: Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,
De Troyer, Christophe ; Nicolay, Jens ; De Meuter, Wolfgang - p. 21-26 , 2017
Link: https://dl.acm.org/doi/1..
 
?
11

Abstractions for Distributed Event-Driven Applications :..:

, In: Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming,
De Troyer, Christophe ; Nicolay, Jens ; De Meuter, Wolfgang. - p. 1-2 , 2017
Link: https://dl.acm.org/doi/1..
 
?
12

Implementing a performant scheme interpreter for the web in..:

Van Es, Noah ; Stievenart, Quentin ; Nicolay, Jens..
Computer Languages, Systems & Structures.  49 (2017)  - p. 62-81 , 2017
Link: https://doi.org/10.1016/..
 
?
13

Purity analysis for JavaScript through abstract interpretat..:

Nicolay, Jens ; Stiévenart, Quentin ; De Meuter, Wolfgang.
Journal of Software: Evolution and Process.  29 (2017)  12 - p. e1889 , 2017
Link: https://doi.org/10.1002/..
 
?
14

A performant scheme interpreter in asm.js:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Van Es, Noah ; Nicolay, Jens ; Stievenart, Quentin.. - p. 1944-1951 , 2016
Link: https://dl.acm.org/doi/1..
 
?
15

Building a modular static analysis framework in Scala (tool..:

, In: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala,
Stiévenart, Quentin ; Nicolay, Jens ; De Meuter, Wolfgang. - p. 105-109 , 2016
Link: https://dl.acm.org/doi/1..
 
1-15