190 search results - page 26 / 38 » Aspect-Oriented Programming in BETA Using the Fragment Syste... |
ICFP
2010
ACM
14 years 9 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
TOOLS
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
ECRTS
1999
IEEE
15 years 1 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
79
Voted
SIGSOFT
2005
ACM
15 years 3 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...