Maraninchi, Florence; Rémond, Yann Argos: An automaton-based synchronous language. (English) Zbl 1050.68020 Comput. Lang. 27, No. 1-3, 61-92 (2001). MSC: 68N15 68Q55 68Q45 PDFBibTeX XMLCite \textit{F. Maraninchi} and \textit{Y. Rémond}, Comput. Lang. 27, No. 1--3, 61--92 (2001; Zbl 1050.68020) Full Text: DOI
Bossi, Annalisa; Etalle, Sandro; Rossi, Sabina Semantics of well-moded input consuming logic programs. (English) Zbl 0989.68086 Comput. Lang. 26, No. 1, 1-25 (2000). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{A. Bossi} et al., Comput. Lang. 26, No. 1, 1--25 (2000; Zbl 0989.68086) Full Text: DOI
Al-Mulhem, Muhammed; Ali, Shahid Formal semantics of visual occam. (English) Zbl 0948.68113 Comput. Lang. 24, No. 2, 99-113 (1998). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{M. Al-Mulhem} and \textit{S. Ali}, Comput. Lang. 24, No. 2, 99--113 (1998; Zbl 0948.68113) Full Text: DOI
Eriksson, Lars-Henrik (ed.); Moreno-Navarro, Juan José (ed.) ICLP ’94, 11th international conference on Logic programming. Santa Margherita Ligure, Italy, June 1994. (English) Zbl 0903.00054 Comput. Lang. 23, No. 2-4, 59-206 (1997). MSC: 00B25 68-06 68N17 68Q55 PDFBibTeX XML
Hanus, Michael Lazy narrowing with simplification. (English) Zbl 0899.68023 Comput. Lang. 23, No. 2-4, 61-85 (1997). MSC: 68N17 68N15 PDFBibTeX XMLCite \textit{M. Hanus}, Comput. Lang. 23, No. 2--4, 61--85 (1997; Zbl 0899.68023) Full Text: DOI
Jacquet, Jean-Marie; Monteiro, Luís Towards resource handling in logic programming: The PPL framework and its semantics. (English) Zbl 0874.68061 Comput. Lang. 22, No. 2-3, 51-77 (1996). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{J.-M. Jacquet} and \textit{L. Monteiro}, Comput. Lang. 22, No. 2--3, 51--77 (1996; Zbl 0874.68061) Full Text: DOI
Bailes, Paul A.; Chorvat, Trevor Facet grammars: Towards static semantic analysis by context-free parsing. (English) Zbl 0800.68533 Comput. Lang. 18, No. 4, 251-271 (1993). MSC: 68Q42 68N20 PDFBibTeX XMLCite \textit{P. A. Bailes} and \textit{T. Chorvat}, Comput. Lang. 18, No. 4, 251--271 (1993; Zbl 0800.68533) Full Text: DOI
McCrosky, Carl; Sailor, Ken A synthesis of type-checking and parsing. (English) Zbl 0800.68536 Comput. Lang. 18, No. 4, 241-250 (1993). MSC: 68N20 68N15 PDFBibTeX XMLCite \textit{C. McCrosky} and \textit{K. Sailor}, Comput. Lang. 18, No. 4, 241--250 (1993; Zbl 0800.68536) Full Text: DOI
O’Bagy, Janalee; Walker, Kenneth; Griswold, Ralph E. An operational semantics for Icon: Implementation of a procedural goal- directed language. (English) Zbl 0800.68303 Comput. Lang. 18, No. 4, 217-239 (1993). MSC: 68N20 68Q55 PDFBibTeX XMLCite \textit{J. O'Bagy} et al., Comput. Lang. 18, No. 4, 217--239 (1993; Zbl 0800.68303) Full Text: DOI
Reddy, Uday S.; Kamin, Samuel N. On the power of abstract interpretation. (English) Zbl 0780.68089 Comput. Lang. 19, No. 2, 79-89 (1993). Reviewer: Uday S.Reddy MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{U. S. Reddy} and \textit{S. N. Kamin}, Comput. Lang. 19, No. 2, 79--89 (1993; Zbl 0780.68089) Full Text: DOI
Malton, Andrew The denotational semantics of a functional tree-manipulation language. (English) Zbl 0778.68058 Comput. Lang. 19, No. 3, 157-168 (1993). MSC: 68Q55 PDFBibTeX XMLCite \textit{A. Malton}, Comput. Lang. 19, No. 3, 157--168 (1993; Zbl 0778.68058) Full Text: DOI
Ierusalimschy, Roberto A denotational approach for type-checking in object-oriented programming languages. (English) Zbl 0770.68086 Comput. Lang. 19, No. 1, 19-40 (1993). MSC: 68Q55 68N01 68N15 PDFBibTeX XMLCite \textit{R. Ierusalimschy}, Comput. Lang. 19, No. 1, 19--40 (1993; Zbl 0770.68086) Full Text: DOI
Broy, Manfred Broadcasting buffering communication. (English) Zbl 0634.68015 Comput. Lang. 13, No. 1, 31-47 (1988). MSC: 68N25 PDFBibTeX XMLCite \textit{M. Broy}, Comput. Lang. 13, No. 1, 31--47 (1988; Zbl 0634.68015) Full Text: DOI
Bryant, Barrett R.; Edupuganty, Balanjaninath; Hull, Lee S. Two-level grammar as an implementable metalanguage for axiomatic semantics. (English) Zbl 0631.68070 Comput. Lang. 11, 173-191 (1986). MSC: 68Q55 68Q60 68Q45 68T15 PDFBibTeX XMLCite \textit{B. R. Bryant} et al., Comput. Lang. 11, 173--191 (1986; Zbl 0631.68070) Full Text: DOI
Michaelson, Greg Interpreters from functions and grammars. (English) Zbl 0598.68007 Comput. Lang. 11, 85-104 (1986). MSC: 68N01 68Q45 68Q55 PDFBibTeX XMLCite \textit{G. Michaelson}, Comput. Lang. 11, 85--104 (1986; Zbl 0598.68007) Full Text: DOI
Gehlot, Vijay; Srikant, Y. N. An interpreter for SLIPS - an applicative language based on lambda- calculus. (English) Zbl 0591.68011 Comput. Lang. 11, 1-13 (1986). MSC: 68N01 03B40 PDFBibTeX XMLCite \textit{V. Gehlot} and \textit{Y. N. Srikant}, Comput. Lang. 11, 1--13 (1986; Zbl 0591.68011) Full Text: DOI
Felleisen, Matthias; Friedman, Daniel P. A closer look at export and import statements. (English) Zbl 0591.68009 Comput. Lang. 11, 29-37 (1986). MSC: 68N01 PDFBibTeX XMLCite \textit{M. Felleisen} and \textit{D. P. Friedman}, Comput. Lang. 11, 29--37 (1986; Zbl 0591.68009) Full Text: DOI
Mazaher, Shahrzade; Berry, Daniel M. Deriving a compiler from an operational semantics written in VDL. (English) Zbl 0561.68023 Comput. Lang. 10, 147-164 (1985). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{S. Mazaher} and \textit{D. M. Berry}, Comput. Lang. 10, 147--164 (1985; Zbl 0561.68023) Full Text: DOI
Williams, M. H. Methods for specifying static semantics. (English) Zbl 0456.68100 Comput. Lang. 6, 1-17 (1981). MSC: 68Q55 PDFBibTeX XMLCite \textit{M. H. Williams}, Comput. Lang. 6, 1--17 (1981; Zbl 0456.68100) Full Text: DOI
Williams, M. H. A formal notation for specifying static semantic rules. (English) Zbl 0431.68080 Comput. Lang. 5, 37-55 (1980). MSC: 68Q55 68Q45 68Q60 PDFBibTeX XMLCite \textit{M. H. Williams}, Comput. Lang. 5, 37--55 (1980; Zbl 0431.68080) Full Text: DOI
Schwartz, Richard L.; Berry, Daniel M. A semantic view of ALGOL 68. (English) Zbl 0435.68011 Comput. Lang. 4, 1-15 (1979). MSC: 68N01 PDFBibTeX XMLCite \textit{R. L. Schwartz} and \textit{D. M. Berry}, Comput. Lang. 4, 1--15 (1979; Zbl 0435.68011) Full Text: DOI
Tai, Kuo-Chung Constant folding within an expression by semantic attributes. (English) Zbl 0416.68076 Comput. Lang. 4, 131-137 (1979). MSC: 68N20 68Q45 68Q55 PDFBibTeX XMLCite \textit{K.-C. Tai}, Comput. Lang. 4, 131--137 (1979; Zbl 0416.68076) Full Text: DOI
Pagan, Frank G. Semantic specification using two-level grammars: Blocks, procedures and parameters. (English) Zbl 0416.68074 Comput. Lang. 4, 171-185 (1979). MSC: 68Q55 68Q45 PDFBibTeX XMLCite \textit{F. G. Pagan}, Comput. Lang. 4, 171--185 (1979; Zbl 0416.68074) Full Text: DOI