The Experts below are selected from a list of 54 Experts worldwide ranked by ideXlab platform
Brad Abrams - One of the best experts on this subject based on the ideXlab platform.
-
NET Framework Standard Library Annotated Reference Volume 2
2005Co-Authors: Brad Abrams, Tamara AbramsAbstract:“This is a complete, authoritative, and truly useful reference for every .NET developer. It covers every aspect of .NET Framework library by providing concise descriptions with just the right number of examples. I would not start development of any significant .NET project without having this book on my bookshelf.” -Max Loukianov, Vice President of Research and Development, Netpise Inc. “The .NET Framework Standard Library Annotated Reference is the one reference you really need when you use the .NET Framework library. The annotations provide clear insight into the design choices that the library development team made when building the library. Those explanations will guide you to the best design choices for your own application code.” -Bill Wagner, Founder/Consultant, SRT Solutions, and author of Effective C# “More than just a reference, this book provides great insight into the massive amount of thought that went into designing the Microsoft .NET Framework. It is both entertaining and educational, combining interesting and sometimes amusing annotations along with the reference material.” -Jordan Matthiesen, Software Engineer “Brad Abrams, Tamara Abrams, and the CLR team take readers on a journey through the backstreets of the .NET Framework, pointing out invaluable design decisions and performance best practices along the way. Not to be missed by any developer who has ever wondered why the Framework is designed the way it is.” -William D. Bartholomew, Senior Software Architect, Orli-TECH Pty Ltd “This volume provides an in-depth review for every class method listed, including a CD with many examples of usage. The most valuable aspect of this book is the annotations provided; the annotators' thoughts about the design of the .NET Framework lets the reader develop a crystal-clear understanding of what can be accomplished with this fantastic technology.” -Bradley Snobar, Software Engineer “The utility of a reference book is often a function of how easily you can find a desired subject and, once there, how clearly is it explained. On both counts, you should find that this book stands well.” -Dr. Wes Boudville, InventorThe .NET Framework Standard Library Annotated Reference, Volume 2, completes the definitive reference to the .NET Framework base class library. This book-and-CD set offers programmers unparalleled insight into the ECMA and ISO specifications for the classes and members, while also explaining why they were designed as they were and demonstrating how to use them. This volume covers the Networking, Reflection, and XML libraries, complementing Volume 1's coverage of the Base Class and Extended Numerics libraries.The printed book contains high-level descriptions of each namespace, plus detailed descriptions and samples of each type, including annotations, inheritance diagrams, and a listing of members.The accompanying CD contains a vastly expanded version of the book's text that includes detailed descriptions of each member and samples for most members-almost two thousand searchable pages of immediately useful reference material, plus a full source-code archive.With the ECMA and ISO standards as its core, the combined book and CD include A clear and complete overview of each namespace, describing its purpose and functionality and the inheritance hierarchy of types it defines. Type descriptions. Each type is covered in its own chapter, with a quick reference to the C# Declaration Syntax for all members defined in the type, and a detailed description of how the type is used. Annotations from key insiders: members of the Microsoft design team and the ECMA Standards Committee. These comments cover everything from design rationale and history to common problems and shortcomings, with exceptional clarity and candor. Reference tabs and an exhaustive index, which allow readers to quickly and easily navigate the text. Code samples. Types are illustrated by working code samples, with output included. Reusable source code for the more than one thousand samples is supplied as an archive on the CD. All code has been tested with versions 1.0, 1.1, and 2.0 of the .NET Framework and, where appropriate, with the .NET Compact Framework.
-
.NET Framework Standard Library Annotated Reference, Volume 1: Base Class Library and Extended Numerics Library, 1/e
2004Co-Authors: Brad AbramsAbstract:Edited by a Lead Program Manager on Microsoft's .NET Framework team, .NET Framework Standard Library Annotated Reference, Volume 1, is the definitive reference for the .NET Framework base class library. This book/CD set utilizes extensive annotations and code samples from the creators of the technology to move beyond the online documentation and provide .NET developers with a dictionary-style reference to the most-used parts of the Framework. This volume covers a subset of the ISO CLI Standards, including the Base Class Library and the Extended Numerics Library.In the printed book you will find informative overviews of each namespace covered and an easy-to-follow alphabetic reference of types in the standard, including type-level descriptions, sample code with output, and annotations from the design team and standardization committee. The CD contains nearly 4,000 searchable pages-everything in the book plus member-level descriptions, sample code, and all source code in a buildable format.With the ECMA and ISO standards as its core, the book and CD include: Annotations from key members of the Microsoft design team and the Standardization committee. Comments cover everything from design rationale and history to common problems and shortcomings. An overview of each namespace, describing its functionality and the inheritance hierarchy of types it defines. Type descriptions. Each type is covered in its own chapter, with a detailed description of how the type is to be used and a quick reference of the C# Declaration Syntax for all members defined on the type. Also noted: which members are only available in the Microsoft implementation of the .NET Framework, which are not available in the .NET Compact Framework, and which are only available in V1.1 of the .NET Framework. Code samples. Types are illustrated by fully compilable code samples with output included. Reference tabs and an exhaustive index, which allow readers to quickly and easily navigate the text. Reusable source code for more than one thousand samples. All code has been tested with versions 1.0, 1.1, and the 2.0 technical preview of the .NET Framework, and, where appropriate, with the .NET Compact Framework.
Charles Consel - One of the best experts on this subject based on the ideXlab platform.
-
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization
Higher-Order and Symbolic Computation, 2004Co-Authors: Anne-françoise Le Meur, Julia L. Lawall, Charles ConselAbstract:Partial evaluation is a program transformation that automatically specializes a program with respect to invariants. Despite successful application in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, underspecialization or overspecialization often occurs, without any feedback as to the source of the problem. We have developed a high-level, module-based language allowing the program developer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the Syntax of this language is similar to the Declaration Syntax of the target language of the partial evaluator. To provide feedback, Declarations are checked during the analyses performed by partial evaluation. The language has been successfully used by a variety of users, including students having no previous experience with partial evaluation.
-
Towards Bridging the Gap Between Programming Languages and Partial Evaluation
2002Co-Authors: Anne-françoise Le Meur, Julia L. Lawall, Charles ConselAbstract:Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants. Despite successful applications in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, under-specialization or over-specialization often occurs, without any direct feedback to the user as to the source of the problem. We have developed a high-level, module-based language allowing the programmer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the Syntax of this language is similar to the Declaration Syntax of the target language of the partial evaluator. To provide feedback to the programmer, Declarations are checked throughout the analyses performed by partial evaluation. The language has been successfully used by a signal-processing expert in the design of a specializable Forward Error Correction component.
-
PEPM - Towards bridging the gap between programming languages and partial evaluation
Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '02, 2002Co-Authors: Anne-françoise Le Meur, Julia L. Lawall, Charles ConselAbstract:Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants. Despite successful applications in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, under-specialization or over-specialization often occurs, without any direct feedback to the user as to the source of the problem.We have developed a high-level, module-based language allowing the programmer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the Syntax of this language is similar to the Declaration Syntax of the target language of the partial evaluator. To provide feedback to the programmer, Declarations are checked throughout the analyses performed by partial evaluation. The language has been successfully used by a signal-processing expert in the design of a specializable Forward Error Correction component.
Tamara Abrams - One of the best experts on this subject based on the ideXlab platform.
-
NET Framework Standard Library Annotated Reference Volume 2
2005Co-Authors: Brad Abrams, Tamara AbramsAbstract:“This is a complete, authoritative, and truly useful reference for every .NET developer. It covers every aspect of .NET Framework library by providing concise descriptions with just the right number of examples. I would not start development of any significant .NET project without having this book on my bookshelf.” -Max Loukianov, Vice President of Research and Development, Netpise Inc. “The .NET Framework Standard Library Annotated Reference is the one reference you really need when you use the .NET Framework library. The annotations provide clear insight into the design choices that the library development team made when building the library. Those explanations will guide you to the best design choices for your own application code.” -Bill Wagner, Founder/Consultant, SRT Solutions, and author of Effective C# “More than just a reference, this book provides great insight into the massive amount of thought that went into designing the Microsoft .NET Framework. It is both entertaining and educational, combining interesting and sometimes amusing annotations along with the reference material.” -Jordan Matthiesen, Software Engineer “Brad Abrams, Tamara Abrams, and the CLR team take readers on a journey through the backstreets of the .NET Framework, pointing out invaluable design decisions and performance best practices along the way. Not to be missed by any developer who has ever wondered why the Framework is designed the way it is.” -William D. Bartholomew, Senior Software Architect, Orli-TECH Pty Ltd “This volume provides an in-depth review for every class method listed, including a CD with many examples of usage. The most valuable aspect of this book is the annotations provided; the annotators' thoughts about the design of the .NET Framework lets the reader develop a crystal-clear understanding of what can be accomplished with this fantastic technology.” -Bradley Snobar, Software Engineer “The utility of a reference book is often a function of how easily you can find a desired subject and, once there, how clearly is it explained. On both counts, you should find that this book stands well.” -Dr. Wes Boudville, InventorThe .NET Framework Standard Library Annotated Reference, Volume 2, completes the definitive reference to the .NET Framework base class library. This book-and-CD set offers programmers unparalleled insight into the ECMA and ISO specifications for the classes and members, while also explaining why they were designed as they were and demonstrating how to use them. This volume covers the Networking, Reflection, and XML libraries, complementing Volume 1's coverage of the Base Class and Extended Numerics libraries.The printed book contains high-level descriptions of each namespace, plus detailed descriptions and samples of each type, including annotations, inheritance diagrams, and a listing of members.The accompanying CD contains a vastly expanded version of the book's text that includes detailed descriptions of each member and samples for most members-almost two thousand searchable pages of immediately useful reference material, plus a full source-code archive.With the ECMA and ISO standards as its core, the combined book and CD include A clear and complete overview of each namespace, describing its purpose and functionality and the inheritance hierarchy of types it defines. Type descriptions. Each type is covered in its own chapter, with a quick reference to the C# Declaration Syntax for all members defined in the type, and a detailed description of how the type is used. Annotations from key insiders: members of the Microsoft design team and the ECMA Standards Committee. These comments cover everything from design rationale and history to common problems and shortcomings, with exceptional clarity and candor. Reference tabs and an exhaustive index, which allow readers to quickly and easily navigate the text. Code samples. Types are illustrated by working code samples, with output included. Reusable source code for the more than one thousand samples is supplied as an archive on the CD. All code has been tested with versions 1.0, 1.1, and 2.0 of the .NET Framework and, where appropriate, with the .NET Compact Framework.
Daniel Jackson - One of the best experts on this subject based on the ideXlab platform.
-
alloy a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology, 2002Co-Authors: Daniel JacksonAbstract:Alloy is a little language for describing structural properties. It offers a Declaration Syntax compatible with graphical object models, and a set-based formula Syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel. This paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.
-
Abstract Alloy: A Lightweight Object Modelling Notation
2000Co-Authors: Daniel JacksonAbstract:Alloy is a little language for describing structural properties. It offers a Declaration Syntax compatible with graphical object models, and a set-based formula Syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel. To make Alloy easy to use, a number of complications have been avoided: there are no tuples, no set or relation constants, and no undefined expressions or special null values. This paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.
Julia L. Lawall - One of the best experts on this subject based on the ideXlab platform.
-
A Pragmatic Approach to Declaring Specialization Scenarios
2015Co-Authors: Anne-francoise Le Meur, Julia L. LawallAbstract:Abstract. Partial evaluation is a program transformation that automatically specializes a program with respect to invariants. Despite successful application in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the diÆculty of adequately describing specialization opportunities. Indeed, underspecialization or overspecialization often occurs, without any direct feedback as to the source of the problem. We have developed a high-level, module-based language allowing the program developer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the Syntax of this language is similar to the Declaration Syntax of the target language of the partial evaluator. To provide feedback, Declarations are checked during the analyses performed by partial evaluation. The language has been successfully used by a variety of users, including students having no previous experience with partial evaluation. 1
-
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization
Higher-Order and Symbolic Computation, 2004Co-Authors: Anne-françoise Le Meur, Julia L. Lawall, Charles ConselAbstract:Partial evaluation is a program transformation that automatically specializes a program with respect to invariants. Despite successful application in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, underspecialization or overspecialization often occurs, without any feedback as to the source of the problem. We have developed a high-level, module-based language allowing the program developer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the Syntax of this language is similar to the Declaration Syntax of the target language of the partial evaluator. To provide feedback, Declarations are checked during the analyses performed by partial evaluation. The language has been successfully used by a variety of users, including students having no previous experience with partial evaluation.
-
Towards Bridging the Gap Between Programming Languages and Partial Evaluation
2002Co-Authors: Anne-françoise Le Meur, Julia L. Lawall, Charles ConselAbstract:Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants. Despite successful applications in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, under-specialization or over-specialization often occurs, without any direct feedback to the user as to the source of the problem. We have developed a high-level, module-based language allowing the programmer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the Syntax of this language is similar to the Declaration Syntax of the target language of the partial evaluator. To provide feedback to the programmer, Declarations are checked throughout the analyses performed by partial evaluation. The language has been successfully used by a signal-processing expert in the design of a specializable Forward Error Correction component.
-
PEPM - Towards bridging the gap between programming languages and partial evaluation
Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '02, 2002Co-Authors: Anne-françoise Le Meur, Julia L. Lawall, Charles ConselAbstract:Partial evaluation is a program-transformation technique that automatically specializes a program with respect to user-supplied invariants. Despite successful applications in areas such as graphics, operating systems, and software engineering, partial evaluators have yet to achieve widespread use. One reason is the difficulty of adequately describing specialization opportunities. Indeed, under-specialization or over-specialization often occurs, without any direct feedback to the user as to the source of the problem.We have developed a high-level, module-based language allowing the programmer to guide the choice of both the code to specialize and the invariants to exploit during the specialization process. To ease the use of partial evaluation, the Syntax of this language is similar to the Declaration Syntax of the target language of the partial evaluator. To provide feedback to the programmer, Declarations are checked throughout the analyses performed by partial evaluation. The language has been successfully used by a signal-processing expert in the design of a specializable Forward Error Correction component.
