abstraction   1950

« earlier    

(PDF) Evolving Algebras and Linear Time Hierarchy
The paper discusses evolving algebras and their linear time hierarchy. The first result is a universal ealgebra and the main result is the diagonalization theorem for ealgebras implying the linear time hierarchy theorem. Other machine models are also considered whose external function is the nullary function and one has to work harder to derive the diagonalization and linear time hierarchy theorems for these machines.
computer-science  rewriting-systems  formal-languages  to-understand  ReQ  programming-language  abstraction  lecture-notes 
7 days ago by Vaguery
[1808.06255] Evolving Algebras 1993: Lipari Guide
Computation models and specification methods seem to be worlds apart. The project on abstract state machines (in short ASMs, also known as evolving algebras) started as an attempt to bridge the gap by improving on Turing's thesis. We sought more versatile machines which would be able to step-for-step simulate arbitrary algorithms on their natural abstraction levels. The ASM thesis asserts that ASMs are such versatile machines. The guide provides the definitions of sequential, parallel and distributed ASMs.
formal-languages  computer-science  formal-logic  programming-language  abstraction  to-understand 
7 days ago by Vaguery

« earlier    

related tags

!  1950s  2011  2018  abstract  abstractexpressionism  abstractions  aclu  advice  aerial  ai  alphabet  america  animation  apis  app  application  arabspring  architecture  arithmetic  art  artem-kaznatcheev  artists  assemblage  assembler  atomic  awareness  axioms  baltimore  beauty  belief  beliefs  bem  bestpractices  bottom-up  bret-victor  brush  businessmodel  c++  c  california  camera  censorship  ceramics  cern  changing  cheng-lou  citymapper  clojure  cloudkit  code  collapseofcompassion  collective-behavior  color  commonknowledge  communication  comp-sci  comparison  compassion  complexity  compsci  computer-science  computer  computervision  concrete  conflict  construct  consumerism  container  containers  control-flow  crime  cs  css  cssmodules  culture  curation  dan_ramsden  dance  dao  data-structures  data  databases  dataviz  davidgilhooly  death  deception  deeplearning  defaults  democracy  design  designthinking  development  digital  discussion  disruptor  dot  drawing  drip  drone  dry  duplication  education  embedded  engine  engineering  equality  evidence  evolution  explainability  extraction  failure  fallacy  favorites  figure  file  filetype:pdf  foreignpolicy  form  formal-languages  formal-logic  fp  františek.kupka  fridayfrontend  functional  functions  funkart  future  game-theory  gan  generator  geopolitics  georgina.houghton  glamerous  glyph  go  golang  graphql  hackernews  halfbaked  haskell  hilma.af.klint  hilmaafklint  history  humanbasedcomputation  humanity  illustration  indirection  industry  informationarchitecture  inspiration  integer  invisible  iosdev  iran  isolation  iterator  jamalkhashoggi  java  journalism  julia  knowledge  landscape  language  leak  learning  lecture-notes  legacy  level  library  linux  lisp  literal  lmax  lmctfy  logic  london  machine-learning  magic  map  mark  market  marknottingham  math  mathematica  mathematics  meaningmaking  memory  message  messaging  meta  metaphor  middleeast  module  music  musicvideo  nature  network  neuralnets  notation  notifications  object-design  ontologies  operating-systems  paint  painting  paper  papers  paranormal  perception  performance  persistent  persistentsurveillencesystems  phd  philosophy-of-science  philosophy  physics  platform  podemo  pointer  police  popo  presentations  privacy  private  profiling  programming-language  programming  proofs  python  qualities  race  racket  rather-interesting  reality  reasoning  refactoring  reference  reification  req  research  review  rewriting-systems  rhetoric  robertarneson  ruby  rudolphsteiner  sandi-metz  sandimetz  saudiarabia  scale  schemas  science  selfreflection  shape  sharedlanguage  shotspotter  simplification  simulation  social-dynamics  social-networks  social  software-design  software-engineering  software  software_architecture  software_engineering  sources  sovietunion  stack  standards  stanford  statistic  strategy  study  summarization  surveillance  swdev  sweng  symbols  system  tachyons  tailwind  talk  teaching  teamwork  technology  tellman  territory  tfl  theorems  theory  tippingpoint  to-understand  to-write-about  top-down  toread  tragedy  transit  transport  tutorials  type-safety  type-systems  ucdavid  understandability  understanding  unitedstates  uvp  victor.hugo  videos  views  violence  vision  visualization  voting  war  watercolor  web-development  webdev  witness  wolfram  work  writing-systems  writing  writiny  wrong  yemen  zedshaw 

Copy this bookmark: