Baltasar Trancón y Widemann
Orcid: 0009-0005-6799-4155Affiliations:
- Technische Universität Ilmenau, Institute of Theoretical Computer Science, Germany
- University of Bayreuth, Bayreuth Center of Ecology and Environmental Research, Germany
According to our database1,
Baltasar Trancón y Widemann
authored at least 62 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Imagine There's No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming.
Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2024
Module Parametrization By Rewriting: Theory underlying our tutorial "D2d - valide aber lesbar".
Proceedings of the 54. Jahrestagung der Gesellschaft für Informatik, 2024
2023
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation.
Proceedings of the Eelco Visser Commemorative Symposium, 2023
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023
2021
Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021
2020
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming.
Proceedings of the Functional and Constraint Logic Programming, 2020
2019
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015).
CoRR, 2019
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation.
Proceedings of the Declarative Programming and Knowledge Management, 2019
2017
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley.
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
2016
Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking.
CoRR, 2016
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper].
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
2015
Theor. Comput. Sci., 2015
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, 2015
2014
Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
[Demo abstract] Sound and soundness: practical total functional data-flow programming.
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra.
Proceedings of the Coalgebraic Methods in Computer Science, 2014
2013
Characterising flow patterns in soils by feature extraction and multiple consensus clustering.
Ecol. Informatics, 2013
Proceedings of the Trends in Functional Programming - 14th International Symposium, 2013
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.
Proceedings of the Declarative Programming and Knowledge Management, 2013
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract).
Proceedings of the Theory and Practice of Model Transformations, 2013
Proceedings of the KEOD 2013, 2013
2012
CoRR, 2012
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper).
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012
Proceedings of the 3rd International Conference on Image Processing Theory Tools and Applications, 2012
Proceedings of the Theory and Practice of Model Transformations, 2012
The Recursion Scheme of the Trace Function Method.
Proceedings of the ENASE 2012, 2012
Proceedings of the 26th European Conference on Modelling and Simulation, 2012
Proceedings of the Cellular Automata, 2012
2011
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011
Proceedings of the Theory and Practice of Model Transformations, 2011
D2d - A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts.
Proceedings of the KEOD 2011, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Frontiers Comput. Sci. China, 2010
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010
2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008
A reference-counting garbage collection algorithmfor cyclical functional programming.
Proceedings of the 7th International Symposium on Memory Management, 2008
2007
Proceedings of the Implementation and Application of Functional Languages, 2007
Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007
2006
Softwaretechnik-Trends, 2006
2004
Proceedings of the Implementation and Application of Functional Languages, 2004
2003
Autom. Softw. Eng., 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
2002
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002
2001
Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends.
Proceedings of the Conceptual Modeling, 2001
1999
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999