Sciweavers

16844 search results - page 426 / 3369
» How to Design Programs
Sort
View
PLDI
1998
ACM
15 years 11 months ago
Units: Cool Modules for HOT Languages
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
Matthew Flatt, Matthias Felleisen
ACSE
1997
ACM
15 years 11 months ago
I/O considered harmful (at least for the first few weeks)
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...
John Rosenberg, Michael Kölling
ATAL
2008
Springer
15 years 9 months ago
Reasoning about agent execution strategies
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
Natasha Alechina, Brian Logan, Mehdi Dastani, John...
ECOOP
2011
Springer
14 years 6 months ago
Verifying Multi-object Invariants with Relationships
Relationships capture the interplay between classes in object-oriented programs, and various extensions of object-oriented programming languages allow the programmer to explicitly ...
Stephanie Balzer, Thomas R. Gross
CEC
2009
IEEE
16 years 1 months ago
Gate-level optimization of polymorphic circuits using Cartesian Genetic Programming
— Polymorphic digital circuits contain ordinary and polymorphic gates. In the past, Cartesian Genetic Programming (CGP) has been applied to synthesize polymorphic circuits at the...
Zbysek Gajda, Lukás Sekanina