Sciweavers

2610 search results - page 367 / 522
» The Recognition Strategy Language
Sort
View
LISP
2006
160views more  LISP 2006»
15 years 6 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
JOT
2007
123views more  JOT 2007»
15 years 6 months ago
Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
Philippe Massicotte, Linda Badri, Mourad Badri
OIR
2007
99views more  OIR 2007»
15 years 5 months ago
The Galician virtual library
In this paper we describe the main features of the Galician Virtual Library (BVG) and its development process. The aim of this virtual library is to fill the existing lack of Galic...
Ángeles S. Places, Nieves R. Brisaboa, Anto...
JOT
2010
108views more  JOT 2010»
15 years 4 months ago
Extending Scala with Database Query Capability
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp
DSL
2009
15 years 4 months ago
Varying Domain Representations in Hagl
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
Eric Walkingshaw, Martin Erwig