(ifip)
71Olivier Danvy — Known for Partial evaluation, continuations Olivier Danvy is a …
72Jean Ichbiah — Jean David Ichbiah (25 March 1940 ndash; 26 January, 2007) was a French born computer scientist and the chief designer (from 1977 ndash;1983) of Ada, a general purpose, strongly typed programming language with certified validated compilers. Ada… …
73Meta-Process Modeling — is a type of metamodeling used in software engineering and systems engineering for the analysis and construction of models applicable and useful some predefined problems. Meta process support the effort of creating flexible process models. The… …
74National University of Engineering — Universidad Nacional de Ingeniería Motto Scientia et labor Established 1876 …
75Carl Hewitt — Carl E. Hewitt is Associate Professor Emeritus in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology (MIT). [ [http://www.eecs.mit.edu/faculty/index.html EECS Department Faculty ] , MIT,… …
76Actor model theory — In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an… …
77Actor model and process calculi — In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See Actor model and process calculi history.There are many similarities between the two approaches,… …
78Henry Baker (computer scientist) — Henry G. Baker (fl. late 20th century) is a computer scientist who has made contributions in garbage collection, functional programming languages, and linear logic. He was also one of the founders of Symbolics. In 2006 he was recognized as a… …
79Unbounded nondeterminism — In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitration of contention for shared resources while… …
80Don Sannella — Donald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software… …
