BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
well (11)
peopl (2)
semant (2)
schemata (1)
structur (1)

Stem behav$ (all stems)

12 papers:

LICSLICS-2013-BalbianiHT #logic
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (PB, AH, NT), pp. 143–152.
ISSTAISSTA-2012-CoughlinCDS #source code #what
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
ASEASE-2011-HidakaHIKN #bidirectional #framework #model transformation #named
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations (SH, ZH, KI, HK, KN), pp. 480–483.
DLTDLT-2010-OttoPM #automaton #on the
On Lexicalized Well-Behaved Restarting Automata That Are Monotone (FO, MP, FM), pp. 352–363.
ICPCICPC-2008-FeilkasR #api #constraints
Ensuring Well-Behaved Usage of APIs through Syntactic Constraints (MF, DR), pp. 248–253.
ICALPICALP-2005-AtseriasDG #finite
Preservation Under Extensions on Well-Behaved Finite Structures (AA, AD, MG), pp. 1437–1449.
CHICHI-2003-ShechtmanH #difference #how #people
Media inequality in conversation: how people behave differently when interacting with computers and people (NS, LMH), pp. 281–288.
HPCAHPCA-2003-HoP #communication #design #performance
A Methodology for Designing Efficient On-Chip Interconnects on Well-Behaved Communication Patterns (WHH, TMP), pp. 377–388.
Well-Behaved Borgs, Bolos, and Berserkers (DFG), pp. 224–232.
ICLPILPS-1997-DixO #on the #semantics
On Well-Behaved Semantics Suitable for Aggregation (JD, MO), p. 405.
RTARTA-1997-McCune #problem
Well-Behaved Search and the Robbins Problem (WM), pp. 1–7.
VLDBVLDB-1983-Verroust #database #semantics
Characterization of Well-Behaved Database Schemata and Their Update Semantics (AV), pp. 312–321.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.