Back to Results
First PageMeta Content
Computer science / Functional languages / Automata theory / Hume / Finite-state machine / State / Turing completeness / Computability / Programming language / Models of computation / Software engineering / Computing


Document Date: 2006-03-26 08:25:15

Open Document

File Size: 56,06 KB

Share Result on Facebook

City

Madrid / St Andrews / Edinburgh / Renesas M32 / /

Company

Symbian Ltd / HA SA / HP / /

Country

Scotland / Spain / /

Currency

cent / /

/

Facility

Heriot-Watt University / University of St Andrews / New Mexico Institute of Mining / /

IndustryTerm

correctness proving technology / process network / reactive systems / hardware/software / real-time embedded systems domain / hardware/software language / similar devices / stack-and-heap space costing technology / dynamic process network / control systems / cost modelling technology / software programs / classic reactive systems / mechanistic systems / real-time embedded systems / state-changing systems / /

OperatingSystem

Symbian / Linux / Symbian OS / RTLinux / /

Organization

School of Computer Science / kh@dcs.st-and.ac.uk School of Mathematics and Computer Science / University of St Andrews / Heriot-Watt University / New Mexico Institute of Mining and Technology / European Union / Institut f¨ur Informatik / /

Person

Robin Milner / Kevin Dixon / /

Position

supervisor / mine drainage controller / logger / representative / /

ProgrammingLanguage

Ada / Esterel / Fortran / Java / Java bytecode / C++ / /

ProvinceOrState

New Mexico / /

PublishedMedium

The Computer Journal / Lecture Notes in Computer Science / /

RadioStation

Watt / /

Technology

functional programming / cellular telephone / stack-and-heap space costing technology / Real-Time Operating System / Java / finite state machine / Linux / mobile phones / simulation / operating system / correctness proving technology / cost modelling technology / be constructed using the cost modelling technology / /

URL

http /

SocialTag