Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	April 2018
Genre:	EDV / Informatik
	Architecture, Computer / Betriebssysteme / C / Compiler und Übersetzer / Compilers & interpreters / Compilers and Interpreters / Computer programming / computer science / Computer System Implementation / Expert systems / knowledge-based systems / Operating systems / Operating systems (Computers) / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering / Special Purpose and Application-Based Systems / Special purpose computers / Systemanalyse und -design / Systems analysis & design / Wissensbasierte Systeme, Expertensysteme mehr...
ISBN:	9783319897189
EAN-Code:	9783319897189
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#10788 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	256 gr
Seiten:	149
Illustration:	VII, 149 p. 48 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Memoized Flat Closures for CPS.- Maintaining Separation of Concerns Through Task-Oriented Software Development.- Typed Relational Conversion.- A Multi-tier Version of Elm and its Time-Traveling Debugger.- Concurrent System Programming with Effect Handlers.- Automatically Introducing Tail Recursion in CakeML.- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler. ¿