<--- Back to Details
First PageDocument Content
Lambda calculus / Programming paradigms / Physical quantities / Reactive programming / Combinatory logic / Functional reactive programming / Dataflow / Signal / Event / Software engineering / Computing / Evaluation strategy
Lambda calculus
Programming paradigms
Physical quantities
Reactive programming
Combinatory logic
Functional reactive programming
Dataflow
Signal
Event
Software engineering
Computing
Evaluation strategy

Add to Reading List

Source URL: lamp.epfl.ch

Download Document from Source Website

Share Document on Facebook

Similar Documents

Space & Event Services Alt/Tab dimensions 16m x 9m area 114.4m2 height 3m

DocID: 1xW0J - View Document

Mathematics / Arithmetic / Interval / Bracket / E1

nfer – A Notation and System for Inferring Event Stream Abstractions? Sean Kauffman1 , Klaus Havelund2 , and Rajeev Joshi2 1 2

DocID: 1xW07 - View Document

Druid Hills /  Georgia / Information and communications technology / Technology / Emory University / V-12 Navy College Training Program / Communication / Emergency / 9-1-1 / Mobile phone / 111

EMORY UNIVERSITY STAFF/FACULTY PREPAREDNESS OFFICE OF CRITICAL EVENT PREPAREDNESS & RESPONSE

DocID: 1xVYC - View Document

Software engineering / Computing / Programming language theory / Procedural programming languages / Programming languages / Logic in computer science / Runtime verification / Cross-platform software / Program slicing / Model checking / L-system / Trace

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

DocID: 1xVWh - View Document

Mechanics / Physics / Mechanical engineering / Rotation / Physical quantities / Angle / Angular frequency / Rotation around a fixed axis / Rigid body dynamics / Cosmic distance ladder / Omega

IEEE ROBOTICS AND AUTOMATION LETTERS. PREPRINT VERSION. ACCEPTED DECEMBER, Accurate Angular Velocity Estimation With an Event Camera

DocID: 1xVMW - View Document