Sciweavers

10575 search results - page 412 / 2115
» Programming Languages
Sort
View
CORR
2000
Springer
138views Education» more  CORR 2000»
15 years 6 months ago
Towards rule-based visual programming of generic visual systems
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...
Berthold Hoffmann, Mark Minas
GECCO
2005
Springer
133views Optimization» more  GECCO 2005»
16 years 9 days ago
Parsing and translation of expressions by genetic programming
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
David Jackson
PLPV
2009
ACM
16 years 3 months ago
Embedding a logical theory of constructions in Agda
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
Ana Bove, Peter Dybjer, Andrés Sicard-Ram&i...
POPL
2005
ACM
16 years 7 months ago
Environmental acquisition revisited
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
Richard Cobbe, Matthias Felleisen
TOOLS
2000
IEEE
15 years 11 months ago
Automating Delegation in Class-Based Languages
Some designers of class-based object oriented languages choose not to support multiple inheritance. As a result, programmers often resort to ad hoc workarounds. The most common of...
John Viega, Paul Reynolds, Reimer Behrends