DE eng

Search in the Catalogues and Directories

Page: 1 2 3
Hits 1 – 20 of 47

1
Modern languages and technologies of programming ; Современные языки и технологии программирования
Salamatov, A. A.; Саламатов, А. А.. - : ООО «Издательский Дом «Ажур», 2020
BASE
Show details
2
Introduction To Computer Science ...
Afef Jmal Maâlej. - : Zenodo, 2017
BASE
Show details
3
Promotion of Educational Effectiveness by Translation-based Programming Language Learning Using Java and Swift
BASE
Show details
4
Fast portable orthogonally persistent Java
In: Software: Practice and Experience (2015)
BASE
Show details
5
Fast portable orthogonally persistent Java
In: Software: Practice and Experience (2015)
BASE
Show details
6
Dependency Tree Annotation Software
In: DTIC (2015)
BASE
Show details
7
Evaluating Kiama abstract state machines for a Java implementation
Suvanpong, Pongsak. - : Sydney, Australia : Macquarie University, 2015
BASE
Show details
8
Arabic Natural Language Processing System Code Library
In: DTIC (2014)
BASE
Show details
9
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : Association for Computing Machinery (ACM), 2013
BASE
Show details
10
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : The Association for Computing Machinery, 2013
BASE
Show details
11
OSGi in action : creating modular applications in Java
Hall, Richard S.; Pauls, Karl; McCulloch, Stuart. - Stamford, Conn : Manning, 2011
MPI für Psycholinguistik
Show details
12
JSLIM-2.1-Dokumentation: Morphologie, Syntax und formale Sprachen : = The JSLIM 2.1 documentation: morphology, syntax, and formal languages
Handl, Johannes; Greiner, Paul; Weber, Carsten. - Erlangen-Nürnberg : Univ., Dep. Germanistik und Komparatistik, Abt. für Computerlinguistik, 2010
BLLDB
UB Frankfurt Linguistik
Show details
13
IX kompakt : ein Sonderheft des Magazins für professionelle Informationstechnik
Hannover : Heise, 2009-
IDS Mannheim
Show details
14
Visualization of a Text Network Structure Using X3D
In: DTIC (2008)
BASE
Show details
15
A Domain specific language for the definition of extended queueing network models
BASE
Show details
16
M.D.: Object and reference immutability using Java generics
In: http://homepages.mcs.vuw.ac.nz/~alex/files/ZibinPotaninAliArtziKiezunErnstFSE2007.pdf (2007)
Abstract: A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a novel language extension that expresses immutability without changing Java’s syntax by building upon Java’s generics and annotation mechanisms. In IGJ, each class has one additional type parameter that is Mutable, Immutable, or ReadOnly. IGJ guarantees both reference immutability (only mutable references can mutate an object) and object immutability (an immutable reference points to an immutable object). IGJ is the first proposal for enforcing object immutability within Java’s syntax and type system, and its reference immutability is more expressive than previous work. IGJ also permits covariant changes of type parameters in a type-safe manner, e.g., a readonly list of integers is a subtype of a readonly list of numbers. IGJ extends Java’s type system with a few simple rules. We formalize this type system and prove it sound. Our IGJ compiler works by typeerasure and generates byte-code that can be executed on any JVM without runtime penalty.
Keyword: Categories and Subject Descriptors; const; D.1.5 [Programming Techniques; D.2.1 [Software Engineering; D.3.3 [Programming Languages]Language Constructs and Features General Terms; Design; Generic; IGJ; Immutability; Java; Languages; Object-oriented Programming; Readonly; Requirements / Specifications[Languages; Theory Keywords
URL: http://homepages.mcs.vuw.ac.nz/~alex/files/ZibinPotaninAliArtziKiezunErnstFSE2007.pdf
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.4193
BASE
Hide details
17
Techniques for Automatically Generating Biographical Summaries from News Articles
In: DTIC (2007)
BASE
Show details
18
Linguistic support for unit testing
In: University of Utah Computer Science Technical Report ; University of Utah School of Computing (2007)
BASE
Show details
19
Design patterns in Java
Metsker, Steven John; Wake, William. - Upper Saddle River, NJ [et al.] : Addison-Wesley, 2006
MPI für Psycholinguistik
Show details
20
The QAT: A Qualitative Algebra Toolkit
In: Proceedings of the 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06) ; 2nd IEEE International Conference on Information Technologies ; https://hal.archives-ouvertes.fr/hal-01434027 ; 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩ (2006)
BASE
Show details

Page: 1 2 3

Catalogues
5
4
0
0
0
0
0
Bibliographies
3
0
0
0
0
0
0
0
11
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
27
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern