RTMLton: An SML Runtime for Real-Time Systems

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PADL (22. : 2020 : New Orleans, La.) Practical aspects of declarative languages
1. Verfasser:	Shivkumar, Bhargav (VerfasserIn)
Weitere Verfasser:	Murphy, Jeffrey (VerfasserIn), Ziarek, Lukasz (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
On Repairing Web Services Workflows	2020	Nguyen, Thanh H.
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams	2020	Eriksson, Johannes
Variability-Aware Datalog	2020	Shahin, Ramy
Interactive Text Graph Mining with a Prolog-based Dialog Engine	2020	Tarau, Paul
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report	2020	Brik, Alex
RTMLton: An SML Runtime for Real-Time Systems	2020	Shivkumar, Bhargav
On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML	2020	Elsman, Martin
Whitebox Induction of Default Rules Using High-Utility Itemset Mining	2020	Shakerin, Farhad
A Timed IO Monad	2020	Janin, David
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming	2020	Chan, Sheung Chi
VRASP: A Virtual Reality Environment for Learning Answer Set Programming	2020	Nguyen, Vinh T.
AQuA: ASP-Based Visual Question Answering	2020	Basu, Kinjal
Explanations for Dynamic Programming	2020	Erwig, Martin
Exploiting Database Management Systems and Treewidth for Counting	2020	Fichte, Johannes K.