Sciweavers

5 search results - page 1 / 1
» cc 1994
Sort
View
CC
1994
Springer
13 years 7 months ago
Adding Semantic and Syntactic Predicates To LL(k): pred-LL(k)
Terence John Parr, Russell W. Quong
CC
1994
Springer
13 years 7 months ago
Flow Grammars - a Flow Analysis Methodology
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
James S. Uhl, R. Nigel Horspool
HYBRID
1994
Springer
13 years 7 months ago
Programming in Hybrid Constraint Languages
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat,...
CC
1994
Springer
107views System Software» more  CC 1994»
13 years 7 months ago
Solving Demand Versions of Interprocedural Analysis Problems
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...
Thomas W. Reps
WSC
1994
13 years 5 months ago
CSIM17: a simulation model-building toolkit
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
Herbert D. Schwetman