We show how the Hindley/Milner polymorphic type system can be extended to incorporate overloading and subtyping. Our approach is to attach constraints to quantified types in order to restrict the allowed instantiation...
详细信息
We show how the Hindley/Milner polymorphic type system can be extended to incorporate overloading and subtyping. Our approach is to attach constraints to quantified types in order to restrict the allowed instantiations of type variables. We present an algorithm for inferring principal types and prove its soundness and completeness. We find that it is necessary in practice to simplify the inferred types, and we describe techniques for type simplification that involve shape unification, strongly connected components, transitive reduction, and the monotonicities of type formulas.
In recent years ″softwareengineering″ has emerged as a discipline of programming. It includes the conceptualization, design, implementation, testing and modification of softwaresystems. Related issues are language...
详细信息
In recent years ″softwareengineering″ has emerged as a discipline of programming. It includes the conceptualization, design, implementation, testing and modification of softwaresystems. Related issues are languages, standards, distributed and parallel processing, and total programming environments. the fact that more than 80 percent of system development costs were in software rather than hardware helps one appreciate the importance of any effort to understand and enhance the software production process. Many pattern recognition projects involve fairly large software efforts. It makes sense not only for researchers to make use of the latest software tools and methodologies but also to anticipate future changes.
Developing mobile applications is typically a labor-intensive process in which software engineers manually re-implement in code screen designs, inter-screen transitions, and in-screen animations developed by user inte...
详细信息
ISBN:
(纸本)9781450357128
Developing mobile applications is typically a labor-intensive process in which software engineers manually re-implement in code screen designs, inter-screen transitions, and in-screen animations developed by user interface and user experience experts. Other engineering domains have used computer vision techniques to automate human perception and manual data entry tasks. the P2A tool adopts computer vision techniques for developing animated mobile applications. P2A infers from mobile application screen designs the user interface portion of an application's source code and other assets that are ready to be compiled and executed on a mobile phone. Among others, inferred mobile applications contain inter screen transitions and in-screen animations. In our experiments on screenshots of 30 highly-ranked third-party Android applications, the P2A-generated application user interfaces exhibited high pixel-to-pixel similarity withtheir input screenshots. P2A took an average of 26 seconds to infer in-screen animations.
Generic requirements are discussed for a CASE (computer-aided softwareengineering) database based on a study, performed in a programming-in-the-large environment, of a project which involves the interaction of thousa...
详细信息
ISBN:
(纸本)0818619155
Generic requirements are discussed for a CASE (computer-aided softwareengineering) database based on a study, performed in a programming-in-the-large environment, of a project which involves the interaction of thousands of software developers and over a million lines of source code and other related design objects. the discussion covers data modeling in softwareengineering and version control, as well as briefly touching on composite/complex object management, object servers, long transactions, and seamless query processing.
the workshop focuses on how process models, methods and knowledge from the area of Human-computer Interaction can be integrated and adopted to support and enhance traditional softwareengineering processes. In its 5th...
详细信息
ISBN:
(纸本)9783642237683;9783642237676
the workshop focuses on how process models, methods and knowledge from the area of Human-computer Interaction can be integrated and adopted to support and enhance traditional softwareengineering processes. In its 5th edition this workshop will investigate the application of usability engineering methods that are adapted to fit the evaluation of advanced interfaces and how usability and user experience evaluation methods can be incorporated to support design decisions and changes in standard software development. this workshop is organized by the IFIP working group 13.2 "Methodologies for User-Centered systems Design".
暂无评论