Bücher
hier kostenlos | Buch, Hörbücher |
| Fachbücher |
| Informatik |
| Praktische Informatik |
Programmiersprachen und Interpreter 08 | |
Programmiermethodik mit Ada (Springer Compass)Gerhard Goos, Guido Persch, Jürgen UhlGebundene Ausgabe |
Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science (242), Band 242)Guy Cousineau, Pierre-Louis Curien, Bernard RobinetTaschenbuchStreams are not dreams. - Amber. - The amber machine. - Sur l'analogie entre les propositions et les types. - Combinateurs Cat riques et Impl ntation des Langages Fonctionnels. - Combinators and lambda-calculus, a short outline. - Cartesian closed categories and lambda-calculus. - Cartesian closed categories and typed ? -calculi. - An introduction to fully-lazy supercombinators. |
Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science (217), Band 217)Harald Ganzinger, Neil D. JonesTaschenbuchStrictness analysis and polymorphic invariance. - Convergent term rewriting systems can be used for program transformation. - The theory of strictness analysis for higher order functions. - Recognition of generative languages. - Modular first-order specifications of operational semantics. - Logic specification of code generation techniques. - Strictness detection in non-flat domains. - Strictness computation using special ? -expressions. - A relational framework for abstract interpretation. - Expected forms of data flow analyses. - Code generation from two-level denotational meta-languages. - Multilevel functions in Martin-L f's type theory. - An implementation from a direct semantics definition. - The structure of a self-applicable partial evaluator. - Program transformation by supercompilation. - Listlessness is better than laziness I I: Composing listless functions. - From interpreter to compiler: A representational derivation. |
Rewriting Techniques and Applications: Dijon, France, May 20-22, 1985 (Lecture Notes in Computer Science (202), Band 202)Jean-Pierre JouannaudTaschenbuch |
Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979 (Lecture Notes in Computer Science (79), Band 79)J. M. TobiasTaschenbuchThe module: A system structuring facility in high-level programming languages. - The evolution of the unix time-sharing system. - Pascal versus C : A subjective comparison. - Why recursion? . - On the prime example of programming. - Describing the complete effects of programs. - Pattern-matching commands. - A language for describing concepts as programs. - A human movement language for computer animation. - Algebraic specifications and transition graphs. - Dasim1: A practical exercise in data abstraction. - The design of a successor to pascal. - Dopls: A new type of programming language. - A personal computer based on a high-level language. - An experiment in software science. - A critique of modula. - A comparison of two notations for process communication. |
Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme (Informatik-Fachberichte (190), Band 190)Dieter MaurerTaschenbuch |
Z User Workshop, Cambridge 1994: Proceedings Of The Eighth Z User Meeting, Cambridge, 29 - 30 June 1994 (Workshops In Computing)Taschenbuch |
First Steps in MapleWerner BurkhardtTaschenbuch |
C++ for Scientists, Engineers and MathematiciansDerek M. CapperTaschenbuch |
"Z User Workshop, York 1991": Proceedings of the Sixth Annual Z User Meeting, York 16-17 December 1991 (Workshops in Computing)J. E. NichollsTaschenbuch |