ThesaHelp: references g-h

topics > Group: all references

references a-b
references c-d
references e-f
references g-h
references i-l
references m-o
references p-r
references sa-sz
references t-z
QuoteRef: gageP2_1994 ;;Gage, A new algorithm for data compression,
QuoteRef: gahaN2_1979 ;;Gehani, A high level data structure--The grid
QuoteRef: galbJK_1976 ;;Galbraith, The affluent society
QuoteRef: galiG_1632 ;;Galilei, Dialogo Di Galileo Galilei Linceo, Massimi Sistemi Del Mondo Tolemaico, e Copernicano
QuoteRef: galiG_1638 ;;Galilei, Two New Sciences, including Centers of Gravity & Force of Percussion
QuoteRef: galkJT6_1980 ;;Galkowski, A critique of the DOD common language effort
QuoteRef: gallBA4_1967 ;;Galler, Perlis, A proposal for definitions in ALGOL
QuoteRef: gallBA_1970 ;;Galler, Perlis, A View of Programming Languages
QuoteRef: galiG_1610 ;;Galilei, Sidereus Nuncius
QuoteRef: gallJA9_1996 ;;Gallian, Error detection methods
QuoteRef: gammRC10_1974 ;;Gammill, Software Reliability: Philosophical underpinnings
QuoteRef: gammRC_1981 ;;Gammill, A tiny portable language-independent macroprocessor and some applications
QuoteRef: gammR_1982 ;;Gammill, Thorp, Distributed processing of problem-solving applications for farmers
QuoteRef: ganaM10_1981 ;;Ganapathi, Fischer, Bibliography on automated retargetable code generation
QuoteRef: gannJD8_1977 ;;Gannon, An experimental exaluation of data type conventions
QuoteRef: gannJD_1978 ;;Gannon, Characteristic errors in programming languages
QuoteRef: gantV8_1999 ;;Ganit, Gehrke, Ramakrishnan, Mining very large databases
QuoteRef: gargPK11_1987 ;;Garg, Scacchi, On designing intelligent hypertext systems for information management in software engineering
QuoteRef: gateB7_1987 ;;Gates, Beyond macro processing
QuoteRef: gaveWW4_1991 ;;Gaver, Smith, Effective sounds in complex systems: The ARKola simulation
QuoteRef: gayD3_2000 ;;Gay, Steensgaard, Fast escape analysis and stack allocation for object-based programs
QuoteRef: gearCW_1980 ;;Gear, Numerical Software: Science or Alchemy?
QuoteRef: gelbB12_2000 ;;Gelbord, Signing your 011001010 The problems of digital signatures
QuoteRef: geleD1_1985 ;;Gelernter, Generative communication in Linda
QuoteRef: geleD2_1992 ;;Galernter, Carriero, Coordination languages and their significance
QuoteRef: gellDP7_1974 ;;Geller, Weinberg, The principle of sufficient reason. A guide to language design for parallel processing
QuoteRef: gellM5_1978 ;;Geller, Test data as an aid in proving program correctness
QuoteRef: geneH_1984 ;;Geneen, with Moscow, Managing
QuoteRef: gentD8_1996 ;;Gentner, Nielson, The anti-Mac interface
QuoteRef: gentWM5_1981 ;;Gentleman, Message passing between sequential processes: the reply primitive and the administrator concept
QuoteRef: georJ12_1977 ;;Georges, Heymans, On parameteric array expressions
QuoteRef: gescCC1_1983 ;;Geschke, A system for programming and controlling sensor-based robot manipulators
QuoteRef: gescCM6_1975 ;;Geschke, Mitchell, On the problem of uniform reference to data structures
QuoteRef: gescCM8_1977 ;;Geschke, Morris, Sutterthwaite, Early experience with Mesa
QuoteRef: ghemS6_2000 ;;Ghemawat, Randall, Scales, Field analysis: getting useful and low-cost interprocedural information
QuoteRef: ghiyR1_1998 ;;Ghiya, Hendren, Putting pointer analysis to work
QuoteRef: gibsVR3_1989 ;;Gibson, Senn, System structure and software maintenance performance
QuoteRef: giffDK12_1985 ;;Gifford, Baldwin, Berlin, Lucassen, An architecture for large scale information systems
QuoteRef: giffDK3_1988 ;;Gifford, Needham, Schroeder, The Cedar file system
QuoteRef: giffDK4_1982 ;;Gifford, Cryptographic sealing for information secrecy and authentication
QuoteRef: giffDK5_1985 ;;Gifford, Lucassen, Berlin, The application of digital broadcast communication to large scale information systems
QuoteRef: giffDK7_1985 ;;Gifford, Rashid, Spector, Distributed Systems
QuoteRef: giffDK_1979 ;;Gifford, Weighted voting for replicated data
QuoteRef: gilbH9_1998 ;;Gilbert, Techniques for low cost authentication and message authentication
QuoteRef: gilbT_1977 ;;Gilb, Software Metrics
QuoteRef: gilbW_1600 ;;Gilbert, On the loadstone and magnetic bodies and on the great magnet the Earth
QuoteRef: gilmDJ9_1987 ;;Gilmore, Green, Are 'programming plans' psychologically real--outside Pascal?
QuoteRef: giloCF10_1991 ;;Giloth, Audience Participation: A large-scale group interaction experiment
QuoteRef: gimpJ3_1989 ;;Gimpel, Gimpel, Competing with Giants: Opportunities for success
QuoteRef: gimpJF6_1972 ;;Gimpel, Blocks--A new datatype for Snobol 4
QuoteRef: giniGC4_1985 ;;Gini, Gini, Dealing with world-model-based programs
QuoteRef: giraM4_1991 ;;Girault, Self-certified public keys
QuoteRef: gladHM5_2001 ;;Gladney, Cantu, Authorization management for digital libraries
QuoteRef: glasRL3_1981 ;;Glass, Persistent software errors
QuoteRef: glasRL9_1997 ;;Glass, Cobol--A contradiction and an enigma
QuoteRef: glasS12_1995 ;;Glassman, Manasse, Abadi, Gautheier, Sobalvarro, The millicent protocol for inexpensive electronic commerce
QuoteRef: gligVD11_1979 ;;Gligor, Lindsay, Object migration and authentication
QuoteRef: glusRJ5_1989 ;;Glushko, Transforming text into hypertext for a compact disc encyclopedia
QuoteRef: godeK_1931 ;;Godel, On formally undecidable propositions of Principia mathematica and related systems I
QuoteRef: godeP1_1997 ;;Godefroid, Model checking for programming languages using VeriSoft
QuoteRef: goldA10_1995 ;;Goldberg, Why Smalltalk?
QuoteRef: goldA3_1976 ;;Smalltalk-72 Instructional Manual
QuoteRef: goldA_1986 ;;Goldberg, Programmer as reader
QuoteRef: goldCF6_1981 ;;Goldfarb, A generalized approach to document markup
QuoteRef: goldD3_1991 ;;Goldberg, What every computer scientist should know about floating-point arithmetic
QuoteRef: goldD4_1993 ;;Goldberg, Richardson, Touch-typing with a stylus
QuoteRef: goldD6_1992 ;;Goldberg, The design of floating-point data types
QuoteRef: goldEP8_1982 ;;Goldenberg, Logo- a cultural glossary
QuoteRef: goldHH_1948 ;;Goldstine, von Neumann, Planning and coding of problems for an electronic computing instrument, Report on the mathematical and logical aspects of a electronic computing instrument
QuoteRef: goldO10_1986 ;;Goldreich, Goldwasser, Micali, How to construct random functions
QuoteRef: goldO11_2001 ;;Golman, What are checked exceptions?
QuoteRef: goldR_1985 ;;Goldman, Design of an interactive Manipulator Programming Environment
QuoteRef: goldY11_1992 ;;Goldberg, Safran, Shapiro, Active Mail--a framework for implementing groupware
QuoteRef: gomaH11_1982 ;;Gomaa, Martello, A partially automated method for testing interactive systems
QuoteRef: gonnGH7_1981 ;;Gonnet, Coding Benchmark for Utopia84
QuoteRef: goodDI_1974 ;;Good, Provable programs and processors
QuoteRef: goodFL_1981 ;;Goodman, Computers and the future of literacy
QuoteRef: goodJB12_1975 ;;Goodenough, Exception handling: issues and a proposed notation
QuoteRef: goodJB2_1976 ;;Goodenough, Shafer, A study of high level language features
QuoteRef: goodJB8_1976 ;;Goodenough, An exploratory study of reasons for HOL object code inefficiency entries
QuoteRef: goodJB_1968 ;;Goodenough, The comparison of programming languages: a linguistic approach
QuoteRef: goodJB_1977 ;;Goodenough, Gerhart, Toward a theory of testing: Data selection criteria
QuoteRef: goodM6_1981 ;;Good, Etude and the folklore of user interface design
QuoteRef: goodMD10_1984 ;;Good, Whiteside, Wixon, Jones, Building a user-derived interface
QuoteRef: gopaRD7_2001 ;;Gopal, Ramesh, Zionts, Criss-cross hash joins: design and analysis
QuoteRef: gordRD3_1979 ;;Gordon, Measuring improvements in program clarity
QuoteRef: gordRM3_1990 ;;Gordon, letter to the editor
QuoteRef: goslJ6_1997 ;;Gosling, The feel of Java
QuoteRef: gottA4_1983 ;;Gottlieb, Lubachevsky, Rudolph, Basic techniques for the efficient coordination of very large numbers of cooperating sequential processors
QuoteRef: goudMG5_1998 ;;Gouda, Accelerated heartbeat protocols
QuoteRef: goulJD3_1985 ;;Gould, Lewis, Designing for usability: Key principles and what designers think
QuoteRef: goulJD4_1987 ;;Gould, et al. Why reading was slower from CRT displays than from paper
QuoteRef: goulJD8_1987 ;;Gould, Boies, Levy, Richards, Schoonard, The 1984 olympic message system: A test of behavioral principles of system design
QuoteRef: goulJD9_1973 ;;Gould, Some psychological evidence on how people debug computer programs
QuoteRef: grahRM2_1973 ;;Graham, Clancy, DeVancy, A software design and evaluation system
QuoteRef: gramFT7_1978 ;;Grampp, Letter to the editor
QuoteRef: granCA12_1971 ;;Grant, Syntax translation with context macros, or macros without arguments
QuoteRef: granRL_1970 ;;Granger, Robinson, COMSL- a communication system simulation language
QuoteRef: grayDN5_1998 ;;Gray, Hotchkiss, LaForge, Shalit, Weinberg, Modern languages and Microsoft's component object model
QuoteRef: grayJC_1973 ;;Gray, Tomlinson, The L* data language
QuoteRef: grayJN6_1986 ;;Gray, An approach to decentralized computer systems
QuoteRef: graySH2_1989 ;;Gray, Shasha, To link or not to link? Empirical guidance for the design of nonlinear text systems
QuoteRef: greeR9_1995 ;;Green, Topical relevance relationships, I. Why topic matching fails
QuoteRef: greeTJ_1979 ;;Greer, Writing and understanding U. S. Patent claims
QuoteRef: greeTR_1980 ;;Green, Programming as a cognitive activity
QuoteRef: gremLL9_1982 ;;Gremillion, Designing a Bloom filter for differential file access
QuoteRef: grieD7_1990 ;;Gries, letter to the editor
QuoteRef: grieD_1971 ;;Gries, Compiler construction for digital computers
QuoteRef: grieD_1979 ;;Gries, Current ideas in programming methodology
QuoteRef: grieD_1981 ;;Gries, The Science of Programming
QuoteRef: grifG7_1987 ;;Grifiths, Stones, The tea-leaf reader algorithm: An efficient implementation of CRC-16 and CRC-32
QuoteRef: grigPF3_1972 ;;Griggith P.F. Henry, An investigatory study into human problem solving capabilities as they relate to program efficiency
QuoteRef: grimJD5_1982 ;;Grimes, presentation
QuoteRef: grimR2_2001 ;;Grimm, Bershad, Separating access control policy, enforcement, and functionality in extensible systems
QuoteRef: grisRE4_1979 ;;Griswold, Hanson, Korb, The Icon programming language: An overview
QuoteRef: grisRE4_1980 ;;Griswold, Hanson, An alternative to the use of patterns in string processing
QuoteRef: grisRE_1972 ;;Griswold, The Macro Implementation of SNOBOL4
QuoteRef: grocJM_1982 ;;Grochow, Application generators: an introduction
QuoteRef: grosAD4_1991 ;;Gross, Getty synoname: the development of software for personal name pattern matching
QuoteRef: grosR5_2000 ;;Grossi, Vitter, Compressed suffix arrays and suffix trees with applications to text indexing and string matching
QuoteRef: grovLJ11_1982 ;;Groves, Using simple English sentences to call procedures
QuoteRef: grudJ12_2002 ;;Grudin, Group dynamics and ubiquitous computing
QuoteRef: grudJ9_1988 ;;Grudin, Why CSCW applications fail: Problems in the design and evaluation of organizational interfaces
QuoteRef: grunL10_1981 ;;Grune, From VW-grammar to ALEPH
QuoteRef: gudeE9_1980 ;;Gudes, The design of a cryptography based secure file system
QuoteRef: gullWE2_1979 ;;Gull, Jenkins, Recursive data structures in APL
QuoteRef: gunnIE7_1979 ;;Gunn, Morrison, On the implementation of constants
QuoteRef: guptR3_1993 ;;Gupta, Optimizing array bound checks using flow analysis
QuoteRef: guptR3_1994 ;;Gupta, Smolk, Bhaskar, On randomization in sequential and distributed algorithms
QuoteRef: gursAF4_1974 ;;Gurski, Towards a high-level job control language
QuoteRef: gutkJ9_1985 ;;Gutknecht, Concepts of the text editor Lara
QuoteRef: gutmP1_1998 ;;Gutmann, Software generation of practically strong random numbers
QuoteRef: gutmP7_1996 ;;Gutmann, Secure deletion of data from magnetic and solid-state memory
QuoteRef: gutmP8_2002 ;;Gutmann, PKI: It's not dead, just resting
QuoteRef: guttJV12_1974 ;;Guttag, Dyadic specification and its impact on reliability; in
QuoteRef: guttJV9_1985 ;;Guttag, Horning, Wing, The Larch family of specification languages
QuoteRef: habeAN6_1975 ;;Habermann, Path expressions
QuoteRef: habeRN5_1970 ;;Haber, How we remember what we see
QuoteRef: hagmR_1987 ;;Hagmann, Reimplementing the Cedar File system using logging and group commit
QuoteRef: hainDP3_1997 ;;Haine, Claris Organizer's expanding contact card
QuoteRef: halaF2_1994 ;;Halasz, Schwartz, The Dexter Reference Model
QuoteRef: halaFG4_1987 ;;Halasz, Moran, Trigg, NoteCards in a nutshell
QuoteRef: halaFG7_1988 ;;Halasz, Reflections on Notecards: Seven issues for the next generation of hypermedia systems
QuoteRef: haleS8_1999 ;;Halevi, Krawczyk, Public-key cryptography and password protocols
QuoteRef: haliU7_1991 ;;Halici, Dogac, An optimistic locking technique for concurrency control in distributed databases
QuoteRef: hallA9_1990 ;;Hall, Seven myths of formal methods
QuoteRef: hallDE9_1980 ;;Hall, Scherrer, Sventek, A virtual operating system
QuoteRef: hallH_1992 ;;Hall, Phenomenology
QuoteRef: hallJC5_1974 ;;Hallyburton, Advanced data structure manipulation facilities for the SNOBOL 4 programming language
QuoteRef: hallPA12_1980 ;;Hall, Dowlink, Approximate string matching
QuoteRef: hallW1_1994 ;;Hall, Ending the tyranny of the button
QuoteRef: hallWE5_1986 ;;Hall, Zweben, The Cloze procedure and software comprehensibility measurement
QuoteRef: halpMI1_1968 ;;Halpern, Toward a general processor for programming languages
QuoteRef: halpMI_1966 ;;Halpern, Foundations of the case for natural language programming
QuoteRef: halsMH_1975 ;;Halstead, Toward a theoretical basis for estimating programming effort
QuoteRef: hamePG9_1982 ;;Hamer, Frewin, M.H. Halstead's software science -- A critical examination
QuoteRef: hamiJ2_2003 ;;Hamilton, Language interpretation in the Common Language Runtime
QuoteRef: hamiM3_1976 ;;Hamilton, Zeldin, Higher order software--A methodology for defining software
QuoteRef: hamiM_1978 ;;Hamilton, Zeldin, Reliability in terms of predictability
QuoteRef: hamlD12_1990 ;;Hamlet, Partition testing does not inspire confidence
QuoteRef: hammL9_1997 ;;Hammond, Nayfeh, Olukotun, A single-chip multiprocessor
QuoteRef: hanaS8_1980 ;;Hanata, Satoh, COMPACT CHART -- A program logic notation with high describability and understandability
QuoteRef: handP_1981 ;;Handlykken, Nygaard, The DELTA system description language: Motivation, main concepts and experience from use
QuoteRef: haneFM_1972 ;;Haney, Module connection analysis-- a tool for scheduling software debugging activities
QuoteRef: hanfKV_1973 ;;Hanford, Jones, Dynamic syntax: A concept of the definition of the syntax of programming languages
QuoteRef: hansDR11_1979 ;;Hanson, A simple technique for controlled communication among separately compiled modules
QuoteRef: hansDR1_1990 ;;Hanson, Fast allocation and deallocation of memory based on object lifetimes
QuoteRef: hansDR3_1978 ;;Hanson, Event associations in Snobol4 for program debugging
QuoteRef: hansDR3_1978a ;;Hanson, Data structures in SL5
QuoteRef: hansDR5_1978 ;;Hanson, The SL5 procedure mechanism
QuoteRef: hansDR5_1978a ;;Hanson, Filters in SL5
QuoteRef: hansDR6_2001 ;;Hanson, Proebsting, Dynamic variables
QuoteRef: hansDR8_1999 ;;Hanson, A machine-independent debugger--revisited
QuoteRef: hansPB6_1994 ;;Hansen, Multiple-length division revisited: a tour of the minefield
QuoteRef: hansR_1987 ;;Hanson, Toward hypertext publishing. Issues and choices in database design
QuoteRef: hansWJ10_1992 ;;Hansen, Subsequence references: First-class values for substrings
QuoteRef: hansWJ9_1988 ;;Hansen, Haas, Reading and writing with computers: A framework for explaining differences in performance
QuoteRef: harbS2_1991 ;;Haber, Stornetta How to time-stamp a digital document
QuoteRef: harbSP3_1982 ;;Harbison, An architectural alternative to optimizing compilers
QuoteRef: hareD1_1992 ;;Harel, Biting the silver bullet. Toward a brighter future for system development
QuoteRef: hareD5_1988 ;;Harel, On visual formalisms
QuoteRef: harmDE5_1991 ;;Harms, Weide, Copying and swapping: Influences on the design of reusable software components
QuoteRef: harrJ10_1998 ;;Harris, Sarkar, Lightweight object-oriented shared variables for distributed applications on the Internet
QuoteRef: hartPE6_2003 ;;Hart, Liu, Trust in the preservation of digital information
QuoteRef: hartPH12_2001 ;;Hartel, Moreau, Formalizing the safety of Java, the Java virtual Machine, and Java Card
QuoteRef: hartSP10_1993 ;;Harter, Nisonger, Weng, Semantic relationships between cited and citing articles in library and information science journals
QuoteRef: harvW10_1997 ;;Harvey, Stuckey, Borning, Compiling constraint solving using projection
QuoteRef: haskJA8_1984 ;;Haskett, Pass-algorithms: A user validation scheme based on knowledge of secret algorithms
QuoteRef: hattL10_1994 ;;Hatton, Roberts, How accurate is scientific software?
QuoteRef: hattL11_1997 ;;Hatton, N-version design versus one good version
QuoteRef: hattL3_1997 ;;Hatton, Reexamining the fault density--component size connection
QuoteRef: hattL5_1998 ;;Hatton, Does OO sync with how we think?
QuoteRef: hausHL3_1981 ;;Hausen, Mullerburg, Conspectus of software engineering environments
QuoteRef: hausRC11_1994 ;;Hauser, Does licensing require new access control techniques?
QuoteRef: hauzBM10_1986 ;;Hauzeur, A model for naming, addressing, and routing
QuoteRef: hawtPB1_1982 ;;Hawthorn, DeWitt, Performance analysis of alternative database machine architectures
QuoteRef: hayePJ_1982 ;;Hayes, Uniform help facilities for a cooperative user interface
QuoteRef: heckP4_1978 ;;Heckel, A technique for isolating differences between files
QuoteRef: heckP8_1982 ;;Heckel, Communication is the key
QuoteRef: heckP_1984 ;;Heckel, The Elements of Friendly Software Design
QuoteRef: heddA10_1989 ;;Heddaya, Hsu, Weihl, Two phase gossip: managing distributed event histories
QuoteRef: heerJ4_1985 ;;Heering, Klint, Towards monolingual programming environments
QuoteRef: hehnEC2_1984 ;;Hehner, Predicative Programming Part 1
QuoteRef: hehnEC3_1978 ;;Hehner, On removing the machine for the language
QuoteRef: hehnEC3_1983 ;;Hehner, Silverberg, Programming with grammars: an exercise in methodology-directed language design
QuoteRef: hehnEC4_1979 ;;Hehner, ??do?? considered ??od??: A contribution to the programming calculus
QuoteRef: hehnEC7_1975 ;;Hehner, Merlin: Towards an ideal programming language
QuoteRef: hehnEC_1977 ;;Hehner, Structuring
QuoteRef: hehnEC_1977a ;;Hehner, A simple view of variables and parameters
QuoteRef: heinDL6_2003 ;;Heine, Lam, A practical flow-sensitive and context-sensitive C and C++ memory leak detector
QuoteRef: heinN6_2001 ;;Heintze, Tardieu, Ultra-fast aliasing analysis using CLA: A million lines of C code in a second
QuoteRef: heinP_1972 ;;Hein, Grooks 4
QuoteRef: hekmS9_1986 ;;Hekmatpour, Ince, Forms as a language facility
QuoteRef: hemmD3_1988 ;;Hemmendinger, Unfair process scheduling in Modula-2
QuoteRef: hempCG_1951 ;;Hempel, Empiricist criteria of cognitive significance: problems and changes
QuoteRef: hendDA7_1986 ;;Henderson, Card, Rooms: The use of multiple virtual workspaces to reduce space contention in a window-based graphical user interface
QuoteRef: hendP9_1975 ;;Henderson, Snowdon, Gorrie, King, The TOPD system
QuoteRef: heniKL1_1980 ;;Heninger, Specifying software requirements for complex systems: New techniques and the application
QuoteRef: hennJ3_1982 ;;Hennessy, Jouppi, Baskett, Gross, Gill, Hardware/ Software tradeoffs for increased performance
QuoteRef: hennMA3_1984 ;;Hennell, Hedley, Riddell, Assessing a class of software tools
QuoteRef: hennMA7_1980 ;;Hennell, Prudom, A static analysis of the NAG library.
QuoteRef: henzMR7_1999 ;;Henzinger, King, Randomized fully dynamic graph algorithms with polylogarithmic time per operation
QuoteRef: herlM11_1993 ;;Herlihy, A methodology for implementing highly concurrent data objects
QuoteRef: herlM1_1991 ;;Herlihy, Wait-free synchronization
QuoteRef: hestSD10_1981 ;;Hester, Parnas, Utter, Using documentation as a software design medium
QuoteRef: hewiC4_1985 ;;Hewitt, The challenge of open systems
QuoteRef: hewiC7_1986 ;;Hewitt, Offices are open systems
QuoteRef: hewiC8_1977 ;;Hewitt, Baker, Laws for communicating parallel processes
QuoteRef: heydA6_2000 ;;Heydon, Levin, Yu, Caching function calls using precise dependencies
QuoteRef: heyeM_1986 ;;Heyer, The creative challenge of CD ROM
QuoteRef: hickM6_2001 ;;Hicks, Moore, Nettles, Dynamic software updating
QuoteRef: hillMD8_1998 ;;Hill, Multiprocessors should support simple memory-consistency models
QuoteRef: hillWD12_1986 ;;Hillis, Steele, Data parallel algorithms
QuoteRef: hillWD_1985 ;;Hillis, The Connection Machine
QuoteRef: hiltSR7_1985 ;;Hiltz, Turoff, Structuring computer-mediated communication systems to avoid information overload
QuoteRef: hincK9_1998 ;;Hinckley, Pausch, Proffitt, Kassell, Two-handed virtual manipulation
QuoteRef: hintG_1984 ;;Hinton, Some computational solutions to Bernstein's problems
QuoteRef: hoarCA10_1973 ;;Hoare, Recursive data structures
QuoteRef: hoarCA10_1974 ;;Hoare, Monitors: An operating system structuring concept
QuoteRef: hoarCA11_1972 ;;Hoare, Wirth, An axiomatic definition of the programming language Pascal
QuoteRef: hoarCA1_1962 ;;Hoare, QUICKSORT
QuoteRef: hoarCA2_1974 ;;Hoare, Lauer, Consistent and complementary formal theory of the semantics of programming languages
QuoteRef: hoarCA8_1978 ;;Hoare, Communicating sequential processes
QuoteRef: hoarCA8_1986 ;;Hoare, Mathematics of Programming
QuoteRef: hoarCA8_1987 ;;Hoare, Hayes, Jifeng, Morgan, Roscoe, Sanders, Sorensen, Spivey, Sufrin, Laws of programming
QuoteRef: hoarCA9_1987 ;;Hoare, An overview of some formal methods for program design
QuoteRef: hoarCA_1973 ;;Hoare, Hints on programming language design
QuoteRef: hoarCA_1974 ;;Hoare, Hints on Programming language design
QuoteRef: hoarCA_1985 ;;Hoare, Communicating Sequential Processes
QuoteRef: hobbT_1651 ;;Leviathan, or the matter, forme, & power of a common-wealth ecclesiasticall and civill
QuoteRef: hoffCM3_1989 ;;Hoffmann, The problems of accuracy and robustness in geometric computation
QuoteRef: hoffD7_2000 ;;Hoffman, Strooper, Prose + Test Cases = Specification
QuoteRef: hofsDR_1979 ;;Hofstadter, Godel, Escher, Bach; an Eternal Golden Braid
QuoteRef: hogbD10_1971 ;;Hogben, Peavy, Varner, Omnitab II. User's reference manual
QuoteRef: hollGH12_1971 ;;Holloway, Interpreter/compiler integration in ECL
QuoteRef: holtAW11_1966 ;;Holt, The importance of not treating a computer system as a person
QuoteRef: holtAW11_1980 ;;Holt, A Mathematical Model of continuous discrete behavior
QuoteRef: holtAW11_1981 ;;Holt, Cashman, Designing systems to support cooperative activity: An example from software maintenance management
QuoteRef: holtAW2_1974 ;;Holt, The design of a computer-based communication system
QuoteRef: holtAW3_1967 ;;Holt, The personification of computers
QuoteRef: holtAW3_1979 ;;Holt, Roles and activities. A system for describing systems
QuoteRef: holtAW5_1958 ;;Holt, General purpose programming systems
QuoteRef: holtAW5_1983 ;;Holt, Ramsey, Grimes, Coordination system technology as the foundation for programming environments
QuoteRef: holtAW8_1977b ;;Holt, Choice and Cause: A formal analysis based on Petri-nets
QuoteRef: holtAW8_1977c ;;Holt, Concurrency and Choice
QuoteRef: holtAW9_1968 ;;Holt, et. al. Final Report for the INFORMATION SYSTEMS THEORY PROJECT
QuoteRef: holtAW_1970 ;;Holt, Commoner, Events and conditions
QuoteRef: holtAW_1979 ;;Holt A.W. Net models of organizational systems. In theory and practice
QuoteRef: holtAW_1997 ;;Holt, Organized activity and its support by computer
QuoteRef: holzGJ11_2002 ;;Holzmann, The logic of bugs
QuoteRef: holzGJ2_1988 ;;Holzmann, An improved protocol reachability analysis technique
QuoteRef: holzGJ5_1997 ;;Holzmann, The model checker SPIN
QuoteRef: holzGJ5_1999 ;;Holzmann, Smith, A practical method for verifying event-driven software
QuoteRef: honeSK_1986 ;;Honey, White, Cartographic databases
QuoteRef: hopfJJ4_1982 ;;Hopfield, Neural networks and physical systems with emergent collective computational abilities
QuoteRef: horiY_1973 ;;Hori, Kano, Kamigama, Korzumi, High level language for the generation of telephone switching tasks
QuoteRef: hornAJ9_2001 ;;Hornof, Visual search and mouse-pointing in labeled versus unlabeled two-dimensional visual hierarchies
QuoteRef: hortMR10_1986 ;;Horton, Standard for interchange of USENET messages
QuoteRef: hortMR9_1986 ;;Horton, How to read the network news
QuoteRef: hoshJ7_1998 ;;Hoshen, A graph theoretical method for the management and synchronization of large software updates
QuoteRef: howaJH2_1988 ;;Howard, Kazar, Menees, et al Scale and Performance in a distributed file system
QuoteRef: howdWE12_1989 ;;Howden, Validating programs without specifications
QuoteRef: howdWE1_1990 ;;Howden, Comments analysis and programming errors
QuoteRef: hsiaP11_1993 ;;Hsia, Davis, Kung, Status report: Requirements engineering
QuoteRef: huanJC_1977 ;;Huang, Error detection through program testing
QuoteRef: huffDA9_1952 ;;Huffman, A method for the construction of minimum-redundancy codes
QuoteRef: hughJA11_1992 ;;Hughes, Faltering from ethnography to design
QuoteRef: huiLC11_1993 ;;Hui, Martel, Unsuccessful search in self-adjusting data structures
QuoteRef: hullJJ3_2001 ;;Hull, Hart, Toward zero-effort personal document managements
QuoteRef: hullTE9_1988 ;;Hull, Cohen, Sawchuk, Wortman, Exception handling in scientific computing
QuoteRef: humeA11_1991 ;;Hume, Sunday, Fast string searching
QuoteRef: humeD_1739 ;;Hume, A Treatise of Human Nature
QuoteRef: huntA1_2003 ;;Hunt, Thomas, The art of enbugging
QuoteRef: huntA_2000 ;;Hunt, Thomas, The Pragmatic Programmer
QuoteRef: huntG6_1977 ;;Hunter, Kuriyan, Wallis, The advantages of stream output procedures over format-dominated record transmissions
QuoteRef: huntJG1_1979 ;;Hunt, Messages in typed languages
QuoteRef: huntJJ4_1998 ;;Hunt, Vo, Tichy, Delta algorithms: an empirical analysis
QuoteRef: huntS9_1987 ;;Hunting, Meeting report
QuoteRef: hutcEL_1986 ;;Hutchins, Hollan, Norman, Direct manipulation interfaces

Related Topics up

ThesaHelp: references a-b (396 items)
ThesaHelp: references c-d (337 items)
ThesaHelp: references e-f (168 items)
ThesaHelp: references g-h (299 items)
ThesaHelp: references i-l (342 items)
ThesaHelp: references m-o (268 items)
ThesaHelp: references p-r (245 items)
ThesaHelp: references sa-sz (237 items)
ThesaHelp: references t-z
(309 items)

Updated barberCB 2/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.