• Nenhum resultado encontrado

Programming language

A concurrent programming language with session types

A concurrent programming language with session types

... a programming framework for message-passing parallel algorithms which combines session types with the C programming language, called Session C ...session-based programming environment ensures ...

76

Loom: Unifying Client-Side Web Technologies in a Single Programming Language

Loom: Unifying Client-Side Web Technologies in a Single Programming Language

... a programming language containing CSS values, although it might not be trivial to determine appropriate ways of specifying the values of CSS properties (due to the nature of CSS syntax, ...

82

A linguagem de programação logo: uma ferramenta para o ensino de geometria plana / The programming language logo: a tool for the teaching of flat geometry

A linguagem de programação logo: uma ferramenta para o ensino de geometria plana / The programming language logo: a tool for the teaching of flat geometry

... the Programming Language Logo: a tool for the teaching of flat geometry, used in conjunction with the software SuperLogo ...the Programming Language Logo, and in a short time were already ...

15

A visual programming language for soccer

A visual programming language for soccer

... the programming skills to implement software capable of ...a programming (code) component, i.e., a visual programming language (VPL) framework for soccer (see Figure ...a language ...

7

Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networks.

Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networks.

... In this paper, we present a platform that allows synthetic biologists to design biological systems using the Proto high-level biologically-oriented programming language. To achieve the promise and potential ...

13

Integrating robot control into the Agentspeak(L) programming language

Integrating robot control into the Agentspeak(L) programming language

... agent programming languages to facilitate the implementation of autonomous robot control ...Jason language supports the development of complex plans helping to reach the last ...

132

Java Programming Language Linguagem de Programação JAVA

Java Programming Language Linguagem de Programação JAVA

... Por que alguém precisaria trocar o browser por applets? Muitos Web designers querem ir além da simples exibição de conteúdos estéticos. Eles querem páginas dinâmicas que possam interagir com o usuário. Freqüentemente, o ...

30

Data-Centric Concurrency Control on the Java Programming Language

Data-Centric Concurrency Control on the Java Programming Language

... By itself, the objective of the compilation process is to generate Java bytecode with invocations to the ResourceGroups API. Two approaches could be taken to achieve this: compile the program normally and then use a ...

128

Abstract Interpretation as a Programming Language

Abstract Interpretation as a Programming Language

... Abstract interpretation is primarily a technique for derivation and specification of program anal- ysis. As with denotational semantics we may also view abstract interpretations as programs and examine the ...

21

A INTELIGÊNCIA ARTIFICIAL - IA

A INTELIGÊNCIA ARTIFICIAL - IA

... Python Programming Language, R system, among others, all derived from process optimizers, that through algorithms and jurismetria offer to the Operators of the Law several cognitive and predictive tools ...

9

Adding dependent types to class-based mutable objects

Adding dependent types to class-based mutable objects

... Traditional type systems have been shown to be effective for verifying basic invariants, but are somehow limited in the kind of properties they can express. In object-oriented languages, in particular, programmers ...

143

E-Business Technologies

E-Business Technologies

... The SCA and SDO specifications can help organizations to more easily create new and transform existing IT assets, enabling reus- able services that may be rapidly assembled to meet changing business requirements. These ...

3

Rev. IBRACON Estrut. Mater.  vol.3 número2

Rev. IBRACON Estrut. Mater. vol.3 número2

... Bearing in mind the experience of teachers and researchers from Brazil as well in foreign countries searching for new and better teaching methods for engineering education, it appears that the use of interactive ...

7

Core-TyCO, The Language Definition, Version 0.1

Core-TyCO, The Language Definition, Version 0.1

... oriented programming language based on a predicative polymorphic calculus of objects [4, 5], featuring asynchronous mes- sages, objects, and process declarations, together with a predicative polymor- phic ...

14

A GUI for a Software that Analyses a Composite Bolted Joint

A GUI for a Software that Analyses a Composite Bolted Joint

... object-oriented programming language; and the design principles of an adequate human-computer interaction, a graphical interface was developed as an efficient and effective means of interaction with ...

17

José Paulo Leal Ricardo Rocha Alberto Simões

José Paulo Leal Ricardo Rocha Alberto Simões

... introductory programming courses we know that we need several months to teach a programming language like C, C++ or ...or programming language and the beginner needs to choose the more ...

21

A study on the cost of concrete shielding in a conventional radiotherapy facility room

A study on the cost of concrete shielding in a conventional radiotherapy facility room

... Ionizing radiations produced by particle accelerators is widely used for the treatment of cancer. In particular high-energy photon beams generated by electron linear accelerators play an important role in external beam ...

18

Lat. Am. j. solids struct.  vol.10 número6

Lat. Am. j. solids struct. vol.10 número6

... On what follows, in section 2 the main features of the Generalized Finite Element Method are addressed, underlining its flexibility and the main difficulties faced to implement it computationally, aiming to perform ...

25

Child Programming: An adequate Domain Specific Language for programming specific robots

Child Programming: An adequate Domain Specific Language for programming specific robots

... visual programming language concepts and textual ...of programming, whether for an ex- perienced programmer or a person who has no background/programming ...of programming languages ...

137

Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs

Type-based Protocol Conformance and Aliasing Control in Concurrent Java Programs

... core programming model that aims to capture essen- tial constructs from the Java programming language, also building upon the work done in ...

111

Show all 2362 documents...

temas relacionados