MacSphere: Browsing MacSphere

Browsing by Author Kahl, Wolfram

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 20

Publication Date	Title	Author(s)
7-May-2010	Adding Nested Headers and a Proper Gtk-Based GUI to The Haskell Table Tools	Sepehr, Sepandar
Jan-2009	An Algebraic Approach to Parameterised Loop Decomposition	Cao, Shiqi
13-Jan-2005	Assembly Language Representation and Graph Generation in a Pure Functional Programming Language	Everets, Kevin
24-Sep-2007	Detecting Non-Termination in Constraint Handling Rules	Rahimikia, Ershad
2021	Do-it-Yourself Module Systems	Al-hassy, Musa
Aug-2006	Explicitly Staged Software Pipelining	Thaller, Wolfgang
Dec-2008	A Graph Transformation and Visualization Framework	West, Scott
2008	GVariant: Efficient Partial Deserialisation	Lortie, Ryan
Sep-2008	Hard Real-Time Microcontroller Code Generation from Timed Automaton Specifications	Bandur, Victor
Sep-2005	Implementation of Pattern Matching Calculus Using Type-Indexed Expressions	Ji, Xiaoheng
Nov-2018	INTRODUCING ASPECTS INTO SOFTWARE ARCHITECTURES BY GRAPH TRANSFORMATION	Hossain, Md Nour
2018	A Machine-checked Categorial Formalisation of Term Graph Rewriting with Semantics Preservation	Zhao, Yuhang
Jun-2015	A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets	Al-hassy, Musa
2021	Parallel Windowed Method for Scalar Multiplication in Elliptic Curve Cryptography	Bouman, Tanya
Sep-2008	Proofs of Relational Semigroupoids in Isabelle/Isar	Han, Jinrong
2017	(Re-)Creating sharing in Agda's GHC backend	Perna, Natalie
2021	Type-Safe Modeling for Optimization	Thai, Nhan
Oct-2012	Type-Safety for Inverse Imaging Problems	Moghadas, Maryam
Sep-2007	Verification of Haskell Type Classes	Wang, Feng
Oct-2011	Verifying Permutation Rewritable Hazard Free Loops	Dobrogost, Michal

Showing results 1 to 20 of 20