Baltasar Trancón-y-Widemann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 50 from 50

2023

Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode GenerationMarkus Lepper 0001, Baltasar Trancón-y-Widemann. BIRTHDAY 2023: [doi]

Towards a Theory of Conversion Relations for Prefixed Units of MeasureBaltasar Trancón-y-Widemann, Markus Lepper 0001. RelMiCS 2023: 258-273 [doi]

2021

LLJava live at the loop: a case for heteroiconic staged meta-programmingBaltasar Trancón-y-Widemann, Markus Lepper 0001. PPPJ 2021: 113-126 [doi]

2020

Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional ProgrammingBaltasar Trancón-y-Widemann, Markus Lepper. wflp 2021: 22-38 [doi]

2019

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial CompilationBaltasar Trancón-y-Widemann, Markus Lepper. inap 2020: 268-285 [doi]

2016

D2d - Kreatives Schreiben von XML-codierten TextenMarkus Lepper, Baltasar Trancón-y-Widemann. gi 2016: 1935-1940 [doi]

Higher-Order Causal Stream Functions in Sig from First PrinciplesBaltasar Trancón-y-Widemann, Markus Lepper. se 2016: 25-39 [doi]

LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]Baltasar Trancón-y-Widemann, Markus Lepper. PPPJ 2016: 17 [doi]

2015

Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015)Clemens Grelck, Baltasar Trancón-y-Widemann. se 2015: 121-122 [doi]

8. Arbeitstagung Programmiersprachen (ATPS 2015)Clemens Grelck, Baltasar Trancón-y-Widemann. se 2015: 269-270

A Simple and Efficient Step Towards Type-Correct XSLT TransformationsMarkus Lepper, Baltasar Trancón-y-Widemann. RTA 2015: 350-364 [doi]

On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with SigBaltasar Trancón-y-Widemann, Markus Lepper. PPPJ 2015: 37-50 [doi]

Algebraic-coalgebraic recursion theory of history-dependent dynamical system modelsBaltasar Trancón-y-Widemann, Michael Hauhs. TCS, 604:63-80, 2015. [doi]

The shepard tone and higher-order multi-rate synchronous data-flow programming in SigBaltasar Trancón-y-Widemann, Markus Lepper. ICFP 2015: 6-14 [doi]

Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research PaperBaltasar Trancón-y-Widemann, Markus Lepper. sfp 2016: 85-103 [doi]

2014

2013

Characterising flow patterns in soils by feature extraction and multiple consensus clusteringChristina Bogner, Baltasar Trancón-y-Widemann, Holger Lange. ecoi, 15:44-52, 2013. [doi]

Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract)Markus Lepper, Baltasar Trancón-y-Widemann. ICMT 2013: 54-55 [doi]

tScore: Makes Computers and Humans Talk About TimeMarkus Lepper, Baltasar Trancón-y-Widemann. ic3k 2013: 176-183 [doi]

Paisley: A Pattern Matching Library for Arbitrary Object ModelsBaltasar Trancón-y-Widemann, Markus Lepper. se 2013: 171-186

Total Functional Software Engineering - Overview PaperBaltasar Trancón-y-Widemann. sfp 2014: 1-16 [doi]

Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with PaisleyBaltasar Trancón-y-Widemann, Markus Lepper. inap 2014: 218-233 [doi]

2012

2011

Optimization of Visitor Performance by Reflection-Based AnalysisMarkus Lepper, Baltasar Trancón-y-Widemann. ICMT 2011: 15-30

Optimization of Visitor Performance by Reflection-Based AnalysisMarkus Lepper, Baltasar Trancón-y-Widemann. ICMT 2011: 15-30 [doi]

D2d - A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain ExpertsMarkus Lepper, Baltasar Trancón-y-Widemann. ic3k 2011: 449-456

Distributive-Law Semantics for Cellular Automata and Agent-Based ModelsBaltasar Trancón-y-Widemann, Michael Hauhs. calco 2011: 344-358 [doi]

2010

Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic MapMichael Hauhs, Baltasar Trancón-y-Widemann. ENTCS, 264(2):105-123, 2010. [doi]

Documenting and verifying systems assembled from componentsZhiying Liu, David Lorge Parnas, Baltasar Trancón-y-Widemann. fcsc, 4(2):151-161, 2010. [doi]

2008

Theoretical and Practical Challenges of Integrating Ecosystem DataMichael Hauhs, Baltasar Trancón-y-Widemann, Oliver Archner. otm 2008: 64 [doi]

A reference-counting garbage collection algorithmfor cyclical functional programmingBaltasar Trancón-y-Widemann. iwmm 2008: 71-80 [doi]

2007

An IDE for software development using tabular expressionsDennis K. Peters, Mark Lawford, Baltasar Trancón-y-Widemann. cascon 2007: 248-251 [doi]

Tabular Expressions and Total Functional ProgrammingBaltasar Trancón-y-Widemann, David Lorge Parnas. IFL 2008: 219-236 [doi]

Strikte Verfahren zyklischer BerechnungBaltasar Trancón-y-Widemann. PhD thesis, Berlin Institute of Technology, 2007. [doi]

2006

Strikte Zyklische Berechnungen: Von der Theorie zur PraxisBaltasar Trancón-y-Widemann. stt, 26(2), 2006. [doi]

2004

V->M: A Virtual Machine for Strict Evaluation of (Co)Recursive FunctionsBaltasar Trancón-y-Widemann. IFL 2005: 90-107 [doi]

2003

TUB-TCI An Architecture for Dynamic Deployment of Test ComponentsMarkus Lepper, Baltasar Trancón-y-Widemann, Jacob Wieland. pts 2003: 279-294 [doi]

Automatic Construction of XML-Based Tools Seen as Meta-ProgrammingBaltasar Trancón-y-Widemann, Markus Lepper, Jacob Wieland. ASE, 10(1):23-38, 2003.

2002

Stacking Cycles: Functional Transformation of Circular DataBaltasar Trancón-y-Widemann. IFL 2003: 150-164 [doi]

2001

Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling FrontendsMarkus Lepper, Baltasar Trancón-y-Widemann, Jacob Wieland. er 2001: 456-470 [doi]

1999

Reflections in Opal - Meta Information in a Functional Programming LanguageKlaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón-y-Widemann. IFL 2000: 149-164

Sign in or sign up to see more results.

runs on WebDSL