Sciweavers

321 search results - page 43 / 65
» Programming with ASN.1 Using Polymorphic Types and Type Spec...
Sort
View
126
Voted
KES
2008
Springer
15 years 2 months ago
Functional genetic programming and exhaustive program search with combinator expressions
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
Forrest Briggs, Melissa O'Neill
123
Voted
ECOOP
1998
Springer
15 years 6 months ago
Object-Oriented Architectural Support for a Java Processor
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
Narayanan Vijaykrishnan, N. Ranganathan, Ravi Gade...
120
Voted
OOPSLA
2005
Springer
15 years 8 months ago
Javari: adding reference immutability to Java
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
Matthew S. Tschantz, Michael D. Ernst
ECOOP
2007
Springer
15 years 8 months ago
Morphing: Safely Shaping a Class in the Image of Others
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
Shan Shan Huang, David Zook, Yannis Smaragdakis
CIARP
2006
Springer
15 years 6 months ago
Alignment of Paragraphs in Bilingual Texts Using Bilingual Dictionaries and Dynamic Programming
Parallel text alignment is a special type of pattern recognition task aimed to discover the similarity between two sequences of symbols. Given the same text in two different langua...
Alexander F. Gelbukh, Grigori Sidorov