Artigos com autorizações de acesso público - Sebastian ErdwegSaiba mais
Não disponível em nenhum local: 1
AUTOINC: Incrementality for Free
A Pacak, P Kumar, R Xu, S Erdweg
Companion Proceedings of the 2024 ACM SIGPLAN International Conference on …, 2024
Autorizações: European Commission
Disponíveis em algum local: 25
Toward Variability-Aware Testing
C Kästner, A von Rhein, S Erdweg, J Pusch, S Apel, T Rendel, ...
Feature-oriented Software Development (FOSD), 2012
Autorizações: German Research Foundation
A Sound and Optimal Incremental Build System with Dynamic Dependencies
S Erdweg, M Lichter, M Weiel
Object-oriented programming systems languages and applications (OOPSLA), 2015
Autorizações: European Commission
Incrementalizing lattice-based program analyses in Datalog
T Szabó, G Bergmann, S Erdweg, M Voelter
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
Autorizações: Magyar Tudományos Akadémia
Towards Secure Integration of Cryptographic Software
S Arzt, S Nadi, K Ali, E Bodden, S Erdweg, M Mezini
Symposium on New Ideas, New Paradigms, and Reflections on Programming …, 2015
Autorizações: German Research Foundation
i3QL: Language-Integrated Live Data Views
R Mitschke, S Erdweg, M Köhler, M Mezini, G Salvaneschi
Object-oriented programming systems languages and applications (OOPSLA), 2014
Autorizações: European Commission
Incremental Whole-Program Analysis in Datalog with Lattices
T Szabó, S Erdweg, G Bergmann
Programming Languages Design and Implementation (PLDI), 2021
Autorizações: Magyar Tudományos Akadémia
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking
S Erdweg, O Bracevac, E Kuci, M Krebs, M Mezini
Object-oriented programming systems languages and applications (OOPSLA), 2015
Autorizações: European Commission
Scalable incremental building with dynamic task dependencies
G Konat, S Erdweg, E Visser
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
Autorizações: Netherlands Organisation for Scientific Research
Versatile event correlation with algebraic effects
O Bračevac, N Amin, G Salvaneschi, S Erdweg, P Eugster, M Mezini
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018
Autorizações: German Research Foundation, European Commission
Compositional soundness proofs of abstract interpreters
S Keidel, CB Poulsen, S Erdweg
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-26, 2018
Autorizações: German Research Foundation
The IDE Portability Problem and its Solution in Monto
S Keidel, W Pfeiffer, S Erdweg
Software Language Engineering (SLE), 2016
Autorizações: German Research Foundation
Sound and reusable components for abstract interpretation
S Keidel, S Erdweg
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
Autorizações: German Research Foundation
Language-integrated privacy-aware distributed queries
G Salvaneschi, M Köhler, D Sokolowski, P Haller, S Erdweg, M Mezini
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
Autorizações: German Research Foundation, Federal Ministry of Education and Research, Germany
Exploration of Language Specifications by Compilation to First-Order Logic
S Grewe, S Erdweg, M Raulf, M Mezini
Principles and Practice of Declarative Programming (PPDP), 2016
Autorizações: European Commission
CPL: A core language for cloud computing
O Bračevac, S Erdweg, G Salvaneschi, M Mezini
Proceedings of the 15th International Conference on Modularity, 94-105, 2016
Autorizações: European Commission
Modular abstract definitional interpreters for webassembly
K Brandl, S Erdweg, S Keidel, N Hansen
37th European Conference on Object-Oriented Programming (ECOOP 2023), 5: 1-5: 28, 2023
Autorizações: German Research Foundation
Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages
LES Amorim, MJ Steindorfer, S Erdweg, E Visser
Proceedings of the 11th ACM SIGPLAN International Conference on Software …, 2018
Autorizações: Netherlands Organisation for Scientific Research
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
S Keidel, S Erdweg, T Hombücher
Proceedings of the ACM on Programming Languages 7 (ICFP), 955-981, 2023
Autorizações: German Research Foundation
Bootstrapping domain-specific meta-languages in language workbenches
G Konat, S Erdweg, E Visser
ACM SIGPLAN Notices 52 (3), 47-58, 2016
Autorizações: Netherlands Organisation for Scientific Research
As informações de publicação e financiamento são determinadas automaticamente por um programa informático.