Sökning: "Programming Language usability"

Visar resultat 1 - 5 av 6 avhandlingar innehållade orden Programming Language usability.

1. 1. Representation of Compositional Relational Programs

   Författare :Görkem Paçacı; Andreas Hamfelt; Alberto Pettorossi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Programming; Syntax; Logic Programming; Combilog; CombInduce; Prolog; Variable-free; Point-free; Tacit; Compositional Relational Programming; Combinatory Logic; Predicate-Functor Logic; Program Synthesis; Meta-interpreters; Meta-interpretative Synthesis; Decompositional Synthesis; Inductive Synthesis; Inductive Logic Programming; Usability; Cognitive Dimensions of Notations; Visual Variables; Usability testing; Programming Language usability; Empirical evidence; Informationssystem; Information Systems;

   Sammanfattning : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. LÄS MER

3. 2. Reactive Objects and Functional Programming

   Författare :Johan Nordlander; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : The construction of robust distributed and interactive software is still a challenging task, despite the recent popularity-increase for languages that take advanced programming concepts into the mainstream. Several problematic areas can be identified: most languages require the reactivity of a system to be manually upheld by careful avoidance of blocking operations; mathematical values often need to be encoded in terms of stateful objects or vice versa; concurrency is particularly tricky in conjunction with encapsulated software components; and static type safety is often compromised because of the lack of simultaneous support for both subtyping and polymorphism. LÄS MER

4. 3. On the Programming and System Integration of Robots in Flexible Manufacturing

   Författare :Mathias Haage; Institutionen för datavetenskap; []
   Nyckelord :Industrial Robotics; Parallel-Kinematic Robot; Human-Robot Interfaces; Semantic Interfaces; Flexible Manufacturing; Sensor-Based Motion; Software Architecture; Modular Robotics;

   Sammanfattning : Advanced manufacturing technologies and programmable machines such as industrial robots are used to increase productivity and quality for competitiveness on a global market. Development of increasingly flexible manufacturing systems has resulted in an increasing importance of software aspects, both on a system level and for efficient interaction with human operators. LÄS MER

5. 4. PalCom Meets the End-User: Enabling Interaction with PalCom-based Systems

   Författare :Björn A Johnsson; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : When developing applications for end-user nodes in distributed systems, it is not unusual to find that the business logic part of the solution is relatively inexpensive to develop. The resource intense parts of the solution are more likely to be those of presenting the functionality provided by the node to the end-user, and of connecting the node with the rest of the system. LÄS MER

7. 5. Formal Development of Safe and Secure Java Card Applets

   Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

   Sammanfattning : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. LÄS MER