Sciweavers

10585 search results - page 14 / 2117
» The Orc Programming Language
Sort
View
ICSE
2011
IEEE-ACM
13 years 2 days ago
Permission-based programming languages: NIER track
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, ...
VLDB
1991
ACM
179views Database» more  VLDB 1991»
14 years 4 days ago
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
Object-oriented data models are receiving wide attention since they provide expressive ionmechanismsto model naturally and directly both structural and behavioral aspectsof comple...
Antonio Albano, Giorgio Ghelli, Renzo Orsini
ECOOP
2011
Springer
12 years 8 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
ICFP
2012
ACM
11 years 11 months ago
Functional programming with structured graphs
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
Bruno C. d. S. Oliveira, William R. Cook
ICLP
2011
Springer
13 years 2 days ago
Implementation of Axiomatic Language
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
Walter W. Wilson