Sciweavers

4880 search results - page 525 / 976
» Manuals as Structured Programs
Sort
View
IWIA
2005
IEEE
16 years 18 days ago
A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
Yves Younan, Wouter Joosen, Frank Piessens
VISSOFT
2005
IEEE
16 years 18 days ago
Multi-level Method Understanding Using Microprints
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
Stéphane Ducasse, Michele Lanza, Romain Rob...
APLAS
2005
ACM
16 years 17 days ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
16 years 16 days ago
The Push3 execution stack and the evolution of control
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
Lee Spector, Jon Klein, Maarten Keijzer
LPNMR
2005
Springer
16 years 15 days ago
Loops: Relevant or Redundant?
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
Martin Gebser, Torsten Schaub