ThesaHelp: topics f-m

topic root > Group: all topics

all topics
all references
all groups
map of the Thesa web site
topics a-e
topics f-m
topics n-r
topics s-z

all Thesa topics


Topics and groups from 'f' to 'm'

Notes up

Topic: fact-based analysis for database design
Topic: facts as relationships between entities
Topic: failure returning functions and expressions
Topic: families of programs
Topic: file
Topic: file cache
Topic: file directory
Topic: file input/output
Group: file system
Topic: file system reliability
Topic: finalization of data
Topic: fisheye views in the user interface
Topic: fixed logic language
Topic: flag computer
Topic: flavor analysis and typestates for supplementary type checking
Topic: flow diagrams and flow charts
Topic: for loop
Topic: force control in robots
Topic: foreach and for all statements
Group: formal grammar
Topic: formal methods and languages
Group: formalism
Topic: forms as a UserInterface
Topic: fractal geometry
Topic: frame problem
Topic: frozen representation
Topic: full-text indexing
Group: function
Topic: function application
Topic: function call
Topic: function cost
Topic: function definition
Topic: function library
Topic: function results
Topic: function signature
Topic: function syntax by pattern
Topic: function syntax definition
Topic: function vs. procedure
Topic: functional programming
Topic: functional side effects
Topic: fundamental concepts such as type, attributes, relationships are all the same
Topic: general purpose computer systems
Topic: general relativity
Topic: general vs. specific purpose systems
Topic: generalized repetition
Topic: generated variable
Topic: generic operations and polymorphism
Topic: geology
Topic: geometry
Topic: gestural interfaces and marker menus
Topic: global declarations and variables
Group: goals for a programming system
Topic: good requirement specifications
Topic: goto statement
Topic: government
Topic: grammar modification
Topic: graph coloring
Group: graphical user interface
Topic: graphics
Topic: graphs
Topic: graphs in process control
Topic: group names
Topic: handling complexity
Topic: hard real time systems
Topic: hardware for interprocess communication
Topic: hardware vs. software
Topic: hash filter
Topic: hash function
Topic: hash tables and applications
Topic: heap memory management
Topic: help in UserInterface
Topic: heterogeneous database
Topic: heuristic-based systems
Topic: hierarchical naming
Topic: hierarchical structures
Topic: hierarchical structures in hypertext
Topic: high priority processes
Topic: higher-order functions and combinators
Topic: histogram
Topic: history list in hypertext
Topic: history of computers
Topic: history of mathematics
Topic: history of programming
Topic: history of science
Topic: hypermedia
Group: hypertext
Topic: hypertext as a distributed system
Topic: hypertext as a global database
Topic: hypertext as external memory
Topic: hypertext as unstructured information
Topic: hypertext browser
Topic: hypertext links
Topic: hypertext nodes
Topic: hypertext nodes as facts
Topic: hypertext nodes made of names
Topic: hypertext rhetoric
Topic: hypertext subsets, webs, and contexts
Topic: hypothetical truth
Topic: icons for a user interface
Topic: identifying program modules
Topic: identifying the user interface with the system
Topic: if-then-else test chain
Topic: immediate computation
Topic: immutable files and data
Topic: implementation of hypertext databases
Topic: implementation of Thesa data objects
Topic: implementation of user interfaces
Topic: implementing distributed systems and applications
Topic: implicit links
Topic: import/export lists for defining an interface
Topic: importance of information hiding for requirement specification
Topic: importance of market share
Topic: in-line code
Topic: in-line machine code
Topic: incremental compilation
Topic: incremental development
Topic: incremental execution
Topic: incremental testing
Topic: indentation
Topic: index sequence for array access
Topic: infinite sequences
Topic: infinity and infinitesimal
Group: information
Topic: information as a hint
Topic: information as facts
Topic: information as knowledge
Topic: information filters
Topic: information hiding
Topic: information management
Topic: information retrieval by relevance
Topic: information retrieval by location
Topic: information retrieval with queries
Topic: information retrieval by following links
Topic: information retrieval with an index
Topic: information retrieval by cross reference
Topic: information retrieval by searching
Topic: information retrieval metrics
Topic: information retrieval by topic
Group: information retrieval
Topic: information services
Topic: inheritance by delegation
Topic: inheritance of properties
Topic: initialization of data
Topic: initialized constants
Topic: input or output parameters
Group: input/output
Topic: input/output by accessing a variable
Topic: integer values and operations
Topic: intelligent machines
Topic: interactive response time
Topic: interface between program modules
Topic: interface type
Topic: intermediate representation of code
Topic: interpreter
Topic: interprocess communication
Topic: interrupt handler
Topic: interrupting interpersonal communication
Topic: interrupts
Topic: intertextuality and hypertext
Topic: is a name a literal string or a symbol
Topic: iterator
Topic: just-in-time compilation
Topic: key distribution
Topic: keyboard design
Topic: keyboard macros
Topic: keystroke shortcuts as a UserInterface
Topic: keystroke-level model for user interface evaluation
Topic: kinds of numbers
Topic: kinds of relationships between data
Topic: knowledge as interrelated facts
Topic: knowledge representation
Topic: knowledge representation by frames
Topic: laboratory computers
Topic: ladder diagram
Topic: lambda calculus
Topic: language and life as a game
Topic: language extension via macros
Topic: language flexibility
Topic: lattice theory of types
Topic: law of nature
Topic: learning a programming language
Topic: legal issues
Topic: lexical analysis
Topic: light
Topic: limitations of artificial intelligence and cognitive science
Topic: limitations of formalism
Topic: limitations of hierarchical structures
Topic: limitations of robots
Topic: limitations of system security
Topic: linearization of hypertext
Topic: list processing
Topic: lists
Topic: literate programming
Topic: load-time code generation
Topic: local declaration of data
Topic: local vs. global
Topic: localized understanding
Topic: locating named objects by broadcast
Topic: lock-free concurrency
Topic: log-structured file system
Topic: log-structured rollback-recovery
Topic: logging data and events
Topic: logic
Topic: logic programming
Topic: loosely structured data
Topic: machine code and assembly language
Topic: machine independent programming
Group: machine model
Topic: macro syntax definition
Topic: macros
Topic: mail databases
Topic: man-machine symbiosis
Topic: management
Topic: management of software projects
Topic: managing a Thesa database
Topic: managing changes in hypertext
Topic: managing people
Topic: manual indexing
Topic: maps
Topic: maps and rings
Topic: marketing
Topic: marketing technical products and innovations
Topic: massively parallel processors
Topic: mathematical proof
Topic: mathematical proof as a social process
Group: mathematics
Topic: mathematics as a formal system
Topic: mathematics by proofs and refutations
Group: meaning and truth
Topic: meaning by language as a whole
Topic: meaning by social context
Topic: meaning by use
Topic: meaning of words
Topic: meaning vs. reference
Topic: meaning without reference
Topic: memory
Topic: memory cache
Topic: memory errors, testing, and diagnosis
Group: memory management
Topic: memory management by reference counting
Topic: memory management by paging
Topic: memory management by free list
Topic: memory management by buddy system
Topic: memory management by working sets
Topic: memory management by age
Topic: memory management by regions or memory pool
Topic: memory management by garbage collection
Topic: memory management for programs and modules
Topic: memory model
Topic: mental models, consistency, and interface metaphors
Topic: menus for a UserInterface
Topic: merging changes
Topic: message protocols
Topic: message queues for communication
Topic: metadata
Group: metaphysics
Topic: metaphysics of being and existence
Topic: metaphysics of causality
Topic: metaphysics of number and infinity
Topic: metaphysics of physics
Topic: metaphysics of universals and ideas
Topic: microcomputer development systems
Topic: microcomputer market
Topic: micropayment systems
Topic: military and war
Topic: minimal language systems
Topic: minimal manuals and guided exploration
Topic: mobile code
Topic: model checker
Topic: models of parallel computation
Topic: models of reality
Topic: modes in a user interface
Topic: monitored statements and events
Topic: monitored variable
Topic: motion planning for robots
Topic: mouse as the user interface
Topic: mouse buttons
Topic: multi-media and electronic mail
Topic: multi-processing for a user interface
Topic: multi-tasking
Topic: multi-user systems
Topic: multiple activities in a user interface
Topic: multiple for loop
Topic: multiple processors
Topic: multiple views for a user interface

Related up

Group: all references
ThesaHelp: all groups
ThesaHelp: map of the Thesa web site
ThesaHelp: topics a-e
ThesaHelp: topics f-m
ThesaHelp: topics n-r
ThesaHelp: topics s-z

Updated barberCB 3/06
Copyright © 2002-2023 by C.B. Barber
Thesa, Avev, and thid-... are trademarks of C.B. Barber