CS Structure

About CS Structure | Search | Help  

 

Search Result

Search result :

Title:

Author:

Philip Wadler

Year:

-

Key:

         

  • distributed system; shared memory; operating system; real-time system (167799) (76)
  •         linear logic; garbage collection; mobile agent; term rewriting (32549) (68)
  •                 garbage collection; type inference; standard ml; garbage collector (7350) (31)
  •                         standard ml; type system; closure conversion; higher-order module (2698) (18)
  •                         nested datatypes; warm fusion; polytypic function; program transformation (904) (8)
  •                         object-oriented language; type inference; constrained type; optimization java (1805) (3)
  •                         garbage collection; garbage collector; copying garbage; generational garbage (1584) (2)
  •                 linear logic; proof planning; type theory; proof nets (9635) (25)
  •                         linear logic; proof nets; categorial grammar; lambek calculus (2845) (22)
  •                         proof planning; many sorted; nuprl proof; theorem proving (1152) (2)
  •                         term rewriting; reverse engineering; process algebra; asf+sdf meta-environment (3823) (1)
  •                 mobile agent; information flow; mobile process; secure information (5216) (4)
  •                         mobile process; information flow; secure information; game semantics (1348) (4)
  •                 partial evaluation; binding-time analysis; program specialization; multi-stage programming (1720) (3)
  •                         multi-stage programming; partial evaluation; type-directed partial; binding-time analysis (542) (3)
  •                 algorithmic skeleton; parallel functional; edge detection; parallel programming (2941) (3)
  •                         algorithmic skeleton; parallel functional; edge detection; parallel programming (2941) (3)
  •                 declarative debugging; debugging lazy; lazy functional; algorithmic debugging (282) (2)
  •                         declarative debugging; debugging lazy; lazy functional; algorithmic debugging (282) (2)
  •         model checking; petri nets; hybrid system; timed automata (32864) (8)
  •                 stochastic petri; process algebra; stochastic process; petri nets (2039) (8)
  •                         stochastic petri; process algebra; petri nets; stochastic process (1576) (8)
  • neural network; genetic algorithm; finite element; mobile robot (222930) (5)
  •         logic program; description logic; object-oriented database; deductive database (27455) (4)
  •                 semistructured data; query language; object-oriented database; information source (5673) (2)
  •                         semistructured data; query language; xml data; semi-structured data (3062) (2)
  •                 logic program; logic programming; deductive database; nonmonotonic reasoning (7748) (1)
  •                         deductive object-oriented; deductive database; object-oriented database; database language (607) (1)
  •                 active database; view maintenance; database rule; data warehousing (2034) (1)
  •                         active database; database rule; production rule; skip list (733) (1)
  •         finite element; element method; differential equation; domain decomposition (86056) (1)
  •                 image retrieval; content-based image; image database; similarity search (6546) (1)
  •                         similarity search; sequence database; series database; index structure (4660) (1)