Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Generators (Computer programs) --- Computer software --- Générateurs (Logiciels) --- Logiciels --- Development. --- Développement --- -Generators (Computer programs) --- Linking loaders (Computer programs) --- 681.3*D23 --- Loaders (Computer programs) --- Program generators (Computer programs) --- Automatic programming (Computer science) --- Computer programs --- Systems software --- Software, Computer --- Computer systems --- Development --- Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- 681.3*D23 Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- Générateurs (Logiciels) --- Développement --- Development of computer software --- Software development
Choose an application
Computer software --- -Generators (Computer programs) --- Linking loaders (Computer programs) --- 681.3*D23 --- Loaders (Computer programs) --- Program generators (Computer programs) --- Automatic programming (Computer science) --- Computer programs --- Systems software --- Software, Computer --- Computer systems --- Development --- Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- Generators (Computer programs) --- Development. --- Generators (Computer programs). --- Linking loaders (Computer programs). --- 681.3*D23 Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- Development of computer software --- Software development
Choose an application
This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar framework for incremental semantic analysis and establishing its algorithmic foundations. The results are theoretically important while having immediate practical utility for implementing environment-generating systems. The book's principal technical results include: an optimal-time algorithm to incrementally maintain a consistent attributed-tree of attribute grammar subclasses, allowing an optimizing environment-generator to select the most efficient applicable algorithm; a general method for sharing storage among attributes whose values are complex data structures; and two algorithms that carry out attribute evaluation while reducing the number of intermediate attribute values retained. While others have worked on this last problem, Reps's algorithms are the first to achieve sublinear worst-case behavior. One algorithm is optimal, achieving the log n lower space bound in nonlinear time, while the second algorithm uses as much as root n. space but runs in linear time.
Interactive computer systems --- Programming languages (Electronic computers) --- -Text editors (Computer programs) --- Computer programming --- 681.3*D22 --- 681.3*D26 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Editors, Text (Computer programs) --- Computer programs --- Programming software --- Systems software --- Word processing --- Programming language semantics --- Semantics --- Computer systems --- Online data processing --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Programming environments: interactive (Software engineering) --- Programming --- 681.3*D26 Programming environments: interactive (Software engineering) --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Text editors (Computer programs) --- Interactive computer systems. --- Computer programming. --- Semantics. --- COMPUTER SCIENCE/Programming Languages
Choose an application
Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception in 1990 as the Scientific Director of the International Conference and Research Center for Computer Science at Schloss Dagstuhl. This Festschrift volume, published to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany. The articles of this volume thus serve also as the proceedings of the aforementioned Dagstuhl symposium.
Computer programming --- Compilers (Computer programs) --- Programmation (Informatique) --- Compilateurs (Logiciels) --- Congresses. --- Congrès --- Wilhelm, R. --- Compilers (Computer programs) -- Congresses. --- Computer programming -- Congresses. --- Computer programs -- Verification -- Congresses. --- Wilhelm, R. -- (Reinhard), -- 1946-. --- Computer programs --- Engineering & Applied Sciences --- Computer Science --- Verification --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Wilhelm, Reinhard, --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Computer files --- Computer software --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Listing 1 - 4 of 4 |
Sort by
|